Cleaveland, W. Rance
Associate Dean for Research, College of Computer, Mathematical and Natural Sciences
NSF Division Director for Computing and Communication Foundations, 2018-2022
The Institute for Systems Research
Rance Cleaveland is Professor of Computer Science at the University of Maryland, with a joint appointment in the Institute for Systems Research. He is the associate dean for research in the College of Computer, Mathematical and Natural Sciences. From 2018 to 2022, Cleaveland served as Division Director of the Computing and Communication Foundations (CCF) division within the Computer and Information Science and Engineering (CISE) directorate of the National Science Foundation. From 2005 to 2014 he held the position of the Executive and Scientific Director of the Fraunhofer USA Center for Experimental and Software Engineering in College Park. Prior to joining the UMD faculty in 2005, he had professorships at the State University of New York at Stony Brook and at North Carolina State University (NCSU). He is a co-founder, past CEO and current chairman of the board 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 more than 250 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.
Formal methods for desciption and analysis of concurrent and distributed systems. Process algebra, temporal logic, analysis algorithms for finite-state systems, automatic verification tools, semantic models of system behavior, operational semantics. System modeling, system verification, software testing.