Faculty Directory

Cleaveland, W. Rance

Cleaveland, W. Rance

Professor
Division Director for Computing and Communication Foundataions, NSF 2018–present
Computer Science
The Institute for Systems Research
University of Maryland Institute for Advanced Computer Studies
5160 Iribe Center
Website(s):

Rance Cleaveland is Professor of Computer Science at the University of Maryland. He holds a joint appointment with the Institute for Systems Research. Since 2018, he has also been serving 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 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.

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.

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.