Colloquium: “Everything You Always Wanted To Know about the NSF … But Were Afraid to Ask”

Colloquia
November 19, 2018 - 11:15am to 12:30pm
Affiliation: 
NSF
Location: 
3-180 Keller Hall
Host: 
Mats Heimdahl

Bio: 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.

Abstract: The National Science Foundation (NSF) is the premier 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 at colleges/universities throughout the country.  CISE’s Computing and Communication 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 $200 million 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.