Algorithmic Reasoning Professors and Supervisors in Canada | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 1-15 of 241 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Maja J MatarićView profile

Professor

University of AlbertaCanada

Maja J Matarić is the Chan Soon-Shiong Chaired and Distinguished Professor of Computer Science at the University of Southern California's Viterbi School of Engineering, with courtesy appointments in Neuroscience and Pediatrics. She serves as founding director of the USC Robotics and Autonomous Systems Center, co-director of the USC Robotics Research Lab, and Principal Scientist at Google DeepMind. Previously, she held leadership roles as USC's interim Vice President of Research (2020-2021) and Vice Dean for Research (2006-2019). Her educational background includes: PhD in Computer Science and Artificial Intelligence from MIT (1994) MS in Computer Science from MIT (1990) BS in Computer Science from University of Kansas (1987) Matarić pioneers Socially Assistive Robotics (SAR) , a field her lab named, focusing on human-robot interaction that provides assistance through social rather than physical support. Her research targets critical health and wellness challenges including post-stroke rehabilitation, autism spectrum disorder therapy, cognitive exercises for Alzheimer's patients, ADHD academic support, and mental health interventions. She develops systems modeling user engagement, personality, and motivation, with extensive real-world deployments in schools, rehabilitation centers, and homes. Analysis of her recent publications reveals dominant themes in cognitive health robotics (2025 CHI paper on LLM-powered elder care), pediatric assistive technology (2025 IDC speech therapy review), and adaptive preference modeling (2025 HRI contrastive learning work). Her research consistently bridges machine learning with human-centered design for vulnerable populations. Major scientific recognition includes: ACM Athena Lecturer Award (2024) ACM Eugene L. Lawler Humanitarian Award (2024) ACM Fellow (2020) Presidential Mentoring Award (2011) Multiple society fellowships (AAAS, IEEE, AAAI) As a dedicated mentor, Matarić has championed underrepresented groups through CRA-W, placing numerous women in faculty positions. She leads USC Viterbi's K-12 STEM Outreach Program serving low-income Los Angeles schools and authored The Robotics Prime for student education. Her research has secured significant funding enabling real-world technology transfer, with documented impact in rehabilitation centers and homes through deployable SAR systems. Her Robotics Research Lab at USC drives innovation in embodied AI, with current projects spanning LLM-integrated elder care robots, ADHD academic companions, and autism therapy systems. The lab emphasizes co-design with end-users and rigorous real-world validation across diverse populations.

Official University Profile

Anamaria CrisanView profile

Assistant Professor

University of WaterlooCanada

Anamaria Crisan is an Assistant Professor at the University of Waterloo, affiliated with the Insight Lab. Her research focuses on interdisciplinary work at the intersection of Human-Computer Interaction (HCI), Data Visualization, and Applied AI/ML. She explores human-centered approaches to AI/ML systems, visualization design for decision-making, and healthcare data science applications. Dr. Crisan holds a PhD in Computer Science from the University of British Columbia (2019), an MSc in Bioinformatics (2010), and a BComp in Biomedical Computing from Queen’s University (2008). Her educational background bridges computer science, biology, and healthcare informatics. Her research interests include responsible AI/ML systems, interactive visualization for data-driven decisions, and leveraging visualization in healthcare to improve outcomes. She emphasizes transparency, trustworthiness, and human alignment in AI technologies. Her work spans diverse applications such as genomic epidemiology, dashboard design, and ethical AI evaluation. Notable contributions include studies on human-AI collaboration, visualization linters, and scalable dashboard census methodologies. She has published widely in top-tier venues like IEEE VIS and ACM CHI. Dr. Crisan’s lab (UW Insight Lab) focuses on human-centered approaches to automating data science and improving visualization practices in critical domains like healthcare and public health.

Official University Profile

Aishwarya AgrawalView profile

Assistant Professor

University of MontrealCanada

