Martina Seidl is head of the Institute for Symbolic Artificial Intelligence at the Johannes Kepler University (JKU) in Linz, Austria. She obtained her PhD from the Vienna Technical University and her habilitation in computer science from JKU. Before becoming a full professor, she was associate professor at the Institute for Formal Models and Verification at JKU. Her research focuses on symbolic reasoning techniques with special emphasis on quantified Boolean formulas and applications in formal verification and symbolic artificial intelligence.
Cesare Tinelli received a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 1999 and is currently a F. Wendell Miller Professor of Computer Science at the University of Iowa. His research interests include automated reasoning, formal methods, software verification, foundations of programming languages, and applications of logic in computer science. Professor Tinelli has done influential work in automated reasoning, in particular in Satisfiability Modulo Theories (SMT), a field he helped establish through his research and service activities. His research has been funded both by governmental agencies (AFOSR, AFRL, DARPA, NASA, NSF, and ONR) and corporations (AWS, Facebook, GE, Intel, Rockwell Collins, and United Technologies) and his work has appeared in more than 130 refereed publications. He has co-led the development of the widely used and award-winning CVC3 and CVC4 SMT solvers, and co-leads the development of their successor cvc5. He is a founder and coordinator of the SMT-LIB initiative, a successful international effort for the standardization of benchmarks and I/O formats for SMT solvers. He has also co-led the development of StarExec, a cross community web-based service for the comparative evaluation of logic solvers, and leads the development of Kind 2 model checker. He received an NSF CAREER award in 2003; a Haifa Verification Conference award in 2010 for his role in building and promoting the SMT community; and a CAV Award in 2021 for his pioneering contributions to the foundations of the theory and practice of SMT. He is an associate editor of the Journal of Automated Reasoning and a founder the SMT workshop series and the Midwest Verification Day series. He was the PC chair of FroCoS'11 and a PC co-chair of TACAS'15 and CADE-29.
Moshe Y. Vardi
Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. His research focues on the interface of mathematical logic and computation -- inluding database theory, hardware/software dessign and verification, multi-agent systems, and constraint satisfaction. He is the recipient of numerous awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Knuth Prize, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award. He is the author and co-author of over 750 papers, as well as two books. He is a Guggenheim Fellows as well as fellow of several societies, and a member of several academies, including the US National Academy of Engineering, National Academy of Science, and the Royal Society of London. He holds nine honorary titles. He is a Senior Editor of the Communications of the ACM, the premier publication in computing.