Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
BaekGyu Kim

Registered user since Fri 12 Apr 2019

Name: BaekGyu Kim

Bio: Dr. BaekGyu Kim earned B.S. and M.S. in computer science from Kyungpook National University in South Korea in 2007 and 2009, and earned Ph.D in computer science from University of Pennsylvania in 2015. He has been working in Toyota Motor North America R&D since 2015. His research interest is to explore various formal techniques for high-assurance Cyber-Physical Systems (CPS) that include formal modeling/verification, code generation, system integration and testing. He recently has expanded the research scope to high-assurance Internet-of-Things (IoT) systems, especially, resource allocation, offloading and optimization techniques for cloud/edge computing. His research outcomes have been demonstrated in two real-world applications: academic research on infusion pumps (medical device domain) and industrial research on autonomous/connected cars (automotive domain).

Country: United States

Affiliation: Toyota Motor North America (TMNA) R&D

Personal website: https://sites.google.com/site/bgkim0110/

Research interests: Software Engineering, Safety Critical Systems, Model-Based Development, Formal Methods

Contributions

ISSTA 2020Committee Member in Program Committee within the TAV-CPS/IoT-track
Show activities from other conferences

ISSTA 2020-profile
View general profile