Rance Cleaveland
Professor
Department of Computer Science
AV Williams Building
University of Maryland
College Park, Maryland 20742
USA
UMD E-mail:
rance@cs.umd.edu
UMD Voice:
+1 301-405-8572 (office)
+1 703-585-7518 (cell)
UMD Fax:
+1 301-405-6706
UMD Office:
4111 AV Williams
I am currently detailed to the
National Science Foundation (NSF)
to serve as
Division Director for
Computing and Communication Foundations (CCF)
.
NSF E-mail:
wrcleave@nsf.gov
NSF Voice:
+1 703-292-8910
NSF Fax:
+1 703-292-9455
NSF Office:
Room W 10231
National Science Foundation
2415 Eisenhower Ave.
Alexandria, VA 22314 USA
Professional Info [
Brief bio
|
CV
|
LinkedIn
]
Other Affiliations
[
National Science Foundation
|
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
|
Personal list (out of date)
]
Projects [
CyberCardia
|
UML-VT
]
Software [
Concurrency Workbench (coming soon)
|
Reactis® (commercial)
]
Recent Teaching [
CMSC 630 / 498G (Spring 2018)
|
CMSC 433 (Fall 2017)
]
Last modified: 11:11 AM Tuesday, September 11, 2018