Scholar
Thai Son Hoang
Google Scholar ID: mDYOIacAAAAJ
Associate Professor, University of Southampton
Software Engineering
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,430
H-index
22
i10-index
42
Publications
20
Co-authors
37
list available
Publications
1 items
Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)
2026
Cited
0
Co-authors
6 total
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Carroll Morgan
Professor Emeritus, University of New South Wales
Annabelle McIver
Macquarie University
Stephen R. Turnock
University of Southampton
Helen Treharne
Professor, Surrey Centre for Cyber Security
Emre Yilmaz
University of Houston-Downtown
