Brief Biography: Rance Cleaveland
Rance Cleaveland is Professor of Computer Science at the University of
Maryland (UMD) at College Park, where he also serves as the Associate Dean for Research
in the College of Computer, Mathematical and Natural Sciences. He is a Fellow of the IEEE.
From 2018-2022 he was the Division Director of the Computing and Communication Foundations (CCF) division
within the Computer and Information Science and Engineering (CISE) directorate of the National Science Foundation.
From 2005 to 2014 he held the position of the Executive and Scientific
Director of the Fraunhofer USA Center for Experimental and Software
Engineering in College Park. Prior to joining the UMD faculty in 2005, he had
professorships at Stony Brook University and
at North Carolina State University (NCSU). He is a co-founder, past CEO and current chairman of the board of Reactive
Systems, Inc., and a past recipient of National Young Investigator Awards from the National Science Foundation
and the Office of Naval Research and the Alcoa Engineering Research prize from North Carolina State University.
He has also won undergraduate teaching awards from UMD and NCSU. He has published over 150 papers in the
areas of software verification and validation, formal methods, model
checking, software specification formalisms, verification tools, software testing, and software architecture.
Cleaveland received B.S. degrees in Mathematics and Computer Science
from Duke University in 1982 and M.S. and Ph.D. degrees from
Cornell University in 1985 and 1987, respectively.
Last modified: 2:50 PM Saturday, March 25, 2023