Clark School Home UMD
Return to Faculty Directory

Cleaveland, W. Rance

Rance Cleaveland
NSF-CISE Division Director for Computing and Communication Foundations
4111 A.V. Williams Bldg.

Research Interests 

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.



View Dr. Cleaveland's CV here.

Related News 

Five recipients of ISR Graduate Student Travel Award announced
Eight graduate students have received funding through the award since 2017. August 24, 2018

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. September 13, 2017

Rance Cleaveland part of 'CyberHeart' cyber-physical systems grant
Professor is building sophisticated digital platform for testing and prototyping implantable cardiac devices. May 19, 2015

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. August 29, 2014

2011 ISR Awards Ceremony winners announced
Awards given to faculty, staff, graduate and undergraduate students. June 2, 2011

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. March 24, 2010

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. August 14, 2009

Barua, Cleaveland, Sussman win DARPA funding for AESOP project
UMD will collaborate with Princeton, BAE Systems to compile serial programs into parallel programs. July 29, 2009

Rance Cleaveland interviewed for medical device software story
Article appeared in July 1 Baltimore Sun. July 16, 2008

Chopra, Cleaveland, Kanold join ISR this fall
Faculty bring expertise in control, neuroscience and concurrent and distributed systems. August 14, 2007