Rance Cleaveland

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
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