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 |