My Picture

Rance Cleaveland

Department of Computer Science
University of Maryland
College Park, Maryland 20742 USA

+1 301-405-8572 (voice), +1 301-405-6706 (fax)

NOTE I am also the Executive and Scientific Director of the Fraunhofer USA Center for Experimental Software Engineering.
NOTE Reactive Systems, Inc., a company I cofounded, makes the Reactis® model-based testing and validation tool for embedded software.
NOTE The Concurrency Workbench of the New Century (Version 1.2) (formerly the Concurrency Workbench of North Carolina) is ready for release!

Curriculum Vitae (pdf)


My research interests fall in the area formal methods for desciption and analysis of concurrent and distributed systems. Specific area I work in include process algebra ... temporal logic ... analysis algorithms for finite-state systems ... automatic verification tools ... semantic models of system behavior ... operational semantics.



...for Spring 2008

CMSC 630: Theory of Programming Languages. Note that UMD Blackboard access is necessary to see course web materials.

Miscellaneous Stuff

I used to be on the Computer Science faculty at the State University of New York at Stony Brook and, before that, at North Carolina State University .
Rance Cleaveland
Last modified: Mon Jan 28 17:46:21 Eastern Standard Time 2008