CHANON DECHSUPA received the B.Sc. degree in computer information systems from Burapha University, Thailand, and the M.S. degree in software engineering and the Ph.D. degree in computer engineering from the Faculty of Engineering, Chulalongkorn University. From 2008 to 2015,he was a Database Programmer and a Senior System Analyst with many private sectors. He is currently an Assistant Professor with the College of Computing, Khon Kaen University, Thailand.His research interests include the formal method in software engineering and work flow design.