Elizabeth Polgreen
PulseAugur coverage of Elizabeth Polgreen — every cluster mentioning Elizabeth Polgreen across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
AI to aid formal verification discussed at FMAS2026
Dr. Elizabeth Polgreen is scheduled to present at the FMAS2026 conference. Her talk, titled "Reading Between the Lines of Code," will delve into specification mining techniques. The presentation will also cover how arti…
-
FMAS 2026 workshop announces invited speakers Nils Jansen and Elizabeth Polgreen
The Formal Methods in Artificial Intelligence and Software Engineering (FMAS) workshop for 2026 has announced its invited speakers. Professor Nils Jansen from Ruhr-University Bochum and Radboud University Nijmegen, and …
-
Dr. Elizabeth Polgreen to speak at FMAS2026 on AI synthesis
Dr. Elizabeth Polgreen will be an invited speaker at the FMAS2026 conference. Her work focuses on formal methods and machine learning-based synthesis, aiming to enhance the scalability of verification processes.