Brief Biography: Rance Cleaveland

Rance Cleaveland is Professor of Computer Science at the University of Maryland (UMD) at College Park, where he is also Executive and Scientific Director of the Fraunhofer USA Center for Experimental and Software Engineering. Prior to joining the UMD faculty in 2005, he held professorships at the State University of New York at Stony Brook and at North Carolina State University (NCSU). He also co-founded Reactive Systems, Inc., in 1999 to commercialize tools for model-based testing of embedded software. In 1992 he received Young Investigator Awards from the US National Science Foundation and from the Office of Naval Research; in 1994 he was awarded the Alcoa Engineering Research Achievement prize at North Carolina State University; and in 1991 and 2011 he received teaching awards from NCSU and UMD, respectively. He has published over 130 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 (summa cum laude) 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: 9:44 AM Monday, September 22, 2014