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

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

We received Best Paper Award at ICLP (iclp24.utdallas.edu). Joint work with my amazing PhD student, Mohimenul (Mahi) Kabir. Paper: arxiv.org/abs/2407.09744

We received Best Paper Award at ICLP (iclp24.utdallas.edu). 

Joint work with my amazing PhD student,  Mohimenul (Mahi) Kabir. 

Paper: arxiv.org/abs/2407.09744