W. Rance Cleaveland

Professor Computer Science and ISR Executive and Scientific Director Fraunhofer USA Center for Experimental Software Engineering 4169 A.V. Williams Bldg. University of Maryland, College Park, MD 20742 301/405-8572 TEL 301/314-9920 FAX rance@cs.umd.edu Personal home page

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.

Background Information

View Dr. Cleaveland's CV here.

Links

Department of Computer Science
Fraunhofer USA Center for Experimental Software Engineering
Reactive Systems, Inc.
Concurrency Workbench of the New Century

[ Return to ISR Home Page ]
[ Return to ISR Faculty Home ]