Past Contributors
CVC3 is built on top of the code base for CVC Lite.
CVC Lite Project Leaders
CVC Lite Developers
- Clark Barrett, New York University
- Sergey Berezin, Stanford University
- Cristian Cadar, Stanford University
- Jake Donham, New York University
- Yeting Ge, New York Univeristy
- Vijay Ganesh, Stanford University
- Deepak Goyal, Calypto
- Ying Hu, New York University
- Sean McLaughlin, New York University
- Mehul Trivedi, Stanford University
- Michael Veksler, Technion, Israel
- Daniel Wichs, Stanford University
- Mark Zavislak, Stanford University
- Jim Zhuang, Stanford University