PRECISE Seminar: Cyber-Physical Systems - Continuity and Transitions

PRECISE Seminar: Cyber-Physical Systems - Continuity and Transitions
Tue, August 13, 2013 @ 11:30am EDT
Levine Hall - Room 307
3330 Walnut Street
Philadelphia, PA 19104
Speaker
Helen Gill, Ph.D.
National Science Foundation
Abstract

This talk takes a retrospective look at the course of Cyber-Physical Systems, and then looks forward to challenges ahead.  There have been changes, and more are coming – some seen, some doubtless not anticipated.  But the need for, and interest in, the CPS area is only growing.  As researchers gravitate to this field, they will find opportunities to tackle new and interesting problems, both in the application domains and in the science and technology.

Speaker Bio

Dr. Helen Gill is the Program Director for the Embedded & Hybrid Systems program of the National Science Foundation Directorate for Computer and Information Science and Engineering (CISE) Division of Computer and Network Systems (CNS). Previously, she served as a Program Manager in the Information Technology Office of the Defense Advanced Research Projects Agency, where she developed programs in software-enabled control and hybrid systems and in programming technology for embedded systems.

At DARPA she also managed research in modeling and formal methods for software development and evolution. Previously she was a Principal Scientist with the MITRE Corporation and directed the National Science Foundation programs in Software Engineering and Programming Languages.

Dr. Gill received her B.A. degree in Mathematics from the University of Missouri (General Honors), M.S. in Computer Science from the University of Colorado, and Ph.D. in Computer Science from Auburn University. She is a member of Phi Beta Kappa. Her academic honors include Pi Mu Epsilon; Phi Kappa Phi; MU Curators, Powell B. McHaney, Burroughs, and CU Regents Fellowships. Her research publications are in graph decomposition for concurrency analysis, partitioning and scheduling software for parallel execution, distributed programming environments, and discrete event simulation. Her current research interests are in software for embedded systems, middleware, hybrid discrete and continuous systems, software analysis, applied formal methods, and technology for high confidence software and systems. She co-chairs coordinating group for High Confidence Software and Systems under the auspices of the Interagency Working Group for ITR&D.