People

Project Leaders

• Leonardo de Moura

• Nikolaj Bjørner

2007 Interns

• Bryant Lee

• Joe Hendrix

2008 Interns

• Yeting Ge

• Ruzica Piskac

• Alexandre Rademaker

• Christoph Wintersteiger

2009 Interns

• Grant Passmore

• Yannick Moy

2008 Visitors

• Maria Paola Bonacina

• Andrei Voronkov

Friends

• Michal Moskal: VCC

• Byron Cook: Z3 power pack

• Jonathan 'Peli' de Halleux

• Youssef Hamadi: parallelism in Z3

• Jakob Lichtenberg (Windows - SDV): OCaml API for Z3