“VIEW OTHER SPEAKERS
THANG HOAI BUI
Dr. Thang Bui is currently a Lecturer in Faculty of Computer Science and Engineering, Ho Chi Minh city University of Technology, VNU-HCM 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 focuses on Software Verification, particularly Model checking, which is to model the real world application and to check for any violation of desired properties. He holds a Bachelor degree in Computer Engineering from Ho Chi Minh City of University of Technology in 1997, a Master degree in Computer Science and Engineering from Asian Institute of Technology, Thailand in 2001, and a PhD degree in Computer Science and Engineering from University of New South Wales, Australia in 2010.