The 21st International Conference on Formal Engineering Methods

ICFEM 2019

November 5th-9th, 2019, Shenzhen, China

International Workshop on Artificial Intelligence and Formal Methods (AI&FM 2019)

Nov. 5th, 2019

YoungMin Kwon

YoungMin Kwon received the Ph.D. degree in Computer Science from University of Illinois at Urbana-Champaign in 2006. He is currently working at the State University of New York, Korea as an Associate professor and is serving as an associate chair of the Computer Science department. At SUNYK, he is teaching courses in Systems area. His main research interest is in developing techniques that can interface cyber systems and physical systems such as quantitative model checking tools and logic. In addition he has been developing middleware services for Internet of Things and sensor networks. Before joining SUNYK, he has been working at Microsoft, Redmond as a software engineer for 10 years.

← Back