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.
TEACHING SUMMARY
CSE 214 Data Structures
CSE 306/ CSE 506 Operating Systems
CSE 320 Systems Fundamentals II
CSE 504 Compiler Design
CSE 535 Distributed Systems
CSE 649 Seminar in Operating Systems
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.