SMT
The International Workshop on
Satisfiability Modulo Theories
SMT Steering Committee
Current Members
- François Bobot (SMT-COMP rep 2023)
- Stephane Graham-Lendgrand (elected, 2023-25)
- Antti Hyvärinen (elected, 2022-24)
- Aina Niemetz (re-elected, 2021-23, 2023-25)
- Giles Reger (SMT'24 co-chair)
- Cesare Tinelli (elected, 2022-24)
Past Members
- Erika Ábrahám (elected, 2018-20, 2020-22)
- Haniel Barbosa (SMT-COMP rep 2022)
- Clark Barrett (elected, 2009-10, 2010-12, 2014 -16, 2016-18)
- David Cok (SMT-COMP rep, 2011-13)
- Morgan Deters (SMT-COMP rep, 2010-11)
- Rayna Dimitrova (SMT'18 co-chair)
- Bruno Dutertre (elected, 2011-13)
- Pascal Fontaine (SMT'12 co-chair; elected, 2012-14, 2018-20)
- Vijay Ganesh (SMT'15 co-chair)
- Alberto Griggio (SMT'13 co-chair; elected, 2013-15, 2015-17)
- Joe Hendrix (SMT'19 co-chair)
- Jochen Hoenicke (SMT-COMP rep, 2020-2021)
- Antti Hyvärinen (SMT-COMP rep, 2019-20; elected 2023-24)
- Dejan Jovanović (elected, 2017-19, 2019-21)
- Liana Hadarean (SMT'17 co-chair)
- Daniel Kroening (SMT'10 co-chair)
- Aina Niemetz (SMT-COMP rep, 2018-19; SMT'21 co-chair)
- Ruzica Piskac (elected, 2021-23)
- Mathias Preiner (SMT'23 co-chair)
- Andrew Reynolds (elected, 2017-19, 2019-21)
- Shuvendu Lahiri (SMT'11 co-chair)
- Leonardo de Moura (elected, 2009-11)
- Albert Oliveras (SMT-COMP rep, 2009-10)
- Silvio Ranise (elected, 2011-13)
- Philipp Rümmer (SMT'14 co-chair; elected, 2014-16, 2016-18)
- Roberto Sebastiani (elected, 2009-10, 2010-12)
- Cesare Tinelli (elected, 2009-11, 2012-14, 2020-22, 22-24)
- Tjark Weber (SMT-COMP rep, 2014-18; SMT'20 co-chair)
- Christoph Wintersteiger (elected, 2013-15, 2015-17)
SMT-COMP Organizers (*)
- François Bobot (2022-24)
- Martin Bromberger (2023-25)
- Jochen Hoenicke (2020-23)
- Clark Barrett (2009-10)
- Roberto Bruttomesso (2011-12)
- David Cok (2012, SMT-EVAL 2013, SMT-COMP 2014)
- Sylvain Conchon (2014-16)
- David Déharbe (2014-16)
- Morgan Deters (2010-11)
- Alberto Griggio (2011-12)
- Liana Hadarean (2019)
- Matthias Heizmann (2016-18)
- Antti Hyvärinen (2019-21)
- Aina Niemetz (2018-19)
- Albert Oliveras (2009-10)
- Giles Reger (2017-19)
- Aaron Stump (2009-10, SMT-EVAL 2013)
- Tjark Weber (SMT-EVAL 2013, 2014-18)
| (*) | Since the establishment of the SMT bylaws. |