Gail Kaiser

Dr. Gail Kaiser is a Professor of Computer Science at Columbia University, where she has served for 40 years. She directs the Programming Systems Lab (PSL) and is affiliated with the Software Systems Lab (SSL). Her research focuses on software systems, program analysis, testing, security, and AI-driven software engineering. She earned her PhD from Carnegie Mellon University and a BS from MIT.

Education:

• PhD in Computer Science, Carnegie Mellon University (1985)
• MS in Computer Science, Carnegie Mellon University (1980)
• BS in Computer Science and Engineering, MIT (1979)

Research & Teaching: Dr. Kaiser teaches COMS W4156 (Advanced Software Engineering) and COMS E6156 (Topics in Software Engineering). Her work spans metamorphic testing for machine learning, secure computing, and AI in SE. Notable contributions include pioneering metamorphic testing for classifiers and secure containers research.

Awards & Grants:

• 2025 Distinguished Journal Award (ICST)
• NSF grants totaling over $2M for secure computing and software assurance
• ACM SIGSOFT Distinguished Paper Awards (2023, 2014)

Labs & Collaborations: Her labs (PSL and SSL) drive innovation in program analysis and security. Collaborations include DARPA, NIH, and industry partners like IBM and Microsoft.