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
Research projects
Completed projects
    Researchers:
                  
          
                      
              
              
          
  
      
      Sponsor: EPSRC
    
  
Publications
    63 publications
  
      
      Page 1 of 7
    
  
    
    
    Colin Snook, Asieh Salehi Fathabadi, Son Hoang, Robert H Thorburn, Michael Butler, Leonardo Aniello & vladi Sassone,    
    2025
    
    
      Type: conference 
    
  
    
    
    Asieh Salehi Fathabadi, Laurent Vision, Neeraj Kumar Singh, Michael Lauschel & Son Hoang,    
    2025
    
    
      Type: book 
    
  
    
    
    Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler & Martin Kubisch,    
    2024
          
    
    
      Type: bookChapter 
    
  
    
    
    Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Robert Thorburn, Michael Butler, Leonardo Aniello & Vladimiro Sassone,    
    2024
    
    
      Type: conference 
    
  
    
    
    Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi & Michael Butler,    
    2024
    
    
      Type: conference 
    
  
    
    
    Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook & Michael Butler,    
    2024
    
    
      Type: conference 
    
  
    
    
    Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali & Thai Son Hoang,    
    2024
    
    
      Type: conference 
    
  
    
    
    Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Alotaibi & Michael Butler,    
    2024, Innovations in Systems and Software Engineering
          
    
    
      Type: article 
    
  
    
    
    Haider Al-Shareefy, Michael Butler & Thai Son Hoang,    
    2024
          
    
    
      Type: conference 
    
  
    
    
    Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook & Michael Butler,    
    2023
    
    
      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)
- Best paper award at ICECCS 2014 (2014)
- Best paper award at iFM 2007 (2007)
