NITRD HCSS-AS: Attendees

Jim Alves-Foss

Jim Alves-Foss is an associate professor of computer science and is the Director of the Center for Secure and Dependable Systems (est. 1998). He has been at the University of Idaho since 1991. Dr. Alves-Foss received his Ph.D in Computer Science from the University of California, Davis (UCD) in 1991, his M.S. in Computer Science from UCD in 1989 and his B.S. in Physics, Mathematics and Computer Science from UCD in 1987.

John Baras

John S. Baras received the B.S. in Electrical Eng. from the Nat. Techn. Univ. of Athens, Greece, in 1970, and the M.S. and Ph.D. in Applied Math. from Harvard Univ. in 1971 and 1973. Professor Baras was the founding Director of the Institute for Systems Research (one of the first six NSF Engineering Research Centers) from 1985 to 1991. Since August 1973 he has been with the Electrical and Computer Engineering Department, and the Applied Mathematics Faculty, at the University of Maryland, College Park, where he is currently a Professor holding a permanent joint appointment with the ISR. In February 1990 he was appointed to the Lockheed Martin Chair in Systems Engineering. Since 1991 Dr. Baras has been the Director of the Maryland Center for Hybrid Networks (HYNET) (a NASA Research Partnership Center).

Among his awards are: the 1980 Outstanding Paper Award of the IEEE Control Systems Society; 1978, 1983 and 1993 Alan Berman Research Publication Awards from NRL; 1991 , 1994, Outstanding Invention of the Year Awards from the University of Maryland; 1998, the Mancur Olson Research Achievement Award, from the Univ. of Maryland College Park (award recognizes faculty whose research achievements have been extraordinary); 2002, Best paper Award at the 23rd Army Science Conference, Orlando, Florida; Best paper Award 2004 Wireless Security conference.

Dr. Baras is a Fellow of the IEEE. He was elected a Foreign Member of the Royal Swedish Academy of Engineering Sciences in 2006. Professor Baras' research interests include control, communication and computing systems. Professor Baras was the initial principal architect of the ISR M.S. program in Systems Engineering. More recently Dr. Baras has been heavily involved in the development of new core courses for systems engineering. His efforts address the often emphasized need for a new integrative approach to engineering (holistic rather than in parts) which in turn addresses the needs for modular design, systems thinking and team work.

Alexandre Bayen

Alexandre Bayen received the Engineering Degree in applied mathematics from the Ecole Polytechnique, France, in July 1998, the M.S. degree in aeronautics and astronautics from Stanford University in June 1999, and the Ph.D. in aeronautics and astronautics from Stanford University in December 2003. He was a Visiting Researcher at NASA Ames Research Center from 2000 to 2003. Between January 2004 and December 2004, he worked as the Research Director of the Autonomous Navigation Laboratory at the Laboratoire de Recherches Balistiques et Aerodynamiques, (Ministere de la Defense, Vernon, France), where he holds the rank of Major. He has been an Assistant Professor in the Department of Civil and Envinronmental Engineering at UC Berkeley since January 2005.

Scott Beecher

Scott Beecher is from Pratt & Whitney.

Azer Bestavros

