Everything You Always Wanted To Know about the NSF ... But Were Afraid to Ask

Duke Computer Science Colloquium
Speaker Name
W. Rance Cleaveland II
Date and Time
Lunch served at 11:45 am.

The National Science Foundation (NSF) is the premiere federal agency for funding non-medical basic scientific research in the US.  Within NSF, the Computer and Information Science and Engineering (CISE) directorate provides over 80% of the federal funding for basic computing research.  CISE’s Computing and Communications Foundations (CCF) division, which I head, oversees CISE’s efforts on the foundations of computing, from algorithms, programing languages, software engineering and hardware design to information theory and future computing paradigms.  Each year CCF is responsible for distributing nearly $200m in funding to support research, and related educational activities, in these areas.

In this talk I will give a “behind-the-scenes peek” at how CCF, and CISE, operate, and also discuss current and future trends, opportunities and challenges facing the CCF and CISE communities.

Short Biography

Rance Cleaveland is the Director of the Computing and Communications Foundations (CCF) Division within the Computing and Information Science and Engineering (CISE) Directorate of the National Science Foundation.  He is also a Professor of Computer Science at the University of Maryland at College Park (UMD), where his research focuses on formal methods for system verification.  Prior to joining the UMD faculty in 2005, he held professorships at the State University of New York at Stony Brook and at North Carolina State University (NCSU). He is a co-founder of Reactive Systems, Inc., a company that makes model-based testing tools for embedded software, and a past recipient of National Young Investigator Awards from the National Science Foundation and the Office of Naval Research and the Alcoa Engineering Research prize from North Carolina State University. He has also won undergraduate teaching awards from UMD and NCSU. He has published over 140 papers in the areas of software verification and validation, formal methods, model checking, software specification formalisms, verification tools, software testing, and software architecture. Cleaveland received B.S. degrees (summa cum laude) in Mathematics and Computer Science from Duke University in 1982 and M.S. and Ph.D. degrees from Cornell University in 1985 and 1987, respectively.

Pankaj Agarwal