Sol Greenspan

Sol Greenspan is a Program Director in the Directorate for Computer & Information Science and Engineering (CISE), where his core program responsibilities encompass software engineering, programming languages and formal methods. He also serves as program director for the Secure and Trustworthy Cyberspace program, National AI Institutes, and Design of Accountable Software Systems. 

Prior to coming to NSF, Dr. Greenspan led R&D groups in industrial research labs (Bell Laboratories, GTE Laboratories, and Schlumberger-Doll Research). He has held positions at University of Toronto, UCL, and WPI and was a research affiliate at 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, and has served on the editorial boards, since their inception, of the Automated Software Engineering Journal and the Requirements Engineering Journal,  and previously 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.