Skip to main content
Doctor Son Hoang

Dr Son Hoang

Associate Professor

Research interests

  • Formal System Development
  • Program Semantics
  • Autonomous Systems

More research

Accepting applications from PhD students.


Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)


Dr Son Hoang is a Lecturer in the Cyber-Physical Systems Group (a part of School of Electronics and Computer Science). He was awarded a first class honours degree in Computer Engineering from the University of New South Wales (UNSW), Sydney, Australia in 2001.  Subsequently, he studied for a PhD (also at UNSW) and was awarded his PhD in 2006 for his thesis on "The Development of a Probabilistic B-Method and a Supporting Toolkit".

Back to top