For your program committees, seminar series, etc. Please add yourself, or someone who is comfortable being on this list, in alphabetical order. There are no guarantees about the comprehensiveness of this list.
- Claire Le Goues, Carnegie Mellon University
- Heather Miller, Northeastern University, EPFL
- Nadia Polikarpova, University of California, San Diego
- Jean Yang, Carnegie Mellon University
- Lindsey Kuper, Intel Labs
- Anne Ogborn, SWI-Prolog (works at The Elgin Works and Simularity)
- Juliana Alves Pereira, University of Magdeburg, Germany
- Reyhaneh Jabbarvand, University of California, Irvine, USA