Aishwarya Agrawal is an Assistant Professor at Université de Montréal in the Department of Computer Science and Operations Research (DIRO), affiliated with Mila – Quebec Institute of Artificial Intelligence and a Canada CIFAR AI Chair. She also serves as a research scientist at Google DeepMind, spending one day weekly there. Education: B.E. in Electrical Engineering (IIT Gandhinagar, 2014), Ph.D. in Computer Science (Georgia Tech, 2019). Her research focuses on multimodal learning , deep learning , natural language processing , and computer vision , particularly in developing AI systems that 'see' and 'communicate' effectively. Grants & Awards: Canada CIFAR AI Chair, 2020 Sigma Xi Best PhD Thesis Award, NVIDIA Fellowship (2018–2019), and multiple fellowships from Google and Facebook. She leads projects like Advancing Multimodal Vision-Language Learning (CRSNG-funded) and StarDoc: Document Structure Extraction (MITACS). Research Contributions: Pioneered benchmarks like CulturalVQA and UI-Vision , and frameworks such as PROGRESS for efficient VLM training. Her work emphasizes cross-modal alignment, robust evaluation, and cultural understanding in AI systems. Labs/Teams: Active in Mila’s core academic group and collaborates with Google DeepMind on multimodal and vision-language research. Supervises a dynamic team of PhD and master’s students in Montreal.

Official University Profile

Sheila McIlraithView profile

Professor

University of TorontoCanada

Sheila McIlraith is a Professor in the Department of Computer Science at the University of Toronto, holding the Canada CIFAR AI Chair at the Vector Institute and serving as Associate Director and Research Lead at the Schwartz Reisman Institute for Technology and Society. Her research spans AI safety, ethics, reinforcement learning, and knowledge representation, with a focus on human-compatible AI and long-term societal impacts. Her career includes six years as a Research Scientist at Stanford University and a year at Xerox PARC. McIlraith’s work has been recognized through ACM and AAAI fellowships, as well as prestigious awards like the SWSA 10-Year Award (2011) and the CAIAC Lifetime Achievement Award (2024). Research Interests: AI Safety and Alignment Human-Compatible AI Reinforcement Learning with Ethical Constraints Semantic Web Services Cognitive Robotics and Diagnostic Systems Probabilistic and Logical Reasoning Recent Contributions: Her work emphasizes ethical AI integration, such as the Embedded Ethics Education Initiative (E3I), and addresses challenges in long-term AI risks, multi-agent systems, and interpretable decision-making frameworks. Awards and Honors: ACM Fellow AAAI Fellow 2023 IJCAI-JAIR Best Paper Prize 2024 CAIAC Lifetime Achievement Award Labs and Teams: McIlraith leads initiatives at the Schwartz Reisman Institute and contributes to the Vector Institute, focusing on societal and ethical dimensions of AI technology.

Official University Profile

Kimon FountoulakisView profile

Associate Professor

University of WaterlooCanada

Kimon Fountoulakis is an Associate Professor at the University of Waterloo. His research focuses on Machine Learning on Graphs and Numerical Optimization, with a strong emphasis on algorithmic methods for graph-structured data. He holds a Ph.D. from The University of Edinburgh (2015), an M.Sc. from The University of Edinburgh (2010), and a B.Sc. from Athens University of Economics and Business (2009). His work spans theoretical foundations and practical applications in graph algorithms, optimization, and machine learning. Research interests include graph neural networks, local graph clustering algorithms, and algorithmic reasoning. His contributions address challenges in graph representation learning, message-passing architectures, and scalable optimization methods. Notable themes in his publications include improving counting abilities of vision-language models, analyzing graph convolutions, and developing flow-based clustering techniques with statistical guarantees. His work often bridges theory and practice, with applications in network analysis, pandemic containment strategies, and high-performance computing. While no specific grants or awards are listed, his research demonstrates significant contributions to graph-based machine learning and optimization. He maintains a research group at the University of Waterloo, with a focus on developing open-source tools and frameworks for graph algorithms. His lab’s work emphasizes local graph clustering methods and their scalability in real-world networks.

Official University Profile

Kuldeep S. MeelView profile

Associate Professor

University of TorontoCanada

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.

Official University Profile

Wenhu ChenView profile

Assistant Professor

University of WaterlooCanada

Wenhu Chen is an Assistant Professor at the University of Waterloo's Computer Science Department and a CIFAR AI Chair at the Vector Institute. He also holds a part-time role as a Senior Research Scientist at Google DeepMind (20% allocation). His research focuses on natural language processing, deep learning, and multimodal reasoning, with contributions to models like MAmmoTH, OpenCoderInterpreter, and VISTA. He received awards including the Canada CIFAR AI Chair (2022) and the UCSB CS Outstanding Dissertation Award (2021). Education: PhD in Computer Science from the University of California, Santa Barbara (under William Wang and Xifeng Yan). Research interests include complex reasoning, controllable GenAI, and multimodal benchmarks like MEGABench and MMMU. Grants include CIFAR AI Chair Funding (2022-2027), NSERC Discovery Fund (2023-2028), and multiple NRC Canada grants. He directs the TIGER Lab, advancing generative models in text, images, videos, and music. Recent talks include presentations on multimodal reasoning at Apple and NeurIPS workshops.

