|Gail E. Kaiser is a Professor of Computer Science in the Computer Science Department at Columbia University. She is affiliated with the Programming Systems Lab (PSL) and the Software Systems Lab (SSL). Prof. Kaiser conducts research in software engineering and security from a systems perspective, focusing on program analysis and software testing. 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. In recent years her work in program analysis ranges across static and dynamic techniques, across source code and executable (bytecode/binaries) targets, and investigates AI4SE as well as SE4AI. Prof. Kaiser received her PhD from CMU and her ScB from MIT. CV. Google Scholar.|
Prof. Kaiser will teach COMS E6156 Topics in Software Engineering in Spring 2023. Her section of 6156 is a graduate seminar oriented towards students who aspire to be researchers or technology leaders and who are highly self-motivated to pursue their own forward-looking topic within software engineering, broadly construed. 6156 is not "more" 4156, and not "more advanced" 4156. 4156 is about doing software engineering, and 6156 is about improving software engineering including software security. More details are posted here. 6156 is a track elective for the Software Systems track and is accepted for the Computer Security track for students who choose security or privacy topics. It may be accepted as a track elective for other tracks whose students choose topics relevant to their track - contact your track advisor: students in all other MS area tracks have successfully received track credit for 6156 since the course accommodates very broad interests. 6156 is a technical elective for all CS MS and undergraduate tracks. To be accepted off the waitlist to enroll in the course, students must submit "homework zero", which is posted here. Prerequisites: Students should have already completed at least one 4k level software systems course at Columbia (any 41xx course except not 416x/417x), preferably 4156 or 4181. Important note: Prof. Kaiser's course is not related to Prof. Ferguson's Cloud Computing course, which is offered as 6156 with a different section number, although cloud computing is acceptable as a student-specific topic.
Current PSL Doctoral Students:
Former PSL Doctoral Students, MS GRAs, MS thesis students, Staff and Visiting Researchers (suggestions for missing or updating links are appreciated):
Prof. Kaiser's Greatest Achievement
Prof. Gail E. Kaiser
Department of Computer Science
[office: 607 CEPSR]
[US mail: 1214 Amsterdam Avenue
Mail Code 0401]
500 W. 120th St., Room 450]
New York, NY 10027
September 6, 2022.
Copyright © Gail E. Kaiser.