Taeho Kim, Ph.D.

NEWS 

• 딥러닝 기술과 심볼릭 AI를 활용한  SW 보안을 공부할 학생을 모집합니다. 특히, 거대언어모델 기반의 secure 소스코드 생성 기술에 관심있는 학생과 AI 반도체를 위한 시스템 SW 개발에 관심있는 학생은 연락주세요.  (정보보호학부외에 타과생도 환영합니다.) 

EDUCATION

• 1997.3 ~ 2005.2 Ph.D. Computer Science Section, EECS, KAIST (Korea Advanced Institute and Science and Technology), Korea

• 1995.3 ~ 1997.2 M.S. Computer Science, KAIST (Korea Advanced Institute and Science and Technology), Korea

• 1991.3 ~ 1995.2 B.S. Information Engineering, Sungkyunkwan Univ., Korea

PROFESSIONAL EXPERIENCE

•  2005.3 ~ 2024.2    Principal Researcher, ETRI (Electronics and Telecommunications Research Institute), Daejeon, Korea

  • Assistant VP, Intelligent Semiconductor Research Division, 2022.2~2023.1

  • Managing Director, Next Generation System Software Research Group, 2019.7~2022.2

  • Managing Director, Dependable CPS Research Group, 2017.1~2019.7

  • Director, Dependable SW Research Group, 2016.3~2016.12

  • Director, Next Generation OS Research Section, 2012.2~2016.2 

• 2013.3 ~ 2016.2    Adjunct Associate Professor, Computer Software Engineering, University of Science and Technology, Daejeon, Korea

2006.9 ~ 2008.8

• 2004.3 ~ 2005.2    Principal Engineer, Digital Printing Division, Samsung Electronics, Suwon, Korea

• 2001.7 ~ 2002.6    International Fellow, CSL (Computer Science Lab.), SRI International, California, USA

1999.12 ~ 2000.2

RESEARCH INTERESTS 

•   Software Security and Safety

  • Formal Methods, Static Analysis 

  • Secure Software Development Life Cycle Management 

  • Functional Safety Certification 

• AI-based Secure Software Engineering 

  • LLM-based Secure Code Generation

  • LLM-based Software Development Life Cycle Management

• Secure System Software 

  • Time-Space Partitioned RTOS, Multicore RTOS, Embedded Hypervisor

  • Deep Learning Compiler for AI semiconductor 

PAPERS AND PATENTS 

• International Journal Papers 

[1] T. Kim, and S. Cha, "Automated structural analysis of SCR-style software requirements specifications using PVS,'' Software Testing, Verification, and Reliability, Vol. 11, No. 3, Sep. 2001, pp. 143-163.

[2] T. Kim, and S. Cha, "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: A nuclear power plant protection system application," Reliability Engineering and System Safety, Vol. 83, No. 1, Jan. 2004, pp. 121-122.

[3] T. Kim, D. Stringer-Calvert, and S. Cha, "Formal Verification of Functional Properties of an SCR-style Software Requirements Specification using PVS," Reliability Engineering and System Safety, Vol. 87, No. 3, Mar. 2005, pp. 351-363.

[4] M. Kim, S. Hong, C. Hong, and T. Kim, “Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay”, Electronic Notes in Theoretical Computer Science, Vol 253, 2009, pp.21-36.

[5] T. Kim, and Y. Ko, “Medication Management Process Modeling using Coloured Petri nets”, International Journal of Applied Engineering Research, Vol. 12, No. 9, Oct. 2017, pp.2017-2021.

[6] S. Yoon, D. Lee, E. Pak, T. Kim, and J. Yoo, “Timed Model-based Formal Analysis of Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS”, IEICE Transactions on Information and Systems, Vol. E100.D, Issue 10, Oct. 2017, pp.2644-2647.

[7] J. Kim, S. Kim, J. Jeong, H. Kim, J. Park, and T. Kim, “CBDN: Cloud-Based Drone Navigation for Efficient Battery Charging in Drone Networks,” IEEE Transactions on Intelligent Transportation Systems, Dec. 2018

[8] J.Lee, M.Yu, Y.Kwon, and T. Kim, “Quantune: Post-training Quantization of Convolutional Neural Networks using Extreme Gradient Boosting for Fast Deployment”, Future Generation Computer Systems, Vol 132, July 2022, pp. 124-135

[9] J. Lee, S. Park, T.Kim, and H.Kim, “Time-Invariant Features-Based Online Learning for Long-Term Notification Management: A Longitudinal Study,” Applied Science, Vol12, Issue 11, May. 2022

