Harm de Vries is a Research Scientist in the Human-Machine Interaction Through Language program at ServiceNow Research. He holds a PhD in Computer Science from Mila, Universite de Montreal, where he was supervised by Aaron Courville. During his PhD, he worked on machine learning methods for (visually) grounded language understanding. He’s currently focused on how NLP methods can improve human-machine interaction and is therefore interested in a wide range of research topics such as large language models, semantic parsing, task-oriented dialogue, and text2code. His research has been published in EMNLP, ICLR, NeurIPS, CVPR, and ECCV.

I am Alex (Oleksandr) Polozov, a staff research scientist at Google, formerly at X, the moonshot factory. I teach machines to write and analyze source code, and broadly interested in program synthesis from examples and natural language, AI-assisted software engineering, and neuro-symbolic reasoning.

I am an Assistant Professor in the Computer Science and Engineering Department at the University of California, San Diego. I am a member of the Programming Systems group. I completed my PhD in 2014 at ETH Zurich (Switzerland), under the supervision of Bertrand Meyer. After that, I spent some time as a postdoc at MIT CSAIL, where I worked with Armando Solar-Lezama. I am a 2020 Sloan Fellow and a recipient of the 2020 Intel Rising Stars Award and the 2020 NSF CAREER Award. Since 2022, I am a member of the IFIP Working Group 2.8 on Functional Programming. My research interests are in program synthesis, program verification, and type systems.

Armando Solar-Lezama is a Professor in MIT’s Department of Electrical Engineering and Computer Science. He is also the Associate Director and COO of the Computer Science and Artificial Intelligence Laboratory, where he also leads the Computer Assisted Programming Group. Prof. Solar-Lezama and his research group focus on program synthesis, a research area at the intersection of programming systems and artificial intelligence. He is also the founder of playskript.com, an online platform for creating interactive presentations and visualizations. Prof. Solar-Lezama earned a PhD from University of California, Berkeley.

Danny Tarlow is a research scientist at Google Brain. His main interest is in automatic learning methods for understanding and generating programs. He is also an adjunct professor at the School of Computer Science at McGill University. He holds a PhD from the Automatic Learning Group at the University of Toronto and spent four years as a post-doctoral fellow and then as a researcher at Microsoft Research in Cambridge before moving to Montreal.

Leandro von Werra is a machine learning engineer in the open source team at Hugging Face. He has several years of industry experience bringing NLP projects to production by working across the whole machine learning stack, and is the creator of a popular Python library called TRL, which combines transformers with reinforcement learning. He also co-leads the BigCode project that aims at developing large language models for code in an open and responsible way.