Thang Bui, HCMUT

Thang Bui, Ho Chi Minh City University of Technology

Dr. Thang is currently a Lecturer in Faculty of Computer Science & Engineering, Ho Chi Minh City University of Technology, Vietnam and a member of the Laboratory for Systems Analysis and VErification (SAVE), which aims at developing automated techniques for analyzing and reasoning on computer-based systems.  His research is focused on Software Verification, particularly Model checking, which is to model the real world application and check for any violation of desired properties. Thang holds a Bachelor degree in Computer Engineering from Ho Chi Minh City of University of Technology, a Master degree in Computer Science & Engineering from Asian Institute of Technology, Thailand, and a PhD degree in Computer Science & Engineering from University of New South Wales, Australia.

 
Speakers' Biography 2010