College of Computer, Mathematical, and Natural Sciences
University of Maryland Department of Computer Science Professor Rance Cleaveland has been named director of the Division of Computing and Communication Foundations (CCF) at the National Science Foundation (NSF) for a three-year term, effective July 9, 2018.
“Rance has a remarkable ability to bring together teams of outstanding researchers for high-impact computing projects. He is well-positioned to identify breakthrough opportunities and meaningfully advance computing research across the nation,” said Amitabh Varshney, dean of the UMD College of Computer, Mathematical, and Natural Sciences. “His selection is a testament to his leadership in the computer science community, and I know that his knowledge and expertise will serve the division well.”
CCF supports nearly $200 million in research and education projects through three core programs: algorithmic foundations, communications and information foundations, and software and hardware foundations. CCF-supported projects investigate revolutionary computing models and technologies based on emerging scientific ideas, and integrate research and education activities to prepare future generations of computer science and engineering workers.
“CCF is important because it supports and helps catalyze fundamental research that forms the basis for the future education of computer scientists,” said Cleaveland, who also has an appointment in the University of Maryland Institute for Advanced Computer Studies. “That research also becomes the underpinnings of research done by other scientists, engineers and researchers. CCF’s work has tremendously broad applications in and out of computing.”
Cleaveland’s personal research focuses on developing theoretical and applied methods for validating and verifying computer code, software packages and computing devices. Starting with an NSF Graduate Research Fellowship as a Ph.D. student at Cornell University, NSF has awarded Cleaveland multiple grants over the years, including an NSF Young Investigator award. In addition, Cleaveland co-founded a company, Reactive Systems, with funding from the NSF Small Business Innovation Research program in 1999. Cleaveland remains chairman of the board of the company, which tests computer code for …