Kuldeep S. Meel
@ksmeel
Associate Professor of Computer Science at the University of Toronto.
meelgroup.github.io
Automated Reasoning | Formal Methods + AI
ID: 140933540
https://www.cs.toronto.edu/~meel/ 06-05-2010 18:58:21
1,1K Tweet
2,2K Followers
309 Following