FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Gail Kaiser

Registered user since Mon 8 Feb 2016

Name:Gail Kaiser
Bio:

Gail E. Kaiser is a Professor of Computer Science at Columbia University. She conducts research in software engineering and security from a systems perspective, focusing on program analysis and software testing. Her current work ranges across both static and dynamic program analysis techniques, and across source code and executable (bytecode/binaries) targets. She also investigates machine learning techniques to solving software engineering problems (AI4SE).

In the 1980s and 1990s, Kaiser investigated semantics-focused extensions to language-based editors and process-oriented team software development environments, forerunners to today’s IDEs and Continuous Integration, and in the late 1990s and early 2000s she investigated self-adaptation for the then-emerging cloud computing, particularly techniques for retrofitting legacy systems. Since then she has concentrated on testing and analysis. Beginning with her sabbatical at Columbia’s Center for Computational Learning Systems in 2005-2006, Kaiser and her former PhD student Chris Murphy were among the first to adapt software engineering testing techniques, particularly metamorphic testing, to finding bugs in machine learning software (SE4AI). Prof. Kaiser received her PhD from CMU and her ScB from MIT.

Country:United States
Affiliation:Columbia University
Research interests:software systems, static and dynamic program analysis, software testing, software security, applications of AI to software engineering and vice versa

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile