SMT Steering Committee

Current Members

Erika Ábrahám (elected, 2020-22)
Jochen Hoenicke (SMT-COMP rep, 2020-21)
Dejan Jovanović (elected, 2019-21)
Aina Niemetz (SMT'21 co-chair)
Andrew Reynolds (elected, 2019-21)
Cesare Tinelli (elected, 2020-22)

Past Members

Erika Ábrahám (elected, 2018-20)
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)
Antti Hyvärinen (SMT-COMP rep, 2019-20)
Dejan Jovanović (elected, 2017-19)
Liana Hadarean (SMT'17 co-chair)
Daniel Kroening (SMT'10 co-chair)
Aina Niemetz (SMT-COMP rep, 2018-19)
Andrew Reynolds (elected, 2017-19)
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)
Tjark Weber (SMT-COMP rep, 2014-18; SMT'20 co-chair)
Christoph Wintersteiger (elected, 2013-15, 2015-17)

SMT-COMP Organizers (*)

Haniel Barbosa (2020-21)
Jochen Hoenicke (2020-21)
Antti Hyvärinen (2019-21)
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)
Matthias Heizmann (2016-18)
Alberto Griggio (2011-12)
Liana Hadarean (2019)
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.






Home

Meetings

Committees

Related

Bylaws