Rance Cleaveland
Professor
On March 27, 2024, our leader, colleague, and friend, Professor Rance Cleaveland, passed away. The Department of Computer Science's website has a
tribute
to Rance's life and work. Our thoughts are with his family at this difficult time.
Department of Computer Science
Brendan Iribe Center for Computer Science and Engineering
University of Maryland
College Park, Maryland 20742
USA
E-mail:
wcleavel@umd.edu
Faculty Office:
5160 Iribe
Faculty Voice:
+1 301-405-8572
Faculty Fax:
+1 301-405-6706
Personal Cell:  
+1 703-585-7518
I am the
Associate Dean for Research
in the
College of Computer, Mathematical and Natural Sciences
at UMD.
Office:
3427 AV Williams Building
Voice:
+1 301-405-2327
I am a
Fellow
of the
Institute for Electrical and Electronics Engineers (IEEE).
From 2018-2022 I served as
Division Director
for
Computing and Communication Foundations
at the US
National Science Foundation
.
Professional Info [
Brief bio
|
CV
|
Résumé (two pages)
|
LinkedIn
]
Other Affiliations
[
Institute for Advanced Computing Studies (UMIACS)
|
Institute for Systems Research (ISR)
|
Reactive Systems Inc.
(Co-founder and Chairman of Board)
]
Research Interests [
Formal methods
|
Temporal logic
|
Process algebra
|
Verification tools
|
Cyber-physical systems
|
Software testing
]
Publications [
Google Scholar
|
DBLP
]
Software [
Concurrency Workbench
|
Reactis® (commercial)
]
Recent Teaching [
CMSC 630 (Fall 2022)
]
Last modified: 8:25 AM Sunday, March 26, 2023