K
At a glance
Research interests
formal methods, design automation, databases, AI; automated reasoning, synthesis, streaming, probabilistic reasoning, distribution testing
About
Biography
Kuldeep Meel is Associate Professor at the University of Toronto, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include formal methods, design automation, databases, AI; automated reasoning, synthesis, streaming, probabilistic reasoning, distribution testing.