BaekGyu Kim (Preferred)
BaekGyu Kim
Pronouns: he/him
Assistant Professor, EECS, Daegu Gyeongbuk Institute of Science and Technology
- Joined July 2025
Names
Emails
****@dgist.ac.kr (Confirmed)
Personal Links
Career & Education History
Assistant Professor
EECS, Daegu Gyeongbuk Institute of Science and Technology (dgist.ac.kr)
2021 – Present
PhD student
Computer Science, University of Pennsylvania, University of Pennsylvania (seas.upenn.edu)
2009 – 2015
Advisors, Relations & Conflicts
Expertise
Cyber Physical Systems
Present
High Assurance Software
Present
Formal Method
Present