Kuldeep S. Meel (@ksmeel) 's Twitter Profile
Kuldeep S. Meel

@ksmeel

Associate Professor of Computer Science at the University of Toronto.

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

ID: 140933540

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

1,1K Tweet

2,2K Followers

309 Following