Zhe Hou

Zhe Hou

Nathan, Queensland, Australia
820 followers 500+ connections

About

Research and development of advanced techniques in the area of logic, automated…

Activity

Join now to see all activity

Experience

  • Griffith University Graphic

    Griffith University

    Brisbane, Queensland, Australia

  • -

    Brisbane, Australia

  • -

    Brisbane, Australia

  • -

    Singapore

  • -

    Singapore

  • -

    Canberra, Australia

  • -

  • -

  • -

    Xi'an

Education

  • The Australian National University Graphic

    The Australian National University

    -

    Designed several sound and complete logical systems and automated reasoning tools for verification
    of software correctness and memory safety.

  • -

    Received chancellor's commendation letter as top student in ANU. Average grade high distinction (HD).

    Project: "Business process synthesis using logic". Grade: 83.
    • Synthesise (in C) business process models from logical rules.

  • -

    Received (1st class, 2nd class, 3rd class) school-wide and (1st class) university-wide awards multiple times. Top ranking student (< 3/340) in specialised courses in Xidian University.

    Thesis: "The study of EAX algorithm and linear implementation of the crossover process". Use genetic algorithm (specifically, EAX) to solve travelling salesman problem (TSP). Received outstanding rank (A) in Xidian University.

Licenses & Certifications

  • Associate Fellow of the Higher Education Academy Graphic

    Associate Fellow of the Higher Education Academy

    Higher Education Academy

    Issued
  • ACS certified 3 years experience as Software Engineer

    Australian Computer Society

Courses

  • Algorithms for Data Mining

    COMP8400

  • Bio-inspired Computing

    COMP8420

  • Computer Organisation and Architecture

    -

  • Data Structures

    -

  • Digital Circuits and Systems Design

    -

  • Discrete Mathematics

    -

  • Embedded Operating Systems

    -

  • Introduction to Database System

    -

  • Introduction to Software Engineering

    -

  • Netword and Multimedia

    -

  • Network Project Design

    -

  • Object-Oriented Programming

    -

  • Operating Systems

    -

  • Overview of Logic and Computation

    COMP6463

  • Principles of Compiler

    -

  • Project

    COMP8780

  • Software Architecture

    -

  • Software Engineering Economics

    -

  • Software Engineering Processes

    COMP8173

  • Software Process and Project Management

    -

  • Software Project Management in a Systems Context

    COMP8110

  • The Design and Analysis of Computer Algorithms

    -

  • Theory of Computation

    COMP6363

Honors & Awards

  • John Makepeace Bennet Award Australian Best PhD Thesis Runner-up

    The Computing Research and Education Association of Australasia, CORE

    2nd place of the best Australian PhD thesis.

  • ANU CECS Dean's Travel Grant

    -

  • ANU HDR merits scholarship

    ANU

  • ANU PhD scholarship

    ANU

  • Chancellors's top student commendation

    ANU

  • 1st class academic award

    Xidian University

  • 1st class academic award

    Software Engineering Dept., Xidian University

Languages

  • Chinese

    Native or bilingual proficiency

  • English

    Full professional proficiency

Recommendations received

More activity by Zhe

View Zhe’s full profile

  • See who you know in common
  • Get introduced
  • Contact Zhe directly
Join to view full profile

Other similar profiles

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Others named Zhe Hou

Add new skills with these courses