Assistant Professor @UofTCompSci @VectorInst @Mila_Quebec. Programming Languages, Formal Methods, Artificial Intelligence, Deep Learning.
| he/him

ID: 380749468

linkhttps://www.cs.toronto.edu/~six/ calendar_today27-09-2011 05:02:39