June 12, 2018 — The NSF has appointed Dr. Rance Cleaveland as Division Director for the Division of Computing and Communication Foundations. The organization announced the appointment in a letter from Erwin Gianchandani, Acting Assistant Director of the National Science Foundation Directorate for Computing and Information Science and Engineering (CISE):
Dear CISE Community,
The NSF Directorate for Computer and Information Science and Engineering (CISE) is delighted to announce the appointment of Dr. Rance Cleaveland as the Division Director for the Division of Computing and Communication Foundations (CCF), effective July 9, 2018.
Rance will be joining NSF/CISE from the University of Maryland at College Park (UMD), where he is currently Professor of Computer Science and was the Executive and Scientific Director of the Fraunhofer USA Center for Experimental and Software Engineering until 2014. Prior to joining the UMD faculty in 2005, he held professorships at the State University of New York at Stony Brook and North Carolina State University (NCSU). Rance is also co-founder of Reactive Systems, Inc., a company that makes model-based testing tools for embedded software.
Rance is a leading scholar in software systems, having published more than 140 papers on a range of topics including software specification formalisms, software architecture, software verification and validation, formal methods, and model checking.
He has received a number of awards research and teaching activities throughout his career. For example, he is a past recipient of National Young Investigator Awards from NSF and the Office of Naval Research, as well as the NCSU Alcoa Engineering Research prize. He has also won undergraduate teaching awards from UMD and NCSU.
Rance serves on several journal editorial boards and is co-founder and steering committee member of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, a preeminent conference in the area of formal methods.
Rance received B.S. degrees in mathematics and computer science from Duke University in 1982, and M.S. and Ph.D. degrees in computer science from Cornell University in 1985 and 1987, respectively.
I would also like to take this opportunity to thank Dr. Bala Kalyanasundaram for his outstanding service as Acting Division Director for CCF since February 2018. Bala, who is in his second tour of duty with CISE/CCF [he previously served as Program Director in the Algorithmic Foundations (AF) cluster], has stewarded the division’s engagement in several new activities, including the Formal Methods in the Field (FMitF) program and the NSF Quantum Leap (QL) Big Idea. Bala will resume serving as Program Director in the AF cluster upon Rance’s arrival.
Beginning July 9, Rance will be located in W 10231 and may be reached at x8910; and Bala will be located in C 10200 and may be reached at x7033.
Please join me in welcoming Rance and thanking Bala for all his continuing contributions to CCF, CISE, and NSF!
Erwin Gianchandani, Ph.D.
Acting Assistant Director (AD) of NSF for CISE