|Bio: ||T. John Koo is Director of Cyber-Physical Systems, Hong Kong Applied Science and Technology Research Institute (ASTRI), Hong Kong. Koo received the US National Science Foundation (NSF) CAREER Award in 2005 and the Distinguished M.Phil. Thesis Award of the Faculty of Engineering, the Chinese University of Hong Kong, in 1994. He received the Ph.D. degree in Electrical Engineering from the University of California at Berkeley, USA, in 2000, and the M.Phil. degree in Information Engineering and the B.Eng. degree in Electronic Engineering from the Chinese University of Hong Kong, China, in 1994 and 1992, respectively. He is a Senior Member of IEEE and a Member of ACM and Sigma Xi. In 2012, Koo received the Certificate for Overseas High-Caliber Personnel in Shenzhen (Peacock Plan/Thousand Talents Plan of Shenzhen Government) and 2012 Distinguished Young Scientist Award of Scientific Chinese, the China Association for Science & Technology.
Koo was Professor and Director of the Center for Embedded Software Systems, Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences, China. He served as Director of Emerging Technologies Institute, the University of Hong Kong. Koo was Visiting Professor in INRIA Rennes-Bretagne Atlantique, France, ETH Zurich, Switzerland, and the University of California at Berkeley, USA. Koo was Faculty Member of Sino-European Laboratory in Computer Science, Automation and Applied Mathematics (LIAMA) in the Formal Methods for Embedded Systems (FORMES) Project. Koo was Faculty Member of US NSF ITR Center for Hybrid and Embedded Software Systems (CHESS) at the University of California at Berkeley, USA, and Institute for Software Integrated Systems (ISIS) at Vanderbilt University, USA. Koo was Consultant for Hong Kong Applied Science and Technology Research Institute (ASTRI), Hong Kong, ASM Pacific Technology Limited, Hong Kong and Stanford Research Institute (SRI), USA.
Koo has been leading research projects in China funded by National Natural Science Foundation of China (NSFC), Ministry of Science and Technology (MoST), Chinese Academy of Sciences (CAS), INRIA of France, State Secretariat for Education and Research (SER) of Switzerland, Sino-Swiss Science and Technology Cooperation (SSSTC), Japan Science and Technology Agency (JST) of Japan and Li Ka Shing Foundation (LKSF) and Hutchison Whampoa Limited. When Prof. Koo was in US, he led and participated in research projects funded by Nation Science Foundation (NSF), Air Force Research Laboratory (AFRL), Army Research Office (ARO), Office of Naval Research (ONR), Defense Advanced Research Projects Agency (DARPA). T. John Koo been worked closely with the industry in Embedded Systems for many years and the industrial collaborators include FAW, ASM Pacific, QNX, Intel, LMS, ASTRI, Boeing, Northrop Grumman, Ford, General Motors, Daimler-Chrysler, Honeywell and United Technologies.
Koo has been invited as a leading expert to participate in several US/EU National Strategic Meetings on High Confidence Software and Systems (HCSS) and Cyber-Physical Systems (CPS). Koo made contribution to the US Federal Government Report to the US President “High-Confidence Medical Devices - Cyber-Physical Systems for 21st Century Health Care” presented on the White House website. Koo’s work on Hybrid Systems is included in the book “Software-Enabled Control: Information Technology for Dynamical Systems” published by IEEE Press. Koo was a Member of US NSF Review Committee for CPS. Koo was the Industrial Chair of 2012 CPS Week, which is the leading annual conference in CPS. Koo’s works on Embedded Software and Hybrid Systems have been published in internationally renowned journals and conferences including the landmark Special Issues of “The Proceedings of IEEE”: “Modeling and Design of Embedded Software” and “Cyber-Physical Systems.”
Distinguished Young Scientist Award, Scientific Chinese, China Association for Science and Technology, 2012.
Certificate for Overseas High-Caliber Personnel in Shenzhen, Peacock Plan, Shenzhen Municipal Government, 2012.
NSF CAREER Award, US National Science Foundation, 2005.
Distinguished M.Phil. Thesis Award, Faculty of Engineering, The Chinese University of Hong Kong, 1994.
ITF - Model-Based System Architecture Synthesis for Embedded Systems, 2016-2017, Hong Kong.
ITF - System-Level Virtual Prototyping of Embedded Systems, 2015-2016, Hong Kong.
TDK/SAE Magnetics - Model-Based Design of Automator, 2015-2016, Hong Kong.
INRIA International Partner - Time, Events and Architectures (TEA), 2014-2018, France.
DARPA Robotics Challenge (DRC) - Team HKU, 2013-2014, Hong Kong.
NSFC - Foundations for Model-Based Design of Embedded Software Systems, 2012-2015, China.
JST CREST - Dynamic Analysis Technologies for Multi-Energy Systems, 2012-2015, Japan.
SSTF - Shenzhen Natural Science Funds for Distinguished Young Scientists, 2011-2012, China.
SIAT CAS - Design and Analysis of High-Confidence Embedded Software Systems, 2010-2012, China.
NanoTera-SSSTC - Real-Time Computation and Optimization for Networked Camera Surveillance, 2011-2012, Switzerland.
NSFC - Foundations for the Design of Embedded Hybrid Systems, 2008-2010, China.
MoST - Technology Development and Application of Computation Platform for Automotive Electronic Control Systems, 2008-2010, China.
NSF - Foundations of Hybrid and Embedded Software Systems, 2002-2007, USA.
NSF - Computation Platform for the Design of Hybrid Systems, 2005-2010, USA.
DARPA - Active Sensing with Autonomous Perch and Move Operations, 2003-2004, USA.
DARPA - Model-Based Integration of Embedded Systems (MoBIES), 2001-2003, USA.
DARPA - Software Enabled Control, 1998-2001, USA.
ONR - Intelligent Control Architectures for Unmanned Air Vehicles, 1997-1999, USA.
ARO - An Integrated Approach to Intelligent Systems, 1996-1998, USA.