YoungMin Kwon

Associate Professor, Dept. of Computer Science, SUNY Korea 

youngmin.kwon@sunykorea.ac.kr

Research

• Quantum computing,  Quantitative model checking,  Mobile agent systems, Robustness of neural networks 

Teaching

• CSE214: Data structures

• CSE216: Programming abstractions

• CSE304/504: Compilers 

• CSE306/506: Operating Systems

• CSE320: System fundamentals II

• CSE535: Asynchronous Systems

Education

• Ph.D.  (Aug 2001 - May 2006) Dept. of Computer Science, Univ. of Illinois at Urbana-Champaign
                Wireless Sensor Networks, Model checking physical systems (advisor: Prof. Gul Agha)

• M.E.  (Mar 1996 - Feb 1998) Dept. of Mechatronics, Korea Univ., Seoul Korea
                Automatic control (advisor: Prof. Tae-Woong Yoon)

• B.E.  (Mar 1990 - Feb 1996) Dept. of Electrical Engineering, Korea Univ., Seoul Korea
              Club activity: making robots called micro-mouse

Conference Publications

• YoungMin Kwon and Gul Agha
  "Bounded Quantum Regular Language Generator,"
  IEEE International Conference on Quantum Computing and Engineering (QCE), Pages 580-590, 2023.  link.

• YoungMin Kwon,  Eunhee  Kim and Gul Agha
  "A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems,"
  The 20th International Conference on Quantitative Evaluation of SysTems (QEST), Pages 65-81, 2023. link.

• Hyeon Joon Lee, Eunhee  Kim and YoungMin Kwon
  "Design of a Multi-Robot Coordination System Using Mobile Agents,"
  IEEE International Conference on Ubiquitous Robots (UR), Pages 100-107, 2023. link.

• Seonghwan Jeong and YoungMin Kwon
  "Energy Efficient Text Spotting Technique for Mobile Edge Computing,"
  IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS), Pages 106-109, 2022. link.

• Heyon Joon Lee, Eunhee Kim and YoungMin Kwon
  "A Design of A Multi-robot Coordination System Using Mobile Agents,"
  International Conference on Intelligent Robots and Systems (IROS), Poster, 2021.

• Seonghwan Jeong, YoungMin Kwon, et.al.
  "The 2020 Low-Power Computer Vision Challenge,"
  IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS) special session on low-power computer vision, 2021. link. (Invited paper)

• Eun-Ju Park, Hoyoung Kim, Seonghwan Jeong, Byungkon Kang, and YoungMin Kwon
  "Keyword-based Vehicle Retrieval,"
  IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Pages 4220-4227, 2021. link. 

• YoungMin Kwon and Eunhee Kim
  "A Design of GPU-Based Quantitative Model Checking,"
  The 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Pages 441-463, 2021. link.

• Jay Hoon Jung and YoungMin Kwon
  "Boundaries of Single-Class Regions in the Input Space of Piece-Wise Linear Neural Networks,"
  The 25th International Conference on Pattern Recognition (ICPR), 2020. link.

• Jay Hoon Jung and YoungMin Kwon
  "Color, Edge, and Pixel-wise Explanation of Predictions Based on Interpretable Neural Network Model,"
  The 25th International Conference on Pattern Recognition (ICPR), 2020. link.

• Jay Hoon Jung, Yousun Shin and YoungMin Kwon
  "A Metric to Measure Contribution of Nodes in Neural Networks,"
  IEEE Symposium Series on Computational Intelligence (SSCI), Pages 1508-1515, 2019. link

• Jay Hoon Jung, Eunhee Kim and YoungMin Kwon
  "Quantitative Model Checking for a Resilient Control System,"
  IEEE Symposium Series on Computational Intelligence (SSCI), 2019. Pages 461-468, 2019. link

• Hangil Kang, Hoyoung Kim and YoungMin Kwon
  "RECEN: Resilient MANET Based Centralized Multi Robot System Using Mobile Agent System,"
  IEEE Symposium Series on Computational Intelligence (SSCI), Pages 1952-1958, 2019. link

•  Jay Hoon Jung and YoungMin Kwon
  "Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches,"
  Doctoral Symposium at International Conference on Formal Engineering Methods (ICFEM), Pages 507-511, 2019. link (gave an invited talk to AI&FM 2019 as well)

• Jay Hoon Jung, Yousun Shin and YoungMin Kwon
  "Extension of Convolutional Neural Network with General Image Processing Kernels,"
  IEEE TENCON, Pages 1436-1439, 2018. link

• YoungMin Kwon and Eunhee Kim
  "Quantitative Model Checking for a Controller Design,"
  International Symposium on Model Checking of Software (SPIN), Pages 292-307, 2018. link

• YoungMin Kwon, Eunhee Kim, Seonghwan Jeong and Arthur Lee
  "Quantitative Model Checking for a Smart Grid Pricing,"
  International Conference on Quantitative Evaluation of SysTems (QEST), Pages 55-71, 2017. (acceptance rate 34%) link

• Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon
  "Model Checking MDPs with a Unique Compact Invariant Set of Distributions,"
  International Conference on Quantitative Evaluation of SysTems (QEST), Pages 121-130, 2011. pdf link

• Vijay Anand Korthikanti, Mahesh Viswanathan, YoungMin Kwon, and Gul Agha
  "Reasoning About MDPs as Transformers of Probability Distribution,"
  International Conference on Quantitative Evaluation of SysTems (QEST), Pages 199-208, 2010. pdf link

• YoungMin Kwon and Gul Agha
  "Passive Localization: Large Size Sensor Network Localization Based on Environmental Events,"
  International Conference on Information Processing in Sensor Networks (IPSN), Pages 3-14, 2008. (acceptance rate 23%) pdf link