Azer Bestavros (PhD'92, Harvard U) is Professor and Chairman of the Computer Science Department at Boston University, which he joined in 1991. Prof. Bestavros' research interests are in the general areas of networking and real-time systems.

Robin Bloomfield

Robin Bloomfield is Professor of Software and System Dependability at the City University, London. His research interests are in the dependability (reliability, safety, security) of computer-based systems. His work in safety in the past 20 yrs has combined policy formulation, technical consulting and underpinning research. Robin Bloomfield is involved in a wide range of projects and is currently the Industrial Liaison Director for a UK interdisciplinary research project on dependability (DIRC). He is a founder member of the consultancy Adelard and prior to this he worked in industry for the UK electricity utility (CEGB) where he was concerned with the design and validation of the control and safety systems of nuclear power stations. The post is shared with Peter Bishop and he spends part of his time with the consultancy Adelard that is co-located at City with the CSR.

Raymond Bortner

Ray Bortner is with the Air Force Research Laboratory, in Dayton, OH.

Gregory Bowles

Rance Cleaveland

Darren Cofer

Darren Cofer is from Honeywell.

Eric Cooper

Eric Cooper received a B.A. magna cum laude in mathematics from Harvard University in 1980 and a Ph.D. in computer science from the University of California at Berkeley in 1985. From 1985 to 1991, he was a member of the computer science faculty at Carnegie Mellon University, where he conducted research in computer networks, operating systems, and programming languages.

Dr. Cooper co-founded FORE Systems in 1990, serving as CEO until 1998 and as Chairman until 1999. During his tenure, the company grew from a pioneering developer of ATM local-area networks to a leading supplier of networks for enterprises and service providers. Dr. Cooper took FORE public in 1994, acquired eight private companies and one public company over the next five years, and sold the company in 1999 to Marconi for $4.5 billion in cash. In its final year as an independent company, FORE Systems employed 2,000 people worldwide, generated $700 million in revenue, and earned $50 million in net income.

In 1999, Dr. Cooper was appointed Distinguished Service Professor of Computer Science at Carnegie Mellon University. In 2000, he co-founded G4 Partners to provide advisory services to technology companies. Dr. Cooper was a member of the Board of Trustees of Carnegie Mellon University from 1996 to 2002. He has served as a Director of several technology companies, both public and private.

David Corman

Matthew Dwyer

Matthew Dwyer, the Henson Chair of Software Engineering at UNL, has over a decade of experience developing static software analysis techniques and tools and studying their application in practice. Sebastian Elbaum is an Associate Professor in CSE at UNL with expertise in run-time monitoring of deployed software and empirical studies of software testing techniques. Steve Goddard, an Associate Professor in CSE and College of Engineering Distinguished Scholar at UNL, is a highly-regarded expert in realtime and embedded systems and enterprise-scale decision support software. This team of researchers has led more then 25 research projects for ARO, DARPA, NASA, USDA, and NSF that have produced more than 10 software systems which have been leveraged for industrial use.

Eric Feron

Eric Feron is a Professor at Georgia Tech.

Emilio Frazzoli

Emilio Frazzoli, Ph.D., is with MIT.. He received the Laurea degree in Aeronautical Engineering, magna cum laude, from the University of Rome La Sapienza , Rome, Italy, in 1994, and a Ph. D. from the Aeronautics and Astronautics Department of the Massachusetts Institute of Technology in 2001. Between 2001 and 2004, Dr. Frazzoli was on the faculty of the Aerospace Engineering Department of the University of Illinois at Urbana-Champaign; before going back to school for his doctorate, he served as an officer in the Italian Navy, and was a flight dynamics specialist in the spacecraft control center of Telespazio (Rome, Italy). Dr. Frazzoli is the recipient of a 2002 NSF CAREER award, for research on "High-Confidence Software for Aerospace Embedded Systems".

Current research interests include algorithmic, computational and geometric approaches to the design and development of decision and control architectures for complex networked and autonomous systems, in aerospace and other domains. Application areas include distributed cooperative control of multiple vehicle systems over wireless networks, guidance and control of agile vehicles, high-confidence software engineering for high-performance dynamical systems, verification of hybrid systems.

Helen Gill

Helen Gill is a Program Director in the Computer and Network Systems division of NSF's Computer and Information Science and Engineering Directorate. Dr. Gill works in Computer Systems Research, managing a portfolio in real-time and embedded computing, distributed real-time embedded systems, software composition for embedded systems, resource management and real-time scheduling, and high confidence methods for safety critical systems. She also serves in the Cyber Trust initiative, which supports research in cyber security, including approaches for distributed embedded real-time and resource-constrained systems. She co-chairs the High Confidence Software and Systems (HCSS) Coordinating Group of the NSTC Networking and Information Technology R&D (NITRD) Subcommitee and she represents NSF in the Critical Information Infrastructure Protection Interagency Working Group and CISE in the NSTC Critical Infrastructure Protection Subcommittee. Dr. Gill received her PhD in Computer Science from Auburn University, M.S. in Computer Science from the University of Colorado, and B.A.(General Honors, Phi Beta Kappa) in Mathematics from the University of Missouri. Most recently, she has served at NSF since 2000. Previously, she was a Program Manager at DARPA, where she established programs in Software Enabled Control (SEC) and Program Composition for Embedded Systems (PCES) and managed research in formal methods. Prior to this, she had served as Program Director for the NSF program in software engineering and programming language semantics and was a Principal Scientist at the MITRE Corporation.

Rob Gold

Rob Gold is with the Office of the Secretary of Defense.

Allen Goldberg

Patrick J. Graydon

Patrick J. Graydon is a graduate student in the Department of Computer Science at the University of Virginia. His research interests include the use of assurance-case technology in the development of safety-critical systems.

R. John Hansman

Dr. R. John Hansman is currently a Professor in the Department of Aeronautics and Astronautics at MIT, where he is Head of the Humans and Automation Division. He is also Director of the International Center for Air Transportation. Professor Hansman teaches courses on Aircraft Systems and Design, Human Supervisory Control of Automated Systems, Air Traffic Control, Spacecraft and Aircraft Sensors and Instrumentation, Flight Measurement, The Airline Industry, and Aircraft Systems Engineering and has co-produced an educational Video Series on Measurement. He served as Co-Chair of the MIT Presidential Task Force on Student Life and Learning.

Professor Hansman holds 6 U.S. Patents, and has authored over 250 technical publications. He conducts research in several areas related to air transportation, flight vehicle operations and safety. His current research activities focus on information technology applied to air transportation systems, air traffic control, integrated human-automation systems, advanced vehicles, and advanced cockpit information systems. He is also an internationally recognized expert in aviation meteorological hazards such as icing and windshear. He is a Fellow of the American Institute of Aeronautics and Astronautics (AIAA) and gave the 2005 National AIAA Dryden Lecture on Research. He received a 2004 Commercial Air Transport Laurel from Aviation Week and Space technology, the 1998 Bose Award for Excellence in Teaching, the 1997 FAA Excellence in Aviation Award, the 1994 Losey Atmospheric Award from the American Institute of Aeronautics and Astronautics, the 1990 OSTIV Diploma for Technical Contributions and the 1986 AIAA Award for Best Paper in Thermophysics.

Dr. Hansman also consults and serves as a member of numerous advisory and technical committees including the FAA Research and Development Advisory Committee and the NASA Aeronautical Research Advisory Committee. He serves on several editorial and corporate boards. He has over 5000 hours of pilot in-command time in airplanes, helicopters and sailplanes, including meteorological, production and engineering flight test experience.

Kevin Harnett

Kelly Hayhurst

David B. Homan

Mr. David B. Homan is a research scientist with the United States Air Force Research Laboratory. Mr. Homan specializes in research and development of air and space vehicle flight control systems. In particular, Mr. Homan is a technical area leader, specializing in development of advanced flight control mechanization technologies. The Control Mechanization group's current R&D emphasis areas include: Advances in Airworthiness Certification and Verification and Validation, prognostics and diagnostics for Integrated Control Systems Health Management, Control for Morphing Aircraft Systems, and maintaining Operations and Support of the Air Vehicle's Control Systems Integration Facility. Mr. Homan completed his Bachelor of Science degree in Mechanical Systems Engineering from Wright State University in 1987, and received his Masters of Science in Management of Technology from the National Technological University in 1997. David is married to Michelle, and they have two children Joseph, 18 and Kelsey, 15. David actively supports career fairs at grade, middle and high schools throughout the Miami Valley, and is an avid boating, hiking and camping enthusiast.

Sally Howe

Sally E. Howe is Associate Director of the National Coordination Office (NCO) for Information Technology Research and Development (IT R&D), and has been at the NCO since it was established in 1992, serving first as Assistant Director for Technology and then as Chief of Staff. The NCO's activities include: coordinating the Federal government's $2 billion per year Networking and Information Technology Research and Development (NITRD) Program; supporting the Interagency Working Group (IWG) on ITR&D under the National Science and Technology Council, Office of Science and Technology Policy, Executive Office of the President; coordinating the preparation of documents including the NITRD Program's annual report to Congress (commonly known as the Blue Book); and supporting the President's Information Technology Advisory Committee (PITAC). Dr. Howe's duties at the NCO include: coordinating the activities of the NCO's technical staff, including their support for the six Coordinating Groups that report to the IWG/ITR&D; serving as Executive Editor for the Blue Book; coordinating the NCO's technical support for the PITAC and preparing and overseeing the NCO budget. Prior to working at the NCO, she spent 12 years at the National Institute of Standards and Technology, including serving as Chief of the Scientific Computing Environments Division within the Center for Applied Mathematics. Before joining the Federal government, she was an Assistant Professor of Statistics at Carnegie Mellon University and an Instructor in Mathematics at Keystone Junior College. She holds a B.A. in Mathematics from William Smith College, an M.A. in Mathematics from the University of Virginia, and a Ph.D. in Applied Mathematics from Brown University.

Stephen Jacklin

Gabor Karsai

Gabor Karsai received the Diploma in EE, and Dr Techn degrees from the Technical University of Budapest, Hungary, in 1982 and 1984/88, and a PhD from Vanderbilt University in 1988. Since then he is working at the Department of Electrical Engineering and Computer Science and at the Institute for Software-Integrated Systems of the School of Engineering.

Frankie King

Ms. King is a member of the Technical Staff of the National Coordination Office (NCO) for Information Technology Research and Development (ITR&D). As the Technical Coordinator for the High Confidence Software and Systems (HCSS) and the Human Computer Interaction and Information Management (HCI&IM) Coordinating Groups, Ms. King is responsible for the day-to-day management and coordination of the interagency programs and initiatives implemented by these groups. Ms. King also serves as the Special Projects Coordinator in which she provides technical writing, analytical, research, and problem solving services for a variety of NCO ITR&D activities. Ms. King joined the NCO in January 2003.

John C. Knight

John C. Knight is a professor of computer science at the University of Virginia. His research interests include safety-critical software engineering for aerospace applications and techniques for securing critical networked information systems.

James Krodel

Michael B. Leahy Jr., Ph.D.

Edward A. Lee

Xiaogong Lee

Mingyan Li

Barbara Lingberg

Scott Lintelman

Lyle Long

Ernest Lucier

At the FAA, Ernest Lucier responsibilities included Acting Chief Scientist for Information Technology in the FAA's Office of the Chief Information Officer (CIO). The mission of this office was to develop, manage, and execute FAA Information Technology (IT) and Information Systems Security (ISS) research and development (R&D) programs. This was accomplished by establishing partnerships with other government agencies (national and international) and academia to leverage their Information Technology (IT)/cyber-security research and development investments for the benefit of the FAA. The goal was to make maximum use of research and development from other government agencies and academia. Ernest Lucier joined the FAA in December 1996 and was the Air Traffic Services ARS Telecommunications Requirements Lead for the FAA Telecommunications Infrastructure (FTI) program before joining AIO. Prior to the FAA, he was at NASA Headquarters where he served as the program manager for the Earth Observation System Data Operations System (EDOS), the ground system to collect the high rates of data from the NASA Earth Observation Satellites and distribute the data for processing. Mr. Lucier graduated from Brown University with a bachelor's degree in aerospace engineering. He is a Senior Member of the American Institute of Aeronautics and Astronautics (AIAA) and a member of the Institute of Electrical and Electronics Engineers, Inc. (IEEE).

David Luginbuhl

Kristinta Lundqvist

Paul Miner

Frank Mueller

Cesar Munoz

Natasha Neogi

Natasha Neogi is an Assistant Professor in Aerospace Engineering and Computer Science at the University of Illinois, Urbana-Champaign. She received her B.Eng. Honours, in Mechanical Engineering from McGill University, and a M.Phil in Physics from Cambridge University. She attained both an M.S. and Ph.D in Aeronautical and Astronautical Engineering from MIT.

Jim Paunicka

Hal Pierson

Radha Poovendran

Calton Pu

Vince Rakauskas

Naveen Rao

Richard V. Robinson

John Rushby

John Rushby received B.Sc. and Ph.D. degrees in computing science from the University of Newcastle upon Tyne in 1971 and 1977, respectively. He joined the Computer Science Laboratory of SRI International in 1983, and served as its director from 1986 to 1990; he currently manages its research program in formal methods and dependable systems. Under his leadership, the program has produced the highly regarded and widely used PVS verification system, the ICS decision procedures, and the SAL suite of model checkers. Prior to joining SRI, he held academic positions at the Universities of Manchester and Newcastle upon Tyne in England. His research interests center on the use of formal methods for problems in the design and assurance of dependable systems.

Dr. Rushby is a member of the IEEE, the Association for Computing Machinery, the American Institute of Aeronautics and Astronautics, and the American Mathematical Society. He is a former associate editor for Communications of the ACM, IEEE Transactions on Software engineering, and Formal Aspects of Computing. He is the author of the (now rather outdated) chapter on formal methods for the FAA Certification Handbook, and is a member of a National Research Council study on dependable software.

Shankar Sastry

Prof. Sastry received his Ph.D. in 1981 from the University of California, Berkeley. He was on the faculty of MIT as assistant professor from 1980–1982 and at Harvard University as a chaired Gordon Mc Kay professor in 1994. He has held visiting appointments at the Australian National University in Canberra, the University of Rome, Scuola Normale, and the University of Pisa, the CNRS laboratory LAAS in Toulouse (poste rouge), Professor Invite at Institut National Polytechnique de Grenoble (CNRS laboratory VERIMAG), and a Vinton Hayes Visiting fellow at the Center for Intelligent Control Systems at MIT. His areas of research are embedded and autonomous software, computer vision, and computation in novel substrates such as DNA, nonlinear and adaptive control, robotic telesurgery, control of hybrid systems, embedded systems, sensor networks and biological motor control.

Krishna Sampigethaya

Johann Schumann

Lui Sha

Lui Sha graduated with Ph.D. from Carnegie Mellon University in 1985. He is a professor of Computer Science in University of Illinois at Urbana Champaign. In 1998, he was elected as an IEEE Fellow "for technical leadership and research contributions, which enabled the transformation of real-time computing practice from an ad hoc process to an engineering process based on analytic methods." He is currently a member of the Executive Committee of IEEE Real Time System technical committee and a member of the US National Academy of Science's study group on software dependability and certification.

Oleg Sokolsky

Oleg Sokolsky is a Research Assistant Professor with the Department of Computer and Information Science at the University of Pennsylvania. His main research interest lies in the application of model-driven and formal development methods to medical devices and other safety-critical embedded systems.

Banavar Sridhar

Banavar Sridhar received the B.E. degree in electrical engineering from the Indian Institute of Science and the M.S. and Ph.D. in electrical engineering from the University of Connecticut. He worked at Systems Control, Inc., Palo Alto, Ca and Lockheed Palo Alto Research Center before joining NASA Ames Research Center in 1986. At NASA, Dr. Sridhar has lead projects on the development of automation tools for rotorcraft and other vehicles. Currently, he serves as Chief, Automation Concepts Branch managing research activities in Next Generation Air Transportation Technologies. His research interests are in the application of modeling and optimization techniques to aerospace systems. Dr. Sridhar received the 2004 IEEE Control System Technology Award for his contributions to the development of modeling and simulation techniques for multi-vehicle traffic networks and advanced air traffic system. He led the development of traffic flow management software, Future ATM Concepts Evaluation Tool (FACET), which received the NASA Software of the Year Award in 2006. He is a Fellow of the IEEE and the AIAA.

Jonathan Sprinkle

Jayakanth Srinivasan

Peter Stanfill

Andrew B. Steinberg

Walter Storm

Salah Sukkarieh

Simon Szykman

Dr. Simon Szykman is the Director of the National Coordination Office (NCO) for Information Technology Research and Development (ITR&D), and is responsible for the coordination of planning, budget, and assessment activities for the Federal Networking and Information Technology R&D Program (NITRD), which conducts fundamental research leading to technological breakthroughs that advance the field of information technology. As NCO Director, Dr. Szykman serves as Co-Chair of the Subcommittee on Networking and Information Technology R&D of the National Science and Technology Council (NSTC), and reports directly to the White House Office of Science and Technology Policy and the NSTC. Dr. Szykman is also the Designated Federal Official for the President's Information Technology Advisory Committee, which is also supported by the NCO.
Dr. Szykman joined the National Coordination Office from the Department of Homeland Security (DHS) Science and Technology Directorate, where he served as the Department's first Director of Cyber Security R&D since late 2003. In that role, he led the development of cyber security R&D plans, programs, and budgets in support of the Department's mission. He also served as Co-Chair of the NSTC's Critical Information Infrastructure Protection Interagency Working Group, and led the development of the Government's first interagency Federal Plan for Cyber Security R&D.

Dr. Szykman joined DHS after an 18-month assignment at the Office of Science and Technology Policy (OSTP). In the role of senior policy analyst, he served as OSTP liaison to the NCO and the NITRD Program. He worked within OSTP to establish, and served as Co-Chair of, the High-End Computing Revitalization Task Force (HECRTF), and covered other Internet-related issues including cyber security.

Prior to joining OSTP, Dr. Szykman was a member of the technical staff at the National Institute of Standards and Technology (NIST), where he led a program component in Intelligent and Distributed Product Development, and also served as a Program Manager and source evaluation board Technical Chair in the Information Technology and Applications Office of NIST's Advanced Technology Program.

Dr. Szykman received Ph.D. and Master of Science degrees from Carnegie Mellon University, a Master of Engineering Management degree from George Washington University, and a Bachelor of Science degree from the University of Rochester.

Tucker Taft

Claire Tomlin

Arnaud Venet

ElRoy Wiens

Reinhard Wilhelm

Don C. Winter

Andres Zellweger

Dr. Zellweger has an extensive background in aviation system engineering and design, research and development (R&D), system acquisition, R&D management, and program management. He earned a Ph.D. (1971) in computer science with a minor in cognitive psychology from the department of Applied Mathematics at Harvard University.

In 1997 Dr. Zellweger was appointed Associate Provost for Graduate Programs and Research at Embry-Riddle Aeronautical University, following a 25-year career with the United States (US) Federal Aviation Administration (FAA). At the FAA held a variety of research, operations research, system engineering, and system acquisition positions. His last position was that of director of the FAA Office of Aviation Research. He was responsible for FAA R&D Policy and served as the FAA's spokesperson for research. He managed the FAA's R&D program as well as the acquisition of $140M of security equipment for major US airports.

At Embry-Riddle his primary job was to foster research activities throughout the University, to build research partnerships with industry, government, and academia and to strengthen Embry-Riddle's graduate programs. Dr. Zellweger was also on the faculty of the Department of Computing and Mathematics where he taught a graduate seminar entitled "Building Safe Systems - Technical, Economic, and Political Perspectives."

Currently, Dr. Zellweger is on an assignment from Embry-Riddle to NASA headquarters, as special assistant for aviation in the Office of Aerospace Technology. Since 2003 he has been seconded by NASA to the interagency Joint Planning Office for the Transformation of the Air Transportation System.

In 1984 he received the Department of Transportation Silver Medal for his conceptual work on the replacement of FAA's air traffic control computer systems. Dr. Zellweger became a member of the Senior Executive Service in 1985. In 1996 Dr. Zellweger was honored with the US Government's Presidential Rank Award.

David von Oheimb