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 email@example.com.
*Anyone interested in subscribing can join by sending an email to firstname.lastname@example.org.
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 National Science Foundation (NSF) is an independent federal agency that supports fundamental research and education across all fields of science and engineering. In fiscal year (FY) 2018, its budget is $7.8 billion. NSF funds reach all 50 states through grants to nearly 2,000 colleges, universities and other institutions. Each year, NSF receives more than 50,000 competitive proposals for funding and makes about 12,000 new funding awards.
Useful NSF Web Sites:
NSF Home Page: https://www.nsf.gov
NSF News: https://www.nsf.gov/news/
For the News Media: https://www.nsf.gov/news/newsroom.jsp
Science and Engineering Statistics: https://www.nsf.gov/statistics/
Awards Searches: https://www.nsf.gov/awardsearch/