CISE Announce: Appointment of Rance Cleaveland as Division Director for CISE/CCF

June 21, 2018

The message below was sent to the CISE Announce Listserv on Thursday, June 7, 2018.

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, Acting Assistant Director (AD) of NSF for CISE

Information about the CISE Announce listserv:
*If you do not wish to receive these emails, you can unsubscribe at any time by sending an email to
*Anyone interested in subscribing can join by sending an email to

Special thanks to the search committee members who helped to identify candidates for this important position: Avrim Blum, Carnegie Mellon University; Sharon Hu, University of Notre Dame; Muriel Medard, Massachusetts Institute of Technology; Greg Morrisett, Cornell University; John Reppy, University of Chicago; Tim Roughgarden, Stanford University; Moshe Vardi, Rice University; and Ken Calvert, who served as the NSF liaison to the search committee.

This news was also posted by the University of Maryland.

The U.S. National Science Foundation propels the nation forward by advancing fundamental research in all fields of science and engineering. NSF supports research and people by providing facilities, instruments and funding to support their ingenuity and sustain the U.S. as a global leader in research and innovation. With a fiscal year 2023 budget of $9.5 billion, NSF funds reach all 50 states through grants to nearly 2,000 colleges, universities and institutions. Each year, NSF receives more than 40,000 competitive proposals and makes about 11,000 new awards. Those awards include support for cooperative research with industry, Arctic and Antarctic research and operations, and U.S. participation in international scientific efforts.

mail icon Get News Updates by Email 

Connect with us online
NSF website:
NSF News:
For News Media:
Awards database:

Follow us on social