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 4 of 7
Sanjeevan Sritharan & Thai Son Hoang,
2020
Type: conference
Thai Son Hoang, Laurent Voisin & Michael Butler,
2020
Type: bookChapter
Stephen Turnock, Thai Son Hoang, Steven J Ossont, Jon Downes, Joseph Lam & Ben Pritchard,
2020
Type: conference
Michael Butler, Thai Son Hoang, Alexander Raschke & Klaus Reichl,
2020, International Journal on Software Tools for Technology Transfer, 22(3), 249-255
Type: letterEditorial
Karla Morris, Colin Snook, Thai Son Hoang, G. Hulette, Robert Armstrong & Michael Butler,
2020
Type: conference
Tomas Fischer, Klaus Reichl, Peter Tummeltshammer, Thai Son Hoang & Michael Butler,
2020
Type: bookChapter
Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick & Peter Tummeltshammer,
2019
Type: bookChapter
Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler,
2019
Type: conference
Michael Butler, Dana Dghaym, Thai Son Hoang, Temitope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer & Peter Tummeltshammer,
2019
Type: conference
Dana Dghaym, Stephen Turnock, Michael Butler, Jonathan Downes, Thai Son Hoang & Ben Pritchard,
2019
Type: conference
Pagination
-
- …
- 2
- 3
- 4
- 5
- 6
- …
-
Next page
Next
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)