Edmund Clarke  

PI, Carnegie Mellon 

emcATcs.cmu.edu

Thomas Reps  

coPI, Univ. of Wisconsin

repsATcs.wisc.edu

Somesh Jha  

coPI, Univ. of Wisconsin

jhaATcs.wisc.edu

Daniel Kroening
kroeningATcs.cmu.edu

Daniel Milam
dmilamATcs.cmu.edu

CMU

Sagar Chaki 
chakiATcs.cmu.edu

Himanshu Jain
hjainATcs.cmu.edu

Stephen Magill
smagillATcs.cmu.edu

Nishant Sinha
nishantsATcs.cmu.edu

Flavio Lerda
flerdaATcs.cmu.edu

Univ. of Wisconsin

Denis Gopan
gopanATcs.wisc.edu

Alexey Loginov
alexeyATcs.wisc.edu

Anne Mulhern
mulhernATcs.wisc.edu

Helmut Veith  

TU Vienna, Austria

Mooly Sagiv 

Tel Aviv University, Israel

Bertrand Jeannet  

IRISA, France

Neil Immerman

Univ. of Massachusetts

Stefan Schwoon

Univ. of Stuttgart