Main navigation | Main content
Rance Cleaveland is Professor of Computer Science at the University of Maryland 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 Maryland faculty, he held professorships at the State University of New York at Stony Brook and at North Carolina State University. He also co-founded Reactive Systems, Inc., in 1999 to commercialize tools for model-based testing of embedded software; Reactive Systems currently has numerous customers worldwide in the automotive and aerospace industries. He is a past recipient of Young Investigator Awards from the National Science Foundation and from the Office of Naval Research. He has published over 125 papers in the areas of software verification and validation, formal methods, model checking, software specification formalisms, and verification tools. Cleaveland received B.S. degrees in Mathematics and Computer Science from Duke University and his M.S. and Ph.D. degrees from Cornell University. He is a member of IEEE, the Association for Computing Machinery, and the Society for Automotive Engineering.