Scholar

Thai Son Hoang

Google Scholar ID: mDYOIacAAAAJ

Associate Professor, University of Southampton

Software EngineeringFormal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,430

H-index

22

i10-index

42

Publications

20

Co-authors

37

list available

Contact

No contact links provided.

Publications

1 items

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)

2026

Cited

0

Resume (English only)

Co-authors

37 total

Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University

Professor Emeritus, University of New South Wales

Annabelle McIver

Macquarie University