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).