معرفی
Gail E. Kaiser is a Professor of Computer Science at Columbia University, where she conducts research in software engineering and security from a systems perspective. Her work spans program analysis, software testing, and pioneering applications of AI to software engineering (AI4SE) and vice versa (SE4AI), with significant contributions dating back to the 1980s.
Education:
- PhD from Carnegie Mellon University
- ScB from Massachusetts Institute of Technology
Research Focus: Professor Kaiser's work centers on static and dynamic program analysis, software testing, and software security. She pioneered applying software engineering testing techniques (particularly metamorphic testing) to machine learning software (SE4AI) during her 2005-2006 sabbatical at Columbia's Center for Computational Learning Systems. Her historical contributions include semantics-focused language-based editors (1980s-1990s, precursors to modern IDEs) and self-adaptation techniques for cloud computing (late 1990s-2000s).
Publication Trends: Recent publications (2020-2024) reveal intense focus on AI-software engineering intersections: developing code generation/refinement systems (CYCLE), cross-lingual code search models (REINFOREST), execution-aware pre-training (TRACED), and specialized testing for deep learning systems. Her work consistently bridges traditional program analysis with cutting-edge AI methodologies to solve complex software quality challenges.
Academic Service: Kaiser maintains active leadership in the research community through program committee roles at top conferences including PLDI, ICSE, ESEC/FSE, ASE, and SPLASH from 2013-2025. Her GitHub profile (gailkaiser) hosts course materials like COMS W4156 Advanced Software Engineering, demonstrating ongoing educational impact.
