Jin Hyun Kim (Preferred)
Jin Hyun Kim
Pronouns: he/him
Associate Professor, AI Information Engieering, Gyeongsang National University
- Joined September 2024
Names
Emails
****@gnu.ac.kr (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
AI Information Engieering, Gyeongsang National University (gnu.ac.kr)
2019 – Present
Postdoc
Information and Computer Engineering, University of Pennsylvania, University of Pennsylvania (upenn.edu)
2015 – 2019
Researcher
Computer Science , INRIA (inria.fr)
2014 – 2015
Postdoc
Computer Science, Aalborg University (aau.edu.dk)
2012 – 2014
Postdoc
Korea Advanced Institute of Science & Technology (kaist.ac.kr)
2011 – 2012
Advisors, Relations & Conflicts
Expertise
medical AI
2019 – Present
Real-time systems
2015 – Present
model checking
2013 – Present
formal methods
1999 – Present