BaekGyu Kim, Ph.D.
BaekGyu Kim, Ph.D.
Embedded Files
Assistant Professor
Department of Electrical Engineering and Computer Science (EECS)
DGIST
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.
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
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
(PC member) Design Automation Conference (DAC), 2024, 2025
(PC member) Asia and South Pacific Design Automation Conference (ASP-DAC), 2023, 2024
(PC member) Design, Automation and Test in Europe Conference (DATE), 2026
(PC member) IEEE International Conference on Cloud Computing (IEEE CLOUD), 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025
(PC member) IEEE/ACMInternational Conference on Computer-Aided Design (ICCAD), 2025
(PC member) IEEE International Conference on Computer Design (ICCD), 2024
(PC member) International Conference On Consumer Electronics (ICCE) Asia, 2024
(PC member) IEEE Real-Time Systems Symposium (RTSS- Brief Presentations), 2021, 2022, (Artifact Evaluation) 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
(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
Conference and Journal Review
IEEE Embedded Systems Letter (2016, 2018)
International Conference on Embedded Software (EMSOFT 2011, 2012, 2014, 2015)
Real-Time Systems Symposium (RTSS 2009, 2010, 2011, 2012, 2013)
Design, Automation and Test in Europe (DATE 2015)
Design Automation Conference (DAC 2017, 2018)
International Conference on Cyber-Physical Systems (ICCPS 2010, 2011, 2012, 2019)
Automated Technology for Verification and Analysis (ATVA 2012, 2013, 2014)
Real-Time and Embedded Technology and Applications Symposium (RTAS 2013)
International Conference on Computer-Aided Design (ICCAD 2011, 2012)
IEEE Symposium on Real-Time Computing (ISORC 2010, 2013)
International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011)
Science of Computer Programming (SCP 2014)
ACM Transactions on Cyber-Physical Systems (TCPS 2018)
IEEE Design and Test (2014)
Society of Automotive Engineers (SAE 2017, 2018)
Advances in Computing and Information in Engineering (Book Chapter in ASME press, 2018)
ETRI Journal (2018)
Future Generation Computer Systems (FGCS 2019)
ACM Computing Surveys (2019)
IEEE Access (2019)
Transportation Research Board Annual Meeting (2020)
IEEE Transactions on Industrial Infomatics (2019, 2020)
ACM Transactions on Embedded Computing Systems (2019)
ACM Transactions on Computing for Healthcare (2019, 2020)
IEEE Transactions on Intelligent Transportation Systems (2019)
IEEE Transactions on Vehicular Technology (2020)
Journal of Cyber Security Technology (2020)
IEEE Open Journal of the Industrial Electronics Society (2020)
IEEE International Conference on Communications (2021)
Information Fusion (2020)
Transactions on Software Engineering (2022)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2022)
IEEE Open Journal of the Communications Society (2022)
Journal of Ambient Intelligence and Humanized Computing (2022)
IEEE Transactions on Intelligent Vehicles (2023)
IEEE Transactions on Mobile Computing (2023)
Page updated
Google Sites
Report abuse