Rance Cleaveland Professor Department of Computer Science AV Williams Building University of Maryland College Park, Maryland 20742 USA E-mail:   rance@cs.umd.edu Voice:   +1 301-405-8572 (office) +1 703-585-7518 (cell) Fax:   +1 301-405-6706 Office:   4111 AV Williams

---

Professional Info [   Brief bio   |   CV   |   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   |   Personal list (out of date)   ]

Projects [   CyberCardia   |   UML-VT   ]

Software [   Concurrency Workbench (coming soon)   |   Reactis® (commercial)   ]

---

Recent Teaching [   CMSC 838M (Spring 2017) CMSC 433 (Fall 2017)   ]

---

Last modified: 8:43 AM Monday, January 29, 2018