Headshot
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