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
54 publications
Page 5 of 6
Dana Dghaym,
Thai Son Hoang,
, 2018
Type: conference
Dana Dghaym,
Tomas Fischer,
Rupert Schlick,
& Keming Wang
, 2018
Type: conference
Thai Son Hoang,
Dana Dghaym,
, 2017
Type: conference
Thai Son Hoang,
& Lukas Ladenberger
, 2017
, Science of Computer Programming
Type: article
Chris Bogdiukiewicz,
Thai Son Hoang,
Martin Paxton,
James, Harvey Snook,
Xanthippe Waldron,
& Toby Wilkinson
, 2017
Type: conference
Dana Dghaym,
Tomas Fischer,
Thai Son Hoang,
Klaus Reichl,
& Peter Tummeltshammer
, 2017
Type: conference
Thai Son Hoang,
, 2017
Type: bookChapter
Son Hoang,
Laurent Voisin,
Toby Wilkinson,
& Nicolas Beauger
, 2017
, arXiv
, abs/1701.08625 , 1--9
Type: article
Simon Hudon,
Thai Son Hoang,
& Jonathan S. Ostroff
, 2016
, Software and Systems Modeling
, 15 (4) , 1091--1116
Type: article
Thai Son Hoang,
Steve Schneider,
Helen Treharne,
& David Williams
, 2016
, Formal Aspects of Computing
, 28 (6) , 909--935
Type: article
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)