About
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".
Research
Research groups
Research interests
- Formal System Development
- Program Semantics
- Autonomous Systems
Current research
- HD-Sec: Holistic Design of Secure Systems on Capability Hardware
- HICLASS: Enabling Development of Complex and Secure Aerospace Systems
- UML-B
- Event-B @ Soton
Research projects
Active projects
Researchers:
Sponsor: EPSRC
Publications
61 publications
Page 2 of 7
Chenyang Zhu, Michael Butler, Corina Cirstea & Son Hoang,
2023, Science of Computer Programming, 225
Type: article
K. Morris, C. Snook, T. S. Hoang, G. Hulette, R. Armstrong & M. Butler,
2022, Innovations in Systems and Software Engineering, 18(4), 523-541
Type: article
Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym & Son Hoang,
2022
Type: conference
Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler,
2022
Type: conference
Jon Downes, Stephen Turnock, Son Hoang, Ben Pritchard & Joseph Lam,
2022, International Journal of Maritime Engineering
Type: article
Fahad, Abduallah Alotaibi, Thai Son Hoang & Michael Butler,
2022
Type: conference
Usman Sanwal, Thai Son Hoang, Luigia Petre & Ion Petre,
2022, Scientific Reports, 12(1), 1287
Type: article
Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi & Dana Dghaym,
2022
Type: conference
Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler & Colin Snook,
2022
Type: conference
Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler,
2021
Type: conference
Pagination
Teaching
Dr Son Hoang lectures on programming, software engineering and system development. He supervises a number of Undergraduate and MSc projects, and is an Admissions Tutor for the undergraduate Aerospace Electronic Engineering (AEE) degree programme.
Biography
Prizes
- Best paper award at ICECCS 2014 (2014)
- Best paper award at iFM 2007 (2007)