Short Bio

BaekGyu Kim is an Associate 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, his collaborative work received SAE Vincent Bendix Automotive Electronics Engineering Award (Best paper award) in 2019, the best reviewer award from ICCAD in 2025, the outstanding reviewer award from DATE in 2026.

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

Publication Lists

• • [Google Scholar | DBLP]

Education

• • Ph.D (2015): Dept. of Computer and Information Science in University of Pennsylvania (Philadelphia, PA, United States)

  • M.S (2009): Dept. of Electrical Engineering and Computer Science in Kyungpook National University (Daegu, South Korea)

  • B.S (2007): Dept. of Computer Science in Kyungpook National University (Daegu, South Korea)

Industry Experience

• Principal Researcher (2019-2021), Toyota Motor North America R&D (Mountain View, CA, United States)

• Researcher (2016-2019), Toyota InfoTechnology Center, U.S.A. (Mountain View, CA, United States)

• Post-Doc Researcher (2015-2016), Toyota InfoTechnology Center, U.S.A. (Mountain View, CA, United States)

Awards

• 2019 SAE Vincent Bendix Automotive Electronics Engineering Award (Best paper award)

• 2017 Top inventor award from Toyota InfoTechnology Center, U.S.A.

• Best presentation award in lightning talks in KOCSEA Symposium 2014

• 3rd place poster Award in UKC 2013

• Best poster award in KOCSEA Symposium 2011

• Best Reviewer Award from IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2025)

• Outstanding Reviewer Award from Design, Automation and Test in Europe Conference (DATE 2026)

Other Public Recognitions

• My research paper and project (Safety-Assured Development of the GPCA Infusion Pump Software) in collaboration with U.S FDA were introduced in the U.S. FDA website (Infusion Pump Software Safety Research at FDA)  [Link to FDA website]

• My research paper (Testing Autonomous Vehicle Software in the Virtual Prototyping Environment) was selected as one of the top accessed article from IEEE Embedded Systems Letter in 2017 and 2018 [Link to CEDA News Letter]

• My presentation (Design of Connected Plug-and-Play Vehicle Software Architecture) was selected as IoT session you can't miss in Embedded Systems Conference (ESC) Sillicon Valley in 2017 [Link to article]

Invited talks

• Virtual-Environment based Test Automation for High-Assurance Autonomous Systems,  Design Automation Conference (DAC) – Invited Talk at Tutorial Session, San Francisco, U.S.A., Jul 2023 

• Industry Trend and Research of Connected Automotive Services, CIS 640 Guest Lecture in University of Pennsylvania, Feb 2020

• Research Direction and Challenges toward Connected Automotive Software Platform, Nelms Annual IoT Conference in University of Florida, Dec 2019

• Design Challenge of Open Software Platform for Connected Vehicle, GRASP/PRECISE Industry Symposium in University of Pennsylvania, Feb 2018

• Test Framework for Automotive CPS in Virtual Environment, Guest lecture in University of Virginia, Jan 2018

• Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Road Environment, University of Southern California (CCI MHI Seminar), Sep 2017

• Testing Advanced Driving Assistance Systems (ADAS) in the Virtual Simulation Environment, 2nd Workshop on Monitoring and Testing of Cyber-Physical Systems (part of CPS week 2017), Pittsburg, U.S.A.

• Safety-Assured Model-Based Development of Real-Time Embedded Software for the GPCA Infusion Pump, Kyungpook National University, Daegu, South Korea, Jul 2015

• Safety-Assured Development of the GPCA Infusion Pump Software, DGIST, Daegu, South Korea, Aug 2011

Program Committee

• (TC member) IEEE ITSS Technical Committee Member: IOT IN ITS (2021 - Current) 

• (Publicity Chair) ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2023)

• (PC member) ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023, 2024, 2025, 2026

• (PC member) Design Automation Conference (DAC), 2024, 2025, 2026

• (PC member) IEEE International Conference on Cloud Computing (IEEE CLOUD), 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2026

• (PC member) Design, Automation and Test in Europe Conference (DATE), 2026

• (PC member) IEEE/ACMInternational Conference on Computer-Aided Design (ICCAD), 2025, 2026

• (PC member) Asia and South Pacific Design Automation Conference (ASP-DAC), 2023, 2024

• (PC member) IEEE Real-Time Systems Symposium (RTSS- Brief Presentations), 2021, 2022, (Artifact Evaluation) 2024, 2025

• (PC member) IEEE International Conference on Computer Design (ICCD), 2024

• (PC member) International Conference On Consumer Electronics (ICCE) Asia, 2024

• (Poster Co-Chair) IEEE International Conference on Embedded and Real-Time Computing Systems and Application (RTCSA), 2024 

• (PC member) IEEE Vehicular Networking Conference (VNC), 2023, 2026

• (PC member) 30th Asia-Pacific Software Engineering Conference (APSEC), 2023

• (PC member) 1st ACM/IEEE Workshop on Digital Twins (co-located with ACM/IEEE Symposium on Edge Computing)

• (PC member) 4th IFAC Workshop on Cyber-Physical & Human-Systems (CPHS), 2022

• (PC member) 40th IEEE International Conference on Distributed Computing Systems (IEEE ICDCS), 2020

• (PC member) Workshop on Monitoring and Testing of Cyber-Physical Systems (part of CPS week), 2017, 2018, 2019, 2020, 2021

• (Program Chair) 2nd Workshop on Monitoring and Testing of Cyber-Physical Systems (part of CPS week 2017)

• (PC member) 6th IEEE International Conference on Multimedia Big Data - Student Consortium (IEEE BigMM), 2020

• (PC member) Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT), 2019, 2020

• (PC member) Spring Simulation Conference, 2020

• (PC member) International Workshop on AI-Native Connected Mobility (ACM), 2026 

Past Project

• Generic PCA Infusion Pump Reference Implementations (University of Pennsylvania) [Link]