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
Israel Defense Forces 9,000 tons in 15 days to 2.4 million people = 0.25kg (0.5 pound) of food per person, you depraved genocidal morons! That’s an indictment not an accomplishment!
Congratulations to Kuldeep S. Meel on a Best Paper Award at the 40th International Conference on Logic Programming. The U of T Department of Computer Science associate professor and his PhD student were recognized for their research “On Lower Bounding Minimal Model Count”
Nassim Nicholas Taleb I’ve lived in this country for 85 yrs and have never witnessed such indifference to and even, in some quarters, joy at the suffering of another people. It makes me angry and ashamed to be American since we are enabling all of this horror to take place.
The CAJ is deeply concerned about repeated online attacks against Samira Mohyeddin سمیرا — a former CBC radio reporter & award-winning freelance journalist — by Ontario MPP Goldie Ghamari. thestar.com/news/gta/toron…