Follow this link to go to the text only version of


NASA - National Aeronautics and Space Administration
Follow this link to skip to the main content
+ Contact NASA
About NASA button News and Events Button Multimedia button Missions button popular topics button MyNASA button
NFM 2012 4th NASA Formal Methods Symposium
NFM 2012 rollover for nfm home page
nfm 2012 rollover for submissions page
nfm 2012 rollover for registration page
NFM 2012 travel rollover
NFM accepted papers rollover
NFM 2012 program rollover
NFM 2012 Invited Speakers
NFM 2012 Local Information Rollover
NFM 2012 History rollover
  NFM 2012 4th NASA Formal Methods Symposium header image
  Andrew Appel, Princeton University
  appel image Andrew W. Appel is Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University. He is a member of Princeton's Center for Information Technology Policy. His research is in computer security, programming languages and compilers, automated theorem proving, and technology policy. He received his A.B. summa cum laude in physics from Princeton in 1981, and his PhD in computer science from Carnegie Mellon University in 1985. He has been Editor in Chief of ACM Transactions on Programming Languages and Systems and is a Fellow of the ACM (Association for Computing Machinery).
  Patrick Cousot, École Normale Supérieure, Paris and New York University
  cousot image Patrick Cousot, together with Radhia Cousot, is the originator of abstract interpretation. His current research is focused on practical methods of static analysis for critical embedded software, such as found in avionics and well as theoretical foundations such as termination verification. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991. As of March 2008, Cousot is a Professor of Computer Science at New York University. He has previously held positions at École Polytechnique (X, 1984-1997), University of Metz (1979-1984), and as Research Scientist at the French National Center for Scientific Research (CNRS, 1974-1979), at the University of Grenoble.
  Cesare Tinelli, University of Iowa
  tinelli image Dr. Cesare Tinelli is an associate professor of Computer Science at the University of Iowa. He received a PhD in Computer Science from the University of Illinois at Urbana-Champaign in 1999. His research interests include automated reasoning, formal methods, software verification, foundations of programming languages, and applications of logic in computer science. He is a founder and leader of the SMT-LIB initiative, an international effort aimed at standardizing benchmarks and I/O formats for Satisfiability Modulo Theories solvers. He received an NSF CAREER award in 2003 for a project on improving extended static checking of software by means of advanced automated reasoning techniques, and a Haifa Verification Conference award in 2010 for his role in building and promoting the SMT community.





usa gov logo

+ Freedom of Information Act
+ NASA Web Privacy Policy and Important Notices

get adobe reader

get adobe flash player
NASA - National Aeronautics and Space Administration

NASA Official: Suzette Person
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
ast Updated: October 24, 2011