Faculty Directory

Cleaveland, W. Rance

Cleaveland, W. Rance

Associate Dean for Research, College of Computer, Mathematical and Natural Sciences
NSF Division Director for Computing and Communication Foundations, 2018-2022
Computer Science
The Institute for Systems Research
5160 Iribe Center

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.

View Dr. Cleaveland's publications on Google Scholar.

Remembering Rance Cleaveland (1961-2024)

The UMD community mourns Cleaveland, professor and associate dean for research at CMNS.

Rance Cleaveland named CMNS Associate Dean for Research

The ISR faculty member will work closely with departments and research institutes and centers, including ISR.

Thoughts from Rance Cleaveland on his time at the National Science Foundation

Cleaveland spent three years directing NSF's Division of Computing and Communications Foundations.

Rance Cleaveland elevated to IEEE Fellow

Professor recognized "for contributions to verification tools for finite-state and cyber-physical systems."

Five recipients of ISR Graduate Student Travel Award announced

Eight graduate students have received funding through the award since 2017.

Three ISR graduate students win new travel award

Bhaskar Ramasubramian, Hossein Salami, and Sayyed Sina Miran will receive funding to help defray the cost of presenting their research at a professional conference.

Rance Cleaveland part of 'CyberHeart' cyber-physical systems grant

Professor is building sophisticated digital platform for testing and prototyping implantable cardiac devices.

Cleaveland, Marcus win NSF grant to develop models for cyber-physical systems

New mathematical techniques will develop more realistic models of these systems and better predict their behavior.

2011 ISR Awards Ceremony winners announced

Awards given to faculty, staff, graduate and undergraduate students.

Rance Cleaveland interviewed for TV news story on Toyota sudden acceleration

ISR faculty member is asked about the possibility of electromagnetic interference being a cause.

Cleaveland, Marcus part of $10 million NSF collaborative research grant

The project focuses on model checking and abstract interpretation for embedded control and systems biology. Maryland's portion is $1.8M.

Barua, Cleaveland, Sussman win DARPA funding for AESOP project

UMD will collaborate with Princeton, BAE Systems to compile serial programs into parallel programs.

Rance Cleaveland interviewed for medical device software story

Article appeared in July 1 Baltimore Sun.

Chopra, Cleaveland, Kanold join ISR this fall

Faculty bring expertise in control, neuroscience and concurrent and distributed systems.

Institute of Electrical and Electronics Engineers (IEEE)