![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif)
Staff Directory
Helen
Gill
|
Email:
hgill@nsf.gov
|
![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif) |
Phone:
(703) 292-7834
|
![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif) |
Fax:
(703) 292-9010
|
![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif) |
Room:
1175 N
|
![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif) |
Organization:
CNS
|
![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif) |
Title:
Program Director
|
![](https://webarchive.library.unt.edu/eot2008/20090117095409im_/http://www.nsf.gov/images/x.gif) |
|
Program Responsibilities:
Cyber-Physical Systems
(CPS)
Software for Real-World Systems
(SRS)
Biography:
Dr. D. Helen Gill is the Program Director for the Embedded & Hybrid Systems program of the National Science Foundations 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.
|