Associate Professor at Georgia Tech and University of Toronto (On Leave).

meelgroup.github.io
Automated Reasoning | Formal Methods + AI

ID: 140933540

linkhttps://www.cs.toronto.edu/~meel/ calendar_today06-05-2010 18:58:21