SMT Steering Committee

Current Members

Clark Barrett (elected, 2014-18)
Liana Hadarean (SMT'17 co-chair)
Alberto Griggio (elected, 2015-17)
Philipp Rümmer (elected, 2014-18)
Tjark Weber (ex-officio: SMT-COMP rep, 2014-16)
Christoph Wintersteiger (elected, 2015-17)

Past Members

Clark Barrett (elected, 2009-10, 2010-12)
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)
Daniel Kroening (SMT'10 co-chair)
Leonardo de Moura (elected, 2009-11)
Shuvendu Lahiri (SMT'11 co-chair)
Albert Oliveras (SMT-COMP rep, 2009-10)
Silvio Ranise (elected, 2011-13)
Philipp Rümmer (SMT'14 co-chair)
Roberto Sebastiani (elected, 2009-10, 2010-12)
Cesare Tinelli (elected, 2009-11, 2012-14)
Christoph Wintersteiger (elected, 2013-15)

SMT-COMP Organizers (*)

Sylvain Conchon (SMT-COMP 2014-15)
David Déharbe (SMT-COMP 2014-15)
Tjark Weber (SMT-COMP 2014-15)
Clark Barrett (SMT-COMP 2009, 2010)
Roberto Bruttomesso (SMT-COMP 2011, 2012)
David Cok (SMT-COMP 2012, SMT-EVAL 2013, SMT-COMP 2014)
Morgan Deters (SMT-COMP 2010, 2011)
Alberto Griggio (SMT-COMP 2011, 2012)
Albert Oliveras (SMT-COMP 2009, 2010)
Aaron Stump (SMT-COMP 2009, 2010, SMT-EVAL 2013)
Tjark Weber (SMT-EVAL 2013)
(*) Since the establishment of the SMT bylaws.






Home

Meetings

Committees

Related

Bylaws