THE PEOPLE BEHIND THE CONFERENCE
SAT 2024
International Conference on Theory and Applications of Satisfiability Testing
Source-attributed rosters checked 2026-09-13. 41 collected records; 34 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
SAT 2024 Organizers and Program Committee
41 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Carlos AnsóteguiIdentity not yet linked | Program Committee | University Of Lleida | Conference website ↗Checked 2026-09-13 |
| Jeremias Berg | Program Committee | University of Helsinki | Conference website ↗Checked 2026-09-13 |
| Olaf Beyersdorff | Program Committee | Friedrich Schiller University Jena | Conference website ↗Checked 2026-09-13 |
| Armin BiereIdentity not yet linked | Program Committee | Albert Ludwigs University Freiburg | Conference website ↗Checked 2026-09-13 |
| Nikolaj BjørnerIdentity not yet linked | Program Committee | Microsoft Research | Conference website ↗Checked 2026-09-13 |
| Shaowei CaiIdentity not yet linked | Program Committee | Institute of Software, Chinese Academy of Sciences Institute of Software · Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Supratik ChakrabortyIdentity not yet linked | Program Committee | IIT Bombay, co-chair | Conference website ↗Checked 2026-09-13 |
| Katalin FazekasIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Vijay GaneshIdentity not yet linked | Program Committee | Georgia Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Marijn Heule | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Alexey Ignatiev | Program Committee | Monash University | Conference website ↗Checked 2026-09-13 |
| Markus IserIdentity not yet linked | Program Committee | Karlsruhe Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Mikoláš JanotaIdentity not yet linked | Program Committee | Czech Technical University in Prague | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Program Committee | National Taiwan University, co-chair | Conference website ↗Checked 2026-09-13 |
| Matti JärvisaloIdentity not yet linked | Program Committee | University of Helsinki | Conference website ↗Checked 2026-09-13 |
| Daniela KaufmannIdentity not yet linked | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Benjamin Kiesl-ReiterIdentity not yet linked | Program Committee | Amazon Web Services, Inc. | Conference website ↗Checked 2026-09-13 |
| Oliver KullmanIdentity not yet linked | Program Committee | Swansea University | Conference website ↗Checked 2026-09-13 |
| Daniel Le BerreIdentity not yet linked | Program Committee | CNRS - Université d'Artois | Conference website ↗Checked 2026-09-13 |
| Jordi LevyIdentity not yet linked | Program Committee | IIIA-CSIC | Conference website ↗Checked 2026-09-13 |
| Inês LynceIdentity not yet linked | Program Committee | INESC-ID/IST, Universidade de Lisboa Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento · IST · University of Lisbon | Conference website ↗Checked 2026-09-13 |
| Meena MahajanIdentity not yet linked | Program Committee | The Institute of Mathematical Sciences, Chennai | Conference website ↗Checked 2026-09-13 |
| Ruben Martins | Program Committee | Carnegie Mellon University | Conference website ↗Checked 2026-09-13 |
| Kuldeep S. MeelIdentity not yet linked | Program Committee | University of Toronto | Conference website ↗Checked 2026-09-13 |
| Stefan MengelIdentity not yet linked | Program Committee | CNRS, CRIL CNRS · Centre de Recherche en Informatique de Lens | Conference website ↗Checked 2026-09-13 |
| Alexander NadelIdentity not yet linked | Program Committee | Technion & Intel Technion – Israel Institute of Technology · Intel | Conference website ↗Checked 2026-09-13 |
| Aina NiemetzIdentity not yet linked | Program Committee | Stanford University | Conference website ↗Checked 2026-09-13 |
| Jakob NordströmIdentity not yet linked | Program Committee | University of Copenhagen and Lund University University of Copenhagen · Lund University | Conference website ↗Checked 2026-09-13 |
| Luca PulinaIdentity not yet linked | Program Committee | University of Sassari | Conference website ↗Checked 2026-09-13 |
| Kristin Yvonne Rozier | Program Committee | Iowa State University | Conference website ↗Checked 2026-09-13 |
| Christoph SchollIdentity not yet linked | Program Committee | University of Freiburg | Conference website ↗Checked 2026-09-13 |
| Roberto SebastianiIdentity not yet linked | Program Committee | University of Trento | Conference website ↗Checked 2026-09-13 |
| Natasha SharyginaIdentity not yet linked | Program Committee | University of Lugano | Conference website ↗Checked 2026-09-13 |
| Laurent SimonIdentity not yet linked | Program Committee | Bordeaux Institute of Technology | Conference website ↗Checked 2026-09-13 |
| Friedrich SlivovskyIdentity not yet linked | Program Committee | Vienna University of Technology | Conference website ↗Checked 2026-09-13 |
| Mate SoosIdentity not yet linked | Program Committee | Ethereum Foundation | Conference website ↗Checked 2026-09-13 |
| Martin SudaIdentity not yet linked | Program Committee | Czech Technical University in Prague | Conference website ↗Checked 2026-09-13 |
| Stefan Szeider | Program Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Marc VinyalsIdentity not yet linked | Program Committee | University of Auckland | Conference website ↗Checked 2026-09-13 |
| Kumar MadhukarIdentity not yet linked | Sponsorship Chair | IIT Delhi | Conference website ↗Checked 2026-09-13 |
| Abhisekh SankaranIdentity not yet linked | Publicity Chair | TCS Research, India | Conference website ↗Checked 2026-09-13 |