Rance Cleaveland

Professor
CMNS Associate Dean for Research
Email: rance
cs[.dot.]umd[.dot.]edu
Phone:
(301) 405-8572
Location:
IRB 5160
Website:
Google Scholar:
Education:
- Ph.D., Cornell University, 1987
Appointments:
CS, UMIACS, ISR
Research Areas:
Interest Areas:
formal methods, model checking, software testing, software verification and validation
Honors and Awards
| Year | Type | Org. | Name |
|---|---|---|---|
| 2022 | Fellow | IEEE |
IEEE Fellow For contributions to verification tools for finite-state and cyber-physical systems. |
| 1992 | Award | NSF |
NSF National Young Investigator |
| 1992 | Award |
ONR Young Investigator |