Clark School Home UMD
Return to Faculty Directory

Cleaveland, W. Rance

Professor
Executive and Scientific Director, Fraunhofer Center
4111 A.V. Williams Bldg.
Phone: 
301.405.8572
Fax: 
301.314.9920

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.

Video 

Background 

View Dr. Cleaveland's CV here.


Related News 

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