Computing Community Consortium Blog

The goal of the Computing Community Consortium (CCC) is to catalyze the computing research community to debate longer range, more audacious research challenges; to build consensus around research visions; to evolve the most promising visions toward clearly defined initiatives; and to work with the funding organizations to move challenges and visions toward funding initiatives. The purpose of this blog is to provide a more immediate, online mechanism for dissemination of visioning concepts and community discussion/debate about them.

NSF Appointment of Dr. Rance Cleaveland as Division Director for the NSF/CISE Division of Computing and Communication Foundations (CCF)

June 11th, 2018 / in Announcements, NSF, Research News / by Helen Wright

NSF logoThe following is a letter to the community from Erwin Gianchandani, Acting Assistant Director, of the National Science Foundation (NSF) Directorate of Computer & Information Science & 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!

Best,

Erwin Gianchandani, Ph.D.
Acting Assistant Director (AD) of NSF for CISE

Disclaimer: Posts on this blog report on happenings, opportunities, and issues that arise in the broad computing research community, and do not necessarily reflect the opinion of the CCC or the National Science Foundation.


Related posts:

  1. NSF/CISE Launches Search Committee for Computing and Communication Foundations (CCF) Division Director
  2. Deputy Division Director Position Available at NSF CISE
  3. National Science Foundation Appoints new Division Director for the Division of Computing and Communications Foundations
  4. NSF/CISE Appoints Dr. Henry Kautz as Division Director for the Division of Information and Intelligent Systems
  5. Division Director Position Available at NSF CISE
NSF Appointment of Dr. Rance Cleaveland as Division Director for the NSF/CISE Division of Computing and Communication Foundations (CCF)

Comments are closed.