Official University Profile

Chris J. MaddisonView profile

Assistant Professor

University of TorontoCanada

Chris J. Maddison is an Assistant Professor at the University of Toronto, holding joint appointments in the Department of Computer Science and the Department of Statistical Sciences. He is also a CIFAR AI Chair at the Vector Institute and a member of the ELLIS Society. Maddison earned his DPhil from the University of Oxford and previously worked as a Senior Research Scientist at Google DeepMind and a member at the Institute for Advanced Study. His research focuses on advancing machine learning methodologies, particularly in leveraging data’s natural structure for efficient learning, with applications in drug discovery, causal inference, and AI safety. Education: DPhil in Computer Science, University of Oxford His research interests span machine learning, AI safety, reinforcement learning, and the integration of logical reasoning into large language models. Maddison has contributed to foundational work on gradient estimation techniques and was a key member of the AlphaGo project. He actively explores how statistical structures in real-world data influence AI capabilities. Recent publications emphasize evaluating conversational agents, mitigating AI safety risks, and enhancing logical reasoning in LLMs. His work bridges theoretical advancements with practical applications, such as code generation and multi-agent systems. Awards: NeurIPS Best Paper Award (2014), Open Philanthropy AI Fellowship Maddison advises multiple PhD students and postdoctoral researchers, fostering collaborations across academia and industry. His former advisees now hold roles at institutions like OpenAI, Stanford, and Magic AI. He teaches advanced courses in machine learning and statistical methods, including CSC 2541 (Large Models) and STA 314 (Machine Learning). Maddison is affiliated with the Schwartz Reisman Institute for Technology and Society, extending his impact to societal implications of AI. His lab’s interdisciplinary approach combines algorithmic innovation with real-world problem-solving.

Official University Profile

Caroline LemieuxView profile

Assistant Professor

University of British ColumbiaCanada

Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.

Official University Profile

Florian ShkurtiView profile

Assistant Professor

University of TorontoCanada

Florian Shkurti is an Assistant Professor in the Department of Computer Science at the University of Toronto Mississauga (UTM), affiliated with the UofT Robotics Institute, Vector Institute, and Acceleration Consortium. His research focuses on robotics, machine learning, and computer vision, emphasizing safe and effective autonomous systems in dynamic environments. He directs the Robot Vision and Learning (RVL) lab, exploring areas like environmental monitoring, autonomous navigation, and mobile manipulation. Research Interests: His work spans robotics, machine learning, and computer vision. Key areas include robot perception, planning under uncertainty, safe exploration, imitation learning, and applications in field robotics, autonomous vehicles, and chemistry lab automation. He develops methods enabling robots to perceive, reason, and act safely in collaboration with humans. Publications: Recent work includes advancements in safe multitask learning, interactive crowd navigation, and diffusion models for trajectory planning. His research bridges theoretical foundations with real-world applications in environmental science and autonomous systems. Affiliations: Faculty Member, UofT Robotics Institute; Faculty Affiliate, Vector Institute; Faculty Member, Acceleration Consortium. He also holds positions at UTM's Mathematical & Computational Sciences department. Teaching: Courses include Imitation Learning for Robotics, Neural Networks, and Mobile Robotics. He emphasizes hands-on experience with autonomous systems through projects involving RC cars and simulation tools. Labs & Teams: Leads the RVL lab, collaborating on projects like RoboCulture (automated biological experimentation) and SICNav (safe crowd navigation systems). The lab focuses on cross-disciplinary robotics solutions for real-world challenges.

Official University Profile

Yiyu YaoView profile

Professor

University of ReginaCanada

