SMT Steering Committee

Current Members

Erika Abraham (elected, 2018-20)
Rayna Dimitrova (SMT'18 co-chair)
Pascal Fontaine (elected, 2018-20)
Dejan Jovanovic (elected, 2017-19)
Aina Niemetz (SMT-COMP rep 2019)
Andrew Reynolds (elected, 2017-19)

Past Members

Clark Barrett (elected, 2009-10, 2010-12, 2014-18)
David Cok (SMT-COMP rep, 2011-13)
Morgan Deters (SMT-COMP rep, 2010-11)
Bruno Dutertre (elected, 2011-13)
Pascal Fontaine (SMT'12 co-chair; elected, 2012-14)
Vijay Ganesh (SMT'15 co-chair)
Alberto Griggio (SMT'13 co-chair; elected, 2013-15, 2015-17)
Liana Hadarean (SMT'17 co-chair)
Daniel Kroening (SMT'10 co-chair)
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-18)
Roberto Sebastiani (elected, 2009-10, 2010-12)
Cesare Tinelli (elected, 2009-11, 2012-14)
Tjark Weber (SMT-COMP rep, 2014-18)
Christoph Wintersteiger (elected, 2013-15, 2015-17)

SMT-COMP Organizers (*)

Liana Hadarean (2019)
Antti Hyvarinen (2019)
Aina Niemetz (2018-19)
Giles Reger (2017-19)
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)
Albert Oliveras (2009-10)
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