Cyberinfrastructure for Sustained Scientific Innovation (CSSI):
Formal Methods in the Field (FMitF)
NSF/Intel Partnership on Computer Assisted Programming for Heterogeneous Architectures (CAPA)
Secure and Trustworthy Cyberspace (SaTC)
Secure and Trustworthy Cyberspace Frontiers (SaTC Frontiers)
Sol Greenspan came to NSF in 2002 as Program Director for the Software Engineering and Languages Program. In the current organization of the Directorate for Computer & Information Science and Engineering (CISE), he resides in the Division of Computing and Communication Foundations (CCF) where his responsibilities include the Software and Hardware Foundations (SHF) program's and the Secure and Trustworthy Cyberspace (SaTC) program.
Prior to coming to NSF, Dr. Greenspan led research and technology transfer in industrial research labs (Bell Laboratories, GTE Laboratories, and Schlumberger-Doll Research) and has taught at the University of Toronto, UCL, and WPI and was a visitor to MIT from 2003-2012. He has consulted for industry and governments in the U.S., Canada and Europe and has served on many blue-ribbon panels for research laboratories and government agencies.
Dr. Greenspan has served on the editorial boards, since their inception, of the Automated Software Engineering Journal and the Requirements Engineering Journal, served for 10 years on the board of IEEE Communications Magazine. He was a founder of International Workshop on Software Specification and Design, the IFIP Working Group 2.9 on Software Requirements Engineering,and the International Symposium on Requirements Engineering.
Dr. Greenspan received his Ph.D. degree in Computer Science from the University of Toronto for work in the intersection of artificial intelligence and Software Engineering. His M.S. in Computer Science is from Rutgers University, he has a B.S. in Mathematics from the University of Michigan.