BaekGyu Kim (Ph.D)

Assistant Professor

Department of Electrical Engineering and Computer Science (EECS)


Email: bkim at dgist dot ac dot kr

Short Bio

BaekGyu Kim is an Assistant Professor at Department of Electrical Engineering and Computer Science at Daegu Gyeongbuk Institute of Science and Technology (DGIST). He received his B.S and M.S degrees in Electrical Engineering and Computer Science from Kyungpook National University, Daegu, South Korea, in 2007 and 2009, respectively. He received a Ph.D. degree in Computer Science from University of Pennsylvania, Philadelphia, USA, in 2015. Before joining DGIST, he was a principal researcher at Toyota Motor North America R&D - InfoTech Labs. (formerly Toyota InfoTechnology Center, U.S.A), Mountain View, CA, USA, where he worked for 5 years and 8 months. 


His primary research area is to guarantee software quality assurance in Cyber Physical Systems and Internet of Things. In particular, his research focuses on applying various formal methods and software engineering techniques to model, verify, and test systems and software to guarantee their correctness. His research outcomes have been demonstrated in creating software for safety critical systems including medical devices (infusion pumps) via collaboration between U.S. Food and Drug Administration (FDA) and University of Pennsylvania, and automotive systems (autonomous/connected cars) as industrial research at Toyota Motor North America R&D.


He published a number of peer-reviewed papers in collaboration with his collaborators in international conferences and journals, and some of his works have been published at top-tier conferences such as EMSOFT, RTSS, DATE, CASES, ASE, INFOCOM. He also has 40 international patents granted, and more than 20 international patents filed. He received the best poster award from KOCSEA in 2011, the top inventor award from Toyota InfoTechnology Center, U.S.A. in 2017, and his collaborative work received SAE Vincent Bendix Automotive Electronics Engineering Award (Best paper award) in 2019.

He is currently leading the High-Assurance Software Systems (HASS) Lab. at DGIST [Link] . 


Industry Experience


Other Public Recognitions

Invited talks

Program Committee

Past Project