SMT

SMT Steering Committee

Current Members

Clark Barrett (elected, 2024-26)

François Bobot (SMT-COMP rep 2023-24)

Stephane Graham-Lendgrand (elected, 2023-25)

Antti Hyvärinen (re-elected, 2022-24, 2024-26)

Aina Niemetz (re-elected, 2021-23, 2023-25)

Giles Reger (SMT'24 co-chair)

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, 2024-26)

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 2022-24, 2024-26)

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, 2022-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)

Martin Jonáš (2024-26)

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)

Jochen Hoenicke (2020-23)

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.