Yiyu Yao is a Professor in the Department of Computer Science at the University of Regina, Faculty of Science. He holds a B.Eng. from Xi'an Jiaotong University and earned both his M.Sc. and Ph.D. from the University of Regina. His office is located in College West 308.6, and he can be reached at Yiyu.Yao@uregina.ca or by phone at (306) 585-5226. Dr. Yao's research spans multiple interconnected domains in intelligent systems. His primary focus is on three-way decisions, which serves as a unifying framework for his work in granular computing, rough sets, and decision-theoretic models. He has developed significant theoretical contributions to decision-theoretic rough sets (DTRS) and probabilistic rough sets, creating bridges between uncertainty management and practical decision-making applications. His work extends to web intelligence, information retrieval systems, and multiview data analysis, where he applies his theoretical frameworks to real-world problems in data science and artificial intelligence. Analysis of Dr. Yao's recent publications reveals a strong continuing focus on three-way decision theory, with increasing applications across diverse domains. His work demonstrates evolution from foundational theoretical contributions to sophisticated applications in multi-criteria decision making, conflict analysis, and explainable AI. The research shows integration of granular computing principles with modern machine learning techniques, particularly in handling uncertainty and developing interpretable models. Recent publications indicate growing interest in the intersection of three-way decisions with fuzzy sets, shadowed sets, and cognitive approaches to data analysis. Dr. Yao has mentored numerous graduate students and has hosted many visiting scholars, primarily from Chinese institutions including Nanjing University Posts and Telecommunication, Harbin Normal University, Shaanxi Normal University, and others. He serves as Area Editor on Rough Sets for the International Journal of Approximate Reasoning and as Associate Editor for Information Sciences. He is also Associate Editor-in-Chief for the Journal of Emerging Technologies in Web Intelligence and serves on multiple editorial boards including LNCS Transactions on Rough Sets and Web Intelligence and Agent Systems. He has organized significant conferences including the International Joint Conference on Rough Sets (IJCRS 2017) and served on the Steering Committee for the International Symposium on Fuzzy and Rough Sets.

Official University Profile

Minsu KimView profile

Research Fellow

University of MontrealCanada

Minsu Kim is a CIFAR AI Safety Post-doc Fellow at KAIST and Mila, collaborating with Prof. Yoshua Bengio, Prof. Sungjin Ahn, and Prof. Sungsoo Ahn. His work bridges System 2 Deep Learning, Bayesian posterior inference, and combinatorial optimization. Ph.D., Industrial Engineering, KAIST (2025) M.S., Electrical Engineering, KAIST (2022) B.S., Mathematics and Computer Science (Dual Degree), KAIST (2020) Kim's research focuses on enabling AI systems to measure uncertainty, represent causality, and perform sequential reasoning for safety-guaranteed planning. His methodology integrates GFlowNets and diffusion models with off-policy amortized inference, targeting applications in scientific discovery , hardware design optimization , and large language model alignment . Recent work explores Bayesian posterior inference through GFlowNets, aiming to unify deep learning with probabilistic reasoning. His 15 most recent publications (2025–2024) reveal a trend of combining combinatorial optimization with generative models for tasks like molecular graph discovery, vehicle routing, and neural architecture search. He also investigates diffusion samplers for Bayesian inverse problems and symmetry-based neural methods (Sym-NCO) to enhance sample efficiency. Jang Yeong Sil Fellowship (2025) KAIST Presidential Best Ph.D. Thesis Award (2025) Qualcomm Innovation Fellowship (2023) DesignCon Best Paper Awards (2021–2022) Kim's collaborations span KAIST's Industrial Engineering department and Mila's AI research groups. He actively contributes to academic peer review for top conferences (NeurIPS, ICML, ICLR) and journals (IEEE TNNLS, TPAMI), emphasizing the intersection of AI safety , uncertainty quantification , and systemic reasoning .

Official University Profile

Miguel NacentaView profile

Professor

University of VictoriaCanada

Miguel Nacenta is a Professor in the Department of Computer Science at the University of Victoria (UVic), Canada, and a founding member of the Victoria Interactive eXperiences with Information (VIXI) research group. Previously affiliated with the University of St Andrews (UK), his work bridges Human-Computer Interaction (HCI), Information Visualization, and Cognitive Science. He specializes in designing interactive systems that enhance human cognition, with a focus on Infotypography (using typography to encode data), collaborative problem-solving tools, and perceptual input/output devices. Research Interests: His key areas include cognitive augmentation, visualization techniques for complex tasks, multi-display environments, and tools for constraint problem-solving. Notable projects include the WriteReason tool for essay writing, InfoTypography studies on perceptual typographic parameters, and Solvi for visual constraint modeling. Grants & Collaborations: He collaborates internationally, including with the University of St Andrews on PhD scholarship programs. His work is supported by grants focusing on HCI innovations and accessibility. He actively mentors students (e.g., Adam Binks, Johannes Lang) and supervises postdoctoral researchers. Affiliations: Member of the VIXI group,他曾是St Andrews计算机科学学院的教授, 并参与多个学术服务活动, including conference program committees and journal reviews. Labs & Teams: Leads the VIXI lab at UVic, focusing on interactive technologies for cognitive tasks. Collaborates with industry partners on projects like TypoCartographer for infoTypographic maps and HaptiQ for accessible graph exploration.

