Contacts & Credit
Organization
Omar Chowdhury and Cesare Tinelli
Computational Logic Center,
Department of Computer Science
Administration
Catherine Till
Matthieu Biger
Department of Computer Science
Website
Cesare Tinelli, Daniel Yahyazadeh
Computational Logic Center,
Department of Computer Science
Logistic Support
Fareed Arif,
Haniel Barbosa,
Anthony Cantor,
Joyanta Debnath,
Mitziu Echeverria,
Mudathir Mohamed,
Arjun Viswanathan
Computational Logic Center,
Department of Computer Science
![[Rockwell Collins]](sponsors/rockwell-collins.jpg)
![[United Technology Research Center]](sponsors/utrc.gif)
![[GE Global Research]](sponsors/GEGR.png)
