27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE

Iryna Gurevych is Professor of Ubiquitous Knowledge Processing in the Department of Computer Science at the Technical University of Darmstadt in Germany. She also is an adjunct professor at MBZUAI in Abu-Dhabi, UAE, and an affiliated professor at INSAIT in Sofia, Bulgaria. She is widely known for fundamental contributions to and innovative applications of natural language processing and machine learning. Professor Gurevych is a past president of the Association for Computational Linguistics (ACL), the leading professional society in the field of natural language processing. Her many accolades include being a Fellow of the ACL, an ELLIS Fellow, and the recipient of an ERC Advanced Grant.

Marijn Heule is an Associate Professor in the Computer Science Department at Carnegie Mellon University in Pittsburgh, Pennsylvania. His research focuses on solving hard combinatorial problems in areas such as formal verification, number theory, and extremal combinatorics, specifically by further developing the theory and practice of satisfiability (SAT) solving. He is known for several breakthrough results in this domain, such as solving the Boolean Pythagorean Triples problem, Keller’s conjecture, and the Empty Hexagon problem. Professor Heule has won Best Paper Awards at IJCAR, CADE, TACAS, and SAT. He is one of the editors of the Handbook of Satisfiability, the main reference work in the field.

Iolanda Leite is an Associate Professor in the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology in Stockholm, Sweden. Her research goal is to develop social robots that can perceive, learn from, and respond appropriately to people in real-world situations, thereby allowing for truly efficient and engaging interactions. She has won Best Paper Awards at HRI and ICMI, and she has been awarded both a Starting Grant by the Swedish Research Council and a Future Research Leaders Grant by the Swedish Foundation for Strategic Research. Professor Leite has recently been appointed co-editor-in-chief of the ACM Transactions on Human-Robot Interaction.