Headshot
Rance Cleaveland
Professor

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