Department of Computer Science
SUNY Korea (Rm 420)
119 Songdo Moonhwa-Ro, Yeonsu-Gu
Incheon, Korea 21985
YoungMin Kwon received his Ph.D. in Computer Science from University of Illinois at Urbana-Champaign in 2006, M.E. degree in Mechatronics from Korea University in 1998, and B.E. degree in Electrical Engineering from Korea University in 1996. He was at Microsoft corporation as a software engineer from 2006 to 2016 and joined SUNY Korea as an associate professor in 2016.
YoungMin Kwon's research interests are in developing programming tools and runtime environments for Cyber-Physical Systems (CPS), providing middleware services for CPS, and designing tools to analyze and verify CPS.
Specifically, he has been developing virtual uniform computing environments, called ActorNet comprised of an actor language interpreter, a library of useful services, and message based communication network services. He is also interested in developing middleware services like localization services for networked embedded systems. Developing quantitative temporal logics and implementing their model checking tools have also been his active research area. Those tools can not only analyze and verify physical and hybrid systems, but can also control the systems to achieve complex goals.