Official University Profile

Benjamin AlarieView profile

Professor

University of TorontoCanada

Benjamin Alarie is a Professor and the Osler Chair in Business Law at the University of Toronto Faculty of Law. He is a leading scholar at the intersection of artificial intelligence, law, and taxation, and the co-founder and CEO of Blue J, an AI-powered tax research platform used by over 3,000 organizations across North America and the UK. Education: LL.M. – Yale Law School (2003) J.D. – University of Toronto (2002), with honours M.A. – University of Toronto (2002) B.A. – Wilfrid Laurier University (1999), with high distinction Research Interests: Alarie’s research spans tax law , legal theory , judicial behaviour , and the applications of machine learning in law . He introduced the concept of the “legal singularity”—the idea that legal systems may evolve toward greater clarity and predictability through AI and computational methods. His work explores how AI can enhance legal reasoning, regulatory design, and tax compliance. He is particularly focused on the ethical and practical implications of generative AI in legal and tax practice, including liability, transparency, and the future role of human practitioners in AI-augmented systems. Scientific Awards: PROSE Award (2024) for The Legal Singularity Donner Prize shortlist (2024) for The Legal Singularity vLex Fastcase 50 Honoree (2023) Top 50 Changemaker, The Globe and Mail (2022) Alan Mewett QC Prize for Excellence (2009) Advising & Grants: Alarie is a frequent advisor to courts, government agencies, and global professional networks. His work at Blue J involves strategic partnerships with CPA.com, CPA Canada, the National Association of Tax Professionals, Big 4 accounting firms, and Tax Notes. He also serves as a faculty affiliate at the Vector Institute for AI and the Schwartz Reisman Institute for Technology and Society. Labs & Teams: As CEO of Blue J, Alarie leads a multidisciplinary team of legal scholars, engineers, and data scientists. The platform is used by tax authorities and accounting firms to deliver precise, defensible, and efficient tax research and decision-making tools.

Official University Profile

Lisa AustinView profile

Professor

University of TorontoCanada

Lisa Austin is a Professor of Law at the University of Toronto Faculty of Law, holding the Chair in Law and Technology. She serves as Associate Director at the Schwartz Reisman Institute for Technology and Society and is a Faculty Associate at Harvard University's Berkman Klein Center. Previously, she co-founded the IT3 Lab at the University of Toronto, which conducted interdisciplinary research on privacy and transparency issues. Professor Austin earned her BA &Sc from McMaster University (1994), MA from the University of Toronto (1995), LLB from the University of Toronto (1998), and PhD from the University of Toronto (2005). She was called to the Bar of Ontario in 2006 and previously served as law clerk to Mr. Justice Frank Iacobucci of the Supreme Court of Canada. Her research spans data governance, privacy law, property law, and legal theory. Professor Austin has published in prestigious journals including Legal Theory , Law and Philosophy , Theoretical Inquiries in Law , and Canadian Journal of Law and Society . She co-edited Private Law and the Rule of Law (Oxford University Press, 2015), challenging the conventional understanding that the rule of law applies only to public law. Professor Austin's scholarship consistently emphasizes the relationship between privacy, power dynamics, and legal frameworks, arguing that privacy is fundamentally about power rather than mere consent or harm prevention. Her recent work addresses pressing issues including the data governance gap during the COVID-19 pandemic, digital rethinking of constitutional privacy protections, and smart city data governance. 2017 President's Impact Award from the University of Toronto Professor Austin actively engages in policy discussions, having submitted testimony before parliamentary committees on privacy legislation reform, including the Privacy Act and the Security of Canada Information Sharing Act. Her work bridges academic scholarship with practical policy impact, making her a leading voice in Canadian privacy law and technology governance.

Official University Profile