Rance Cleaveland (1961-2024)
Professor
CMNS Associate Dean for Research
Email: rancecs[.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
Biography
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.
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 |