[10] R.Souse, M.Pereira, Y. Kwon, T. Kim, N. Jung, C. Kim, M. Frank, and G.Araujo, “Tensor slicing and optimization for multicore NPUs,” Journal of Parallel and Distributed Computing, Vol. 175, May 2023, pp. 66-79

[11] Y.Ha, E. Pak, J.Park, T.Kim, and J.Yoon, “Clock Offset Estimation for Systems With Asymmetric Packet Delays,” IEEE Transactions on Networking, Vol. 31, No. 4, Aug. 2023, pp.1838-1853

[12] M.Yoo, Y.Kwon, J. Lee, J. Park, J. Park, and T.Kim, “PartitionTuner: An Operator Scheduler for Deep Learning Compilers Supporting Multiple Heterogeneous,” ETRI Journal, Vol. 45, Issue 2, Apr. 2023, pp. 318-328

[13] S.Yeo, Y.Ma, S.Kim, H.Jun, and T.Kim, "Framework for evaluating code generation ability of large language models," ETRI Journal, Feb. 2024 (early access) 

• International Conference Papers 

[1] T. Kim and S. Cha, "PVS-based Verification of SCR-style Requirements: Experience and Wish List," PVS User group meeting at the World Congress on Formal Methods 99 (FM '99), 1999.

[2] J.S. Lee, T. Kim, G. Yoon, J. Hong, S. Cha, and D. Bae, "Developing Distributed Software Systems by Incorporating Metaobject Protocol(diMOP) with Unified Modeling Language(UML),” the 4th proceeding of International Symposium on Autonomous Decentralized Systems (ISADS'99), 1999.

[3] T. Kim, D. Stringer-Calvert, and S. Cha, "Formal Verification of functional properties on SCR-style SRS using PVS," Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2002, Springer-Verlag, LNCS 2280, April 2002.

[4] T. Kim, O. Lee, and C. Lim, “APROV-SL: A Specification Language of Another PROgram Verifier,” The 8th International Conference on Advanced Communication Technology (ICACT) 2006, Feb. 2006, pp. 537-540.

[5] J. Kim, T. Kim, Y. Ma, and J. Park, “QuickDriver: An Integrated Development Tool for Device Drivers in Embedded Systems,” The 28th IEEE Real-Time Systems Symposium (RTSS) 2007 – Work in Progress Session, Dec. 3-6, 2007

[6] J. Park, Y. Choi, and T. Kim, “Domain Specific Code Generation for Linux Device Driver,” The 10th International Conference on Advanced Communication Technology (ICACT) 2008, Feb. 2008

[7] O. Lee, S. Jung, H. Ahn, and T. Kim, “APROV: Another Program Verifier for Embedded Linux Device Drivers,” The 10th International Conference on Advanced Communication Technology (ICACT) 2008, Feb. 2008

[8] M. Kim, S. Hong, C. Hong, and T. Kim, “Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay,” The 5th Workshop on Model-Based Testing (MBT) 2009, Mar. 22, 2009

[9] Y. Ko, and T.  Kim, “Analyzing patient safety in medication process using Coloured Petri net,” The 1st International Nursing Research Conference of World Academy of Nursing Science (WANS) 2009, Sep. 19-20, 2009

[10] T. Kim, “An experience of rigorous software process model with agility to develop an avionics operating system”, The 7th International Symposium on Embedded Technology (ISET) 2012,

[11] T. Kim, D. Son, C. Shin, S. Park, D. Lim, H. Lee, B. Gim, and C. Lim, “Qplus-AIR: A DO-178B Certifiable ARINC 653 RTOS,” The 8the International Symposium on Embedded Technology (ISET) 2013, May. 23-24, 2013

[12] S. Park, T. Kim, and C. Lim, “Verifying the Memory Model in the Paravirtualization,” The 8th International Symposium on Embedded Technology (ISET) 2013, May. 23-24, 2013

[13] Y. Kim, T. Kim, and C.Lim, “The Memory Core in 3D Die-Stacked DRAM,” The 9th International Symposium on Embedded Technology (ISET) 2014

[14] T. Kim, D. Kang, S. Kim, J. Shin, D. Lim, and V. Dupre, “Qplus-HYPER: A hypervisor for Safety-critical systems,” The 9th International Symposium on Embedded Technology (ISET) 2014

[15] H. Cho, D. Kang, J. Shin, V. Dupre, S. Kim, C. Lim, and T.Kim, “Remote Graphical Processing for Dual Display of RTOS and GPOS on an Embedded Hypervisor,” International Conference on Emerging Technology and Factory Automation (ETFA) 2015

[16] H. Cho, D. Kang, J. Shin, V. Dupre, S. Kim, T.Kim, and C.Lim, “Dual Display of Virtual Machines for Automotive Infotainment Systems,” Global Conference on Consumer Electronics (GCCE) 2015, pp.131-132

[17] E. Pak, Y. Ha, J. Park, Y. Kim, M. Song, and T. Kim, “SYNDICATE: Software Platform for Distributed Real-Time System,” Pacific Rim International Symposium on Dependable Computing (PRDC) 2015, pp.327-328

[18] S. Kim, H. Cho, D. Kang, J. Shin, V. Dupre, T. Kim, and C. Lim, “Device Dedication in Virtualized Embedded Systems,” International Conference on Computer Science and its Applications (CSA) 2015 (LNEE 373), pp.295-299

[19] J. Park, and T. Kim, “A Method of Logically Time Synchronization for Safety-critical Distributed System,” International Conference on Advanced Communication Technology (ICACT) 2016, pp.356-359

[20] J. Park, and T. Kim, “A Static Task Scheduling Method for Safety-critical Distributed Systems,” IEMEK Symposium on Embedded Technology (ISET) 2016

[21] E. Pak, Y. Ha, and T. Kim, “Memory Bus Partitioning Mechanism for Multi-Core RTOS,” IEMEK Symposium on Embedded Technology (ISET) 2016

[22] E. Pak, D. Lim, Y. Ha, and T. Kim, “Shared Resource Partitioning in an RTOS,” Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT) 2017, pp.7-12

