ÃÛÌÒTV
Dr Son Hoang is a Lecturer in the (a part of ). He was awarded a first class honours degree in Computer Engineering from the in 2001. Subsequently, he studied for a PhD (also at UNSW) and was awarded his PhD in 2006 for his thesis on "".
Research
Research groups
Research interests
- Formal System Development
- Program Semantics
- Autonomous Systems
Current research
Research projects
Completed projects
Researchers:
Sponsor: EPSRC
Publications
61 publications
Page 1 of 7
DOI:
Type: bookChapter
Type: conference
Type: conference
Type: conference
DOI:
Type: article
Type: conference
Teaching
Dr Son Hoang lectures on programming, software engineering and system development. He supervises a number of Undergraduate and MSc projects, and is an for the undergraduate degree programme.
Biography
Prizes
- Best paper award at ICECCS 2014 (2014)
- Best paper award at iFM 2007 (2007)
- Best paper award at ICECCS 2014 (2014)
- Best paper award at iFM 2007 (2007)