ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
BaekGyu Kim

Registered user since Fri 12 Apr 2019

Name:BaekGyu Kim

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
Research interests:Software Engineering, Safety Critical Systems, Model-Based Development, Formal Methods


Show activities from other conferences

ISSTA 2019-profile
View general profile