[23] Y. Ma, S. Yoo, and T. Kim, “Selecting Test Inputs for DNNs using Differential Testing with Subspecialized Model Instances,” ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2021, pp.1467-1470

[24] T. Kim, Y. Kwon, J. Lee, T. Kim, and S. Ha, “CPrune: Compiler-Informed Model Pruning for Efficient Target-Aware DNN Execution,”  European Conference on Computer Vision (ECCV) 2022 (LNCS 13680), pp.651-667

[25] T. Kim, H. Kim, H. Jun, Y. Ma, and S. Kim, "AI-based Secure Code Generation," Asia-Korea Conference (AKC) 2023

• International Patents 

[1] APPARATUS AND METHOD FOR APPLICATION TESTING OF EMBEDDED SYSTEM, US Patent No. 8549491, 2013

[2] METHOD FOR COMBINING TRACKLESS VEHICLE AND APPARATUS THEREOF, US Patent No. 9122279, 2015

[3] MONITORING METHOD AND APPARATUS FOR ARINC 653-BASED OPERATING SYSTEM, US Patent No. 9164873, 2015

[4] CYBER-PHYSICAL SYSTEM AND METHOD OF MONITORING VIRTUAL MACHINE THEREOF, US Patent No. 9417904, 2016

[5] AIRPLANE SYSTEM AND CONTROL METHOD THEREOF, US Patent No. 9729305, 2017

[6] HEALTH MONITORING APPARATUS AND METHOD IN AERONAUTIC SYSTEM, US Patent No. 9594613, 2017

[7] CLOCK SYNCHRONIZATION METHOD AND APPARATUS, US Patent No. 10404393, 2019

[8] POWER ISOLATION FOR SAFETY-CRITICAL SYSTEMS, US Patent No. 10503230, 2019

[9] APPARATUS AND METHOD FOR SYNCHRONIZING CLOCK, China Patent No. ZL 201710659956.6, 2019

[10] NEURAL NETWORK GENERATION METHOD FOR NEUROMORPHIC COMPUTING AND APPARATUS FOR THE SAME, US Patent No. 11630992, 2023

PROJECTS  (PI) 

• High-quality source code generation from specifications written in natural language (funded by Ministry of Science and ICT) (PI) ,  2022.4~2024.2 

• A Research on Neuromorphic Software Platform for Artificial Intelligence (funded by Ministry of Science and ICT) (PI), 2018.4 ~2022.12            

• A Research on Resource Partitioning in Multicore Avionics RTOS (funded by Korea Aerospace Industries, ltd.) (PI), 2016.9 ~2018.8 

• A Safe Synchronous Distributed and Consolidated SW Platform (funded by Ministry of Science, ICT and Future Planning) (PI), 2014.3 ~2016.12