The Speakers

Amal Ahmed is a Professor at the Khoury College of Computer Sciences at Northeastern University. She received her PhD from Princeton University, where she developed the first step-indexed model of higher-order state, showing how to scale logical relations to realistic languages. The technique is now widely used for semantic type soundness for numerous languages, verification of shared-memory concurrency, and as a foundation for the Iris program logic. Her recent work focuses on correct and secure compilation, safe language interoperability, an advanced type system atop WebAssembly called RichWasm, semantics of Rust, gradual typing, and logics for probabilistic programming languages. She served as Program Chair for OOPSLA'22 and POPL'23 and has been a frequent lecturer at the Oregon PL Summer School (OPLSS). 

Sandra works on combinatorial and logical approaches to graph comparison. She received the Ackermann Award in 2021, the EACSL Outstanding Dissertation Award for Logic in Computer Science. After her Ph.D. studies, Sandra was a postdoctoral researcher at RWTH Aachen University and at the University of Warsaw in Poland, as well as a research group leader at Max Planck Institute for Software Systems in Saarbrücken, Germany. She is now a Glasstone Research Fellow in Computer Science at the University of Oxford and a Junior Research Fellow at Jesus College in Oxford.

Greta Yorsh works on the OCaml compiler at Jane Street, having previously worked on GCC compiler at ARM. She is passionate about low-level optimizations that present the combined challenges of ensuring correctness and achieving the best possible performance on modern hardware. Her industrial and academic experience informs her current work and her previous research in shape analysis, software synthesis, and superoptimization. She studied in Tel Aviv University, and worked at Microsoft Research, IBM Research, and Queen Mary University of London.