Model Checking Project Members

Current members

Edmund M. Clarke - emc at cs.cmu.edu
Bruce Krogh

Graduate Students

• Sicun Gao
• Himanshu Jain
• Sumit Jha
• Will Klieber
• Flavio Lerda
• Hitashyam Maka

Post-Docs

• Alexander Donze
• Azadeh Farzan
• Jim Kapinski
• Axel Legay
• Silke Wagner

Visitors/Associates

• Lei Bu
• Orna Grumberg
• Natasha Sharygina
• Helmut Veith
• Kwangkeun Yi

Some people who worked with us

• Xuandong Li
• Aleksandar Nanevski
• Prasanna Thati
• Daniel Milam
• Ansgar Fehnker - ansgar AT ece.cmu.edu
• Michael Theobald - theobald AT cs.cmu.edu
• Tayssir Touili - tayssirt AT cs.cmu.edu
• Joel Ouaknine - joelo AT andrew.cmu.edu
• Daniel Kroening - kroening AT cs.cmu.edu
• Ofer Strichman - ofers AT cs.cmu.edu
• Karen Yorav - kareny AT cs.cmu.edu
• Dong Wang - dongw AT cs.cmu.edu
• Sergey Berezin - berezin AT stanford.edu
• Armin Biere - armin AT cs.cmu.edu
• Sérgio Vale Aguiar Campos - scampos AT dcc.ufmg.br
• Wolfgang Heinle - heinle AT iam.unibe.ch
• Hiromi Hiraishi - hiraishi AT cs.cmu.edu
• Gi-Hwon Kwon - ghkwon AT cs.cmu.edu
• Wilfredo Marrero - marrero AT cs.cmu.edu
• Marius Minea - marius AT cs.cmu.edu
• Doron Peled - doron AT ece.utexas.edu
• Subash Shankar - subash.shankar AT hunter.cuny.edu
• Dawn Song - skyxd AT cs.cmu.udu
• Helmut Veith - veith AT cs.cmu.edu
• Lu Yuan - yuanlu+ AT cs.cmu.edu
• Poul Williams - pfw AT it-c.dk
• Yunshan Zhu - zhu AT cs.cmu.edu

CMU-SCS Model Checking home page

Please send any comments and suggestions to Nishant Sinha - (nishants) at cs dot cmu dot edu.