• YoungMin Kwon and Gul Agha
  "LTLC: Linear Temporal Logic for Control,"
  International Conference on Hybrid Systems: Computation and Control (HSCC), Pages 316-329, 2008. pdf link

• YoungMin Kwon and Gul Agha
  "A Markov Reward Model for Software Reliability,"
  The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium (IPDPS), Pages 1-6, 2007. pdf link

• YoungMin Kwon and Gul Agha
  "Scalable Modeling and Performance Evaluation of Wireless Sensor Networks,"
  Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Computer Society, Pages 49-58, 2006. (acceptance rate 29%, nominated for the best paper) pdf link

• YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha
  "ActorNet: An Actor Platform for Wireless Sensor Networks,"
  International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Pages 1297-1300, 2006. link UIUCTechReport

• YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung-Kim, and Gul Agha
  "Resilient Localization for Sensor Networks in Outdoor Environments,"
  International Conference on Distributed Computing Systems (ICDCS), IEEE Computer Society, Pages 643-652, 2005. (acceptance rate 13%) pdf link

• YoungMin Kwon and Gul Agha
  "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs,"
  International Conference on the Quantitative Evaluation of Systems (QEST) IEEE Computer Society, pp. 245-246, 2005. pdf link

• YoungMin Kwon and Gul Agha
  "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains,"
  International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science, vol. 3308, Pages 194-208, 2004. (acceptance rate: 27%) pdf link

• Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, and Gul Agha
  "Cooperative Tracking with Binary-Detection Sensor Networks,"
  First International Conference on Embedded Networked Sensor Systems (SenSys), Pages 332-333, 2003. pdf

• Sameer Sundresh, Gul Agha, Kirill Mechitov, WooYoung Kim, and YoungMin Kwon
  "Coordination Services for Wireless Sensor Networks,"
  International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures, 7 pages, 2003. pdf

 Journal Publications

• You-Sun Shin, Jay Hoon Jung and YoungMin Kwon
  "Reconstruction of incomplete public transportation check-out records by heuristic approaching,"
  Cogent Engineering, Volume 10, Issue 1,  Published online: 04 May 2023. link 

• Jay Hoon Jung and YoungMin Kwon
  "A Metric to Compare Pixel-Wise Interpretation Methods for Neural Networks,"
  IEEE Access, Volume 8, Pages 221433-221441, Nov. 2020. link
  IF: 4.640 by 2020 JCR*

• YoungMin Kwon and Eunhee Kim
  "Bounded Model Checking of Hybrid Systems for Control,"
  IEEE Transactions on Automatic Control (TAC), Volume 60, Issue 11, Pages 2961-2976, Nov. 2015. link
  IF: 3.167, Journal Rank: 24/248 (9.639%) by 2013 JCR*

• YoungMin Kwon, Kirill Mechitov, and Gul Agha
  "Design and Implementation of a Mobil Actor Platform for Wireless Sensor Networks,"
  Concurrent Objects and Beyond (Festschrift for Prof. Yonezawa)
  Lecture Notes in Computer Science (LNCS), Springer, Volume 8665, Pages 276-316, Sep. 2014. link

• YoungMin Kwon and Gul Agha
  "Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking,"
  ACM Transactions on Sensor Networks (TOSN), Volume 9, Issue 4, Pages 1-38, July 2013. link
  IF: 2.287, Journal Rank: 7/80 (8.750%) by 2010 JCR*

• YoungMin Kwon and Gul Agha
  "Verifying the Evolution of Probability Distributions Governed by a DTMC,"
  IEEE Transactions on Software Engineering (TSE), Volume 37, Issue 1, Pages 126-141, Jan. 2011. pdf link
  IF: 3.569, Journal Rank: 2/86 (2.326%) by 2008 JCR*

• YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, Wooyoung Kim, and Gul Agha
  "Resilient localization for sensor networks in outdoor environments,"
  ACM Transactions on Sensor Networks (TOSN), Volume 7, Issue 1, Pages 1-30,  Aug. 2010. link
  IF: 1.938, Journal Rank: 11/77 (14.286%) by 2009 JCR*

• YoungMin Kwon and Eunhee Kim
  "Specification and Verification of Pharmacokinetic Models,"
  Computational Biology and Bioinformatics in book series
  Advances in Experimental Medicine and Biology (AEMB), Springer, Volume 680, Chapter 52, Pages 463-472, Sep. 2010. pdf link
  IF: 2.02, Journal Rank: 47/93 (50.538%) by 2009 JCR*
  
  *: IF (Impact Factor) and Journal Rank are based on paper submission time.

Students

• Seonghwan Jeong (Ph.D. candidate)

• Yousun Shin (Ph.D. candidate)

• Jay Hoon Jung (Ph.D. graduated, Assistant Prof. at Korea Aerospace University)

• Cogitater Sigauke (UG student, graduated, Amazon)

• David Cha (UG student, graduated)

• Dong Hoon Kim (UG student, graduated,  Seegene)

• Heyon Joon Lee (UG student, graduated,  Waseda University )

• Jinwoo Choi (UG student, graduated, Columbia University)

• Sudara Ranasinghe (UG student, graduated, Amazon)

• Suin Cho (UG student, graduated, SBU)

Software

• ActorNet 1.0

• iLTL 1.0

• LTLC 0.8

Links

• IoT Lab @SUNYK

• OSL @UIUC (Open Systems Laboratory)

• DBLP

Previous Work Experience

• Microsoft Corporation, Redmond, WA

• Hyundai Electronics Inc., Korea