YoungMin Kwon

YoungMin Kwon is an Associate Professor in the Department of Computer Science at SUNY Korea. He holds a Ph.D. (2006) from the University of Illinois at Urbana-Champaign, an M.E. (1998) and B.E. (1996) from Korea University. Previously a software engineer at Microsoft (2006–2016), he joined SUNY Korea in 2016. His research focuses on Cyber-Physical Systems (CPS), quantum computing, and formal methods for system verification.

Education:

• Ph.D. Computer Science, University of Illinois at Urbana-Champaign (2006), Advisor: Prof. Gul Agha
• M.E. Mechatronics, Korea University (1998), Advisor: Prof. Tae-Woong Yoon
• B.E. Electrical Engineering, Korea University (1996)

Research interests include developing tools for CPS, quantitative model checking, middleware for networked systems, and quantum computing applications. Notable contributions include the ActorNet platform for wireless sensor networks and the iLTLChecker model checker. He teaches courses on compilers, operating systems, quantum computing, and data structures.

Advising and grants include supervision of Ph.D. candidates Seonghwan Jeong and Yousun Shin, along with multiple undergraduate researchers. His work has been supported by grants from DARPA and NSF.

Labs/Teams: IoT Lab @SUNYK and Open Systems Laboratory (OSL) @UIUC collaborations.