programming language semantics 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 207 supervisors

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

Alan RitterView profile

Associate Professor

McGill UniversityCanada

Alan Ritter is an Associate Professor at the School of Interactive Computing , Georgia Institute of Technology, with additional affiliation to the Machine Learning Center . His research focuses on Natural Language Processing , particularly robust models across domains/languages with fewer labels and efficient resource use, plus data-driven dialogue agents for open-topic conversations. Research Interests : Robust NLP models, cross-lingual transfer, resource-efficient learning, dialogue systems, cultural bias measurement, and privacy-aware language models Students : Mentors Ph.D. students in Georgia Tech's ML and CS programs, including Junmo Kang, Yang Chen, and Duong Minh Le. Alumni include Fan Bai (Ph.D. 2023), Yang Chen (Ph.D. 2024), and Andrew Li (M.S. 2024). Awards : NSF CAREER Award, Amazon Research Award, ACL 2024 Best Social Impact Paper, IUI 2009 Best Student Paper. Recent Work : Studies training budget allocation between supervised and preference-based finetuning, cross-lingual information extraction, cultural bias in LLMs, and privacy risk mitigation in social media disclosures. Service : Served as Program Chair for NAACL 2025, Area Chair for multiple top-tier conferences (COLM, EMNLP, ACL, EACL, AAAI). Email : alan.ritter@cc.gatech.edu

Official University Profile

Jackie Chit Kit CheungView profile

Associate Professor

University of QuebecCanada

Jackie Chit Kit Cheung is an Associate Professor in the School of Computer Science at McGill University, where he co-directs the Reasoning and Learning Lab. He holds the Canada CIFAR AI Chair and serves as an Associate Scientific Co-Director at the Mila Quebec AI Institute. He is also a consulting researcher at Microsoft Research Montreal. Academic Background: Ph.D. in Computer Science, University of Toronto (2010–2014) M.Sc. in Computer Science, University of Toronto (2008–2010) B.Sc. (Honours) in Computer Science, minors in Linguistics and German, University of British Columbia (2004–2008) Research Interests: Jackie Cheung's research lies at the intersection of natural language processing, machine learning, and cognitive science. He focuses on natural language generation , automatic summarization , commonsense and pragmatic reasoning , and the evaluation of NLP systems . His work aims to build language models that reflect real-world structure and reasoning, with applications in health, education, and language revitalization. He is particularly interested in how implicit meaning is processed in context, a core concern in linguistic pragmatics. Publication Trends: His recent publications (2024–2025) show a strong emphasis on evaluation methodologies (e.g., COSMIC, ECBD), hallucination and factuality in language models, coreference and reasoning , and long-context modeling . He frequently collaborates across institutions and integrates insights from linguistics and psychology into NLP system design and analysis. Scientific Awards: Best Paper Award, ACL 2018 Outstanding Paper Award, NAACL 2018 Student Research Workshop SAC Award, ACL 2024 (for COSMIC) Best Poster Award, CMDO AI-Health Symposium 2024 Advising and Grants: He advises a large and diverse group of graduate students, including PhD and Master’s candidates, often in co-supervision with other faculty. His group has received support from major AI and health research initiatives, including CIFAR and Mila. He has trained alumni who have gone on to faculty and industry research positions. He has served in leadership roles in top NLP conferences, including as Senior Area Chair, Workshop Chair, and Program Chair of Canadian AI 2018. Labs and Teams: He co-directs the Reasoning and Learning Lab at McGill and is deeply involved with Mila – Quebec AI Institute . He founded the NLP Reading Group at McGill, which brings together researchers from computer science, linguistics, and information studies to discuss theoretical and applied NLP topics.

Official University Profile

Freda ShiView profile

Assistant Professor

University of WaterlooCanada

Freda Shi is an Assistant Professor at the David R. Cheriton School of Computer Science at the University of Waterloo and a Faculty Member at the Vector Institute, where she holds a Canada CIFAR AI Chair. She joined the University of Waterloo in July 2024 after completing her Ph.D. at the Toyota Technological Institute at Chicago. Educational Background: Ph.D. in Computer Science, Toyota Technological Institute at Chicago (2024), advised by Professors Karen Livescu and Kevin Gimpel Bachelor's degree in Intelligence Science and Technology (Computer Science Track) with a minor in Sociology, Peking University (2018) Dr. Shi's research focuses on computational linguistics and natural language processing, particularly on deeper understandings of natural language and the human language processing mechanism. She is especially interested in learning language through grounding, computational multilingualism, and related machine learning aspects. Her work aims to inform the design of more efficient, effective, safe, and trustworthy NLP systems. She leads the CompLING Lab at the University of Waterloo, which investigates how language models process spatial relationships and acquire linguistic structures through grounded experiences. Her publication record shows a consistent trajectory of high-impact research, with recent work focusing on spatial reasoning in vision-language models, multilingual chain-of-thought capabilities, and grounded language acquisition. She has published in top-tier conferences including ACL, EMNLP, ICLR, and NAACL, with several papers receiving notable recognition including Best Paper Nominee status at multiple venues. Her research bridges theoretical linguistics with practical NLP applications, demonstrating how linguistic insights can improve AI systems. Scientific Recognition: Canada CIFAR AI Chair (2024) Google Ph.D. Fellowship Thesis of Distinction for her doctoral work Multiple Best Paper Nominee awards at major NLP conferences Dr. Shi teaches CS 784: Computational Linguistics and CS 486/686: Introduction to Artificial Intelligence at the University of Waterloo. She actively contributes to the NLP research community through conference participation, program committee service, and collaborative projects. Her research has significant implications for creating more robust, human-like language understanding systems and advancing the field of grounded language learning in artificial intelligence.

Official University Profile

Peter SelingerView profile

Professor

Dalhousie UniversityCanada

Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.

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

Charles YangView profile

Professor

University of QuebecCanada

Charles Yang is a Professor of Linguistics and Computer Science at the University of Pennsylvania , where he also directs the Cognitive Science Program. His research integrates computational models with studies of language acquisition, processing, and evolution. Education: Ph.D. in Computer Science, MIT, 2000 Yang's work spans language acquisition , computational linguistics, and the evolution of cognition. He has authored The Price of Linguistic Productivity (2016), which received the Leonard Bloomfield Award from the LSA. Recent publications focus on large language models as cognitive models, the Chinese aspectual system , and statistical approaches to linguistic patterns. His 15 most recent articles (2025-2021) demonstrate a trajectory from computational models of language change to machine translation and multiword expression analysis . Yang has received significant funding from the National Science Foundation and the Guggenheim Foundation . He co-directs the Integrated Language Science and Technology group with John Trueswell and mentors students in linguistics, computer science, and psychology.

Official University Profile

Jelle HellingsView profile

Assistant Professor

McMaster UniversityCanada

Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.

Official University Profile

Diana InkpenView profile

Professor

University of OttawaCanada

Professor Diana Inkpen is a faculty member at the School of Electrical Engineering and Computer Science, University of Ottawa. She holds a Ph.D. from the University of Toronto's Department of Computer Science and degrees from the Technical University of Cluj-Napoca, Romania (M.Sc. and B.Eng.). Her research focuses on computational linguistics, natural language processing (NLP), and artificial intelligence, with specialties in natural language understanding/generation, lexical semantics, and semantic web agents. Education: Ph.D., Computer Science, University of Toronto M.Sc., Computer Science and Engineering, Technical University of Cluj-Napoca B.Eng., Computer Science and Engineering, Technical University of Cluj-Napoca Affiliations: Director, NLP Lab Editor-in-Chief, Computational Intelligence journal Associate Editor, Natural Language Engineering journal Her research has led to roles such as program co-chair for AI 2012 and leadership in organizing international workshops. She has received funding from NSERC, SSHRC, and OCE, and was honored with a Visiting Professor title at the University of Wolverhampton, UK. Her teaching spans courses like Information Retrieval, Natural Language Processing, and Prolog programming. Professor Inkpen's work bridges NLP innovations with societal challenges, including mental health surveillance via social media analysis and bias mitigation in AI systems. She actively contributes to interdisciplinary projects, such as detecting hate speech and legal text entailment, while maintaining a global research network through collaborations and international conference involvement.

Official University Profile

Angel Xuan ChangView profile

Associate Professor

Simon Fraser UniversityCanada

Angel Xuan Chang is an Associate Professor at Simon Fraser University's School of Computing Science, where she leads research at the intersection of natural language processing, computer vision, and 3D scene understanding. She holds the prestigious Canada CIFAR AI Chair position and is affiliated with multiple research groups including 3DLG, GrUVi, SFU NatLang, SFU AI/ML, and VINCI. PhD in Computer Science, Stanford University MSc in Computer Science, Stanford University M.Eng in Electrical Engineering and Computer Science, MIT BSc in Computer Science and Engineering, MIT Professor Chang's research primarily focuses on connecting language to 3D representations of shapes and scenes, with particular emphasis on grounding language for embodied agents in indoor environments. Her work spans natural language processing and understanding, linking natural language with visual and 3D representations, multimodal grounding of language, embodied AI, and machine learning applications for biodiversity monitoring through the BIOSCAN project. She has developed methods for synthesizing 3D scenes and shapes from natural language and created various datasets for 3D scene understanding. Her recent publications reveal a strong trend toward integrating language understanding with 3D scene generation and manipulation, with increasing focus on practical applications in embodied AI and biodiversity monitoring. The research shows progression from foundational work on text-to-3D scene generation to more sophisticated approaches for evaluating semantic coherence in generated scenes and developing efficient methods for zero-shot scene modeling. Canada CIFAR AI Chair TUM-IAS Hans Fischer Fellow (2018-2022) Best paper award at 3DV 2025 for 'An Object is Worth 64x64 Pixels: Generating 3D Object via Image Diffusion' Professor Chang actively advises numerous graduate students who appear as first authors on her publications, indicating a strong mentoring program. Her research is supported through multiple channels including the CIFAR AI Chair position and likely various research grants supporting her BIOSCAN-related work and 3D scene understanding projects. She has been involved in organizing multiple workshops at major conferences including ICML, CVPR, and ICLR. Her research is conducted through several interconnected groups: 3DLG (3D Language and Graphics), GrUVi (Graphics, Vision, and Interaction), SFU NatLang (Natural Language Processing), SFU AI/ML, and VINCI. These groups work collaboratively on problems spanning language grounding, 3D scene understanding, embodied AI, and biodiversity applications, creating a rich interdisciplinary research environment.

Official University Profile

Xiaohui YuView profile

Professor

York UniversityCanada

Xiaohui Yu is a Professor and Graduate Program Director in the School of Information Technology at York University. He holds a BSc from Nanjing University, an MPhil from the Chinese University of Hong Kong, and a PhD from the University of Toronto. His research focuses on the intersection of data management and machine learning, including ML-based database systems, large-scale machine learning, and spatio-temporal data analysis in contexts like intelligent transportation systems and social networks. Supported by grants from NSERC and industry partners, his work has been published in top venues such as SIGMOD, VLDB, and TKDE. He serves as an Associate Editor for journals like IEEE TKDE and ACM TKDD, and actively participates in conference program committees. Education: BSc (Nanjing University), MPhil (Chinese University of Hong Kong), PhD (University of Toronto). Research Interests: Big data management, database systems, machine learning, spatio-temporal data analytics, and video query processing. Recent articles emphasize ML-driven database components, efficient video query optimization, and scalable algorithms for large-scale data. His work addresses challenges in query processing, indexing, and real-time systems. Service: Serves on editorial boards (e.g., Information Systems), and chairs/workshops (e.g., Symposium on Data Markets). Active in program committees for SIGMOD, ICDE, and other leading conferences. Advising & Grants: Directs graduate programs and leads research groups. Collaborates with industry on data marketplaces and AI model integration. No specific student names listed, but actively recruits PhD/Master’s candidates.

Official University Profile

Marco PedersoliView profile

Assistant Professor

École de Technologie SupérieureCanada

Marco Pedersoli serves as an Assistant Professor at École de technologie supérieure (ETS) in Montreal since February 2017, where he leads research in computer vision and machine learning. His work focuses on reducing computational costs and annotation requirements for deploying vision algorithms on embedded devices, positioning ETS at the forefront of Montreal's AI ecosystem. His academic journey includes: Ph.D. from Autonomous University of Barcelona (UAB) under Jordi Gonzàlez and Juan José Villanueva Post-doctoral research at INRIA Grenoble with Cordelia Schmid and Jakob Verbeek (2015-2016) Research at KU Leuven with Tinne Tuytelaars (2012-2015) Dr. Pedersoli's research tackles deep learning bottlenecks through weakly-supervised methodologies and computational efficiency innovations . His three core projects address: Reduced Supervision : Developing weakly/semi-supervised learning for images, video, audio and text Exploration Learning : Optimizing data selection in unstructured environments Efficient Computation : Accelerating deep learning training and inference These efforts enable vision algorithms to run on resource-constrained portable devices. Publication trends (2014-2022) reveal consistent focus on weak supervision (60% of works) and computational efficiency (30%), with recent expansion into medical imaging and multimodal emotion recognition. Key venues include CVPR, ICCV, NeurIPS and ECCV. His accolades include: Best Paper Award at ICIAR 2019 NVIDIA Titan X Pascal hardware donation Dr. Pedersoli actively mentors 18 graduate students across PhD and MSc programs, with notable placements at Huawei and Radio Canada. His lab secures competitive tax-free funding for projects with international collaborations, including Element AI and European institutions. Current openings emphasize Python/C++ proficiency and deep learning expertise. He leads a dynamic research group at ETS developing open-source tools for Roi-Pooling, weakly-supervised detection, and 3D object recognition, maintaining active GitHub repositories with community contributions. Recent WACV 2023 acceptances demonstrate ongoing productivity following medical leave.

Official University Profile

Alexander SummersView profile

Associate Professor

University of British ColumbiaCanada

Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.

Official University Profile

Mahdi S. HosseiniView profile

Assistant Professor

Concordia UniversityCanada

Mahdi S. Hosseini is an Assistant Professor in the Department of Computer Science and Software Engineering at Concordia University and a faculty member of the Applied AI Institute. He holds a PhD from the University of Toronto (2016) and completed a postdoctoral fellowship at UofT, supported by MITACS-Elevate and NSERC fellowships. His research focuses on advancing deep learning and computer vision for computational pathology and healthcare technologies, aiming to develop AI tools for clinical diagnosis. He currently supervises graduate students and has published over 30 papers and two patents. Education: PhD in Electrical and Computer Engineering from the University of Toronto (2016), postdoctoral training at UofT collaborating with Huron Digital Pathology Inc. (Waterloo, Ontario). Research interests include deep learning, computer vision, computational pathology, medical imaging, and AI ethics (P4AI project). His work emphasizes developing explainable AI systems for clinical pathology, biomarker discovery, and efficient learning algorithms. Professional service includes serving as Area Chair for NeurIPS 2023, CVPR 2023-2024, and ECCV 2024. He reviews grants for CIHR, NSERC, and serves on program committees for key conferences (ICCV, CVPR, NeurIPS). Teaching includes courses on applied AI, machine learning, and deep learning for computational pathology at both graduate and undergraduate levels. Awards: MITACS-Elevate Fellowship (postdoc), NSERC Research Funding (2016-2017). His work has led to patents in diagnostic systems and has collaborated with hospitals and pathologists to advance clinical applications. Labs/Teams: Active collaborations with the Applied AI Institute at Concordia, Huron Digital Pathology, and healthcare institutions. Research emphasizes interdisciplinary approaches between computer science and clinical medicine.

Official University Profile

M. Tamer ÖzsuView profile

Professor

University of WaterlooCanada

M. Tamer Özsu is a University Professor of Computer Science at the David R. Cheriton School of Computer Science, University of Waterloo, where he holds a Cheriton Faculty Fellowship. He also serves as a Distinguished Visiting Professor at Tsinghua University and is the Founding Director of Waterloo-Huawei Joint Innovation Laboratory since 2018. His extensive contributions to computing have earned him numerous prestigious awards including the 2024 ACM Presidential Award for long-standing and significant contributions to the computing field. Professor Özsu's research focuses on data engineering aspects of data science, particularly addressing data management issues with two main foci: management of non-traditional data and large-scale distributed data management. He is renowned for his seminal book "Principles of Distributed Database Systems" (co-authored with Patrick Valduriez), now in its fourth edition, and the "Encyclopedia of Database Systems" (co-edited with Ling Liu), in its second edition. His work bridges theoretical foundations with practical system implementations, targeting grand societal challenges through computational approaches. His recent publications reveal a strong trend toward graph analytics, streaming data processing, and the integration of large language models with vector data management. The research shows increasing focus on GPU-accelerated graph processing, RDF query optimization, and multimodal data analysis, reflecting the evolution of data management challenges in the era of big data and AI. His work continues to address fundamental challenges in distributed data systems while adapting to emerging technologies and application domains. Scientific Awards and Fellowships ACM Presidential Award (2024) IEEE TCDE Education Award (2024) IEEE Innovation in Societal Infrastructure Award (2022) CS Can | Info Can Lifetime Achievement Award (2018/2019) ACM SIGMOD Test-of-Time Award (2015) ACM SIGMOD Contributions Award (2006) The Ohio State University College of Engineering Distinguished Alumnus Award (2008) Fellow of the Royal Society of Canada Fellow of the American Association for the Advancement of Science (AAAS) Life Fellow of the Association for Computing Machinery (ACM) Life Fellow of the Institute of Electrical and Electronics Engineers (IEEE) Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA) Elected member of the Science Academy, Türkiye Professor Özsu has been deeply involved in academic leadership and community building. As Founding Editor-in-Chief of ACM Books (2013-2019), he launched a series that by 2019 had published 28 major books with another 30 under contract. His service to ACM, particularly through SIGMOD, has been exemplary and widely recognized. He directs the Waterloo-Huawei Joint Innovation Laboratory, which focuses on cutting-edge research in data management and distributed systems, fostering strong industry-academia collaboration.

Official University Profile

Mohammad HamdaqaView profile

Associate Professor

Polytechnic School of MontrealCanada

Mohammad Hamdaqa is an Associate Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal, where he leads the Laboratory of Software and Emerging Technologies. His academic journey includes a Ph.D. in Electrical and Computer Engineering from the University of Waterloo (2016), a Master's in Electrical and Computer Engineering from Concordia University, an MBA from the New York Institute of Technology, and a Bachelor's in Computer Engineering from Jordan University of Science and Technology. His research focuses on the intersection of software engineering and emerging technologies, particularly examining how software engineering approaches can be adapted for complex new platforms like cloud computing and blockchain. His work spans model-driven software engineering, cloud application architecture, smart contract development, and infrastructure as code. He investigates both how traditional software engineering practices can evolve to address the challenges of modern distributed systems and how emerging technologies can transform software development processes themselves. Analysis of his recent publications reveals a strong emphasis on blockchain technologies (particularly smart contracts), cloud-native applications, and the application of AI to software engineering tasks. His work shows a consistent thread of empirical research combined with practical tool development, with increasing focus on sustainability aspects of software systems in recent years. Much of his research bridges theoretical foundations with practical implementation concerns. Professor Hamdaqa serves as a thesis supervisor for multiple graduate students, with recent completed Master's theses focusing on smart contract auditing, prompt engineering for OCL generation, model-driven epidemiology, and security practices in infrastructure as code. He actively recruits students for research projects in his laboratory. He is a member of both the IEEE Computer Society and the Association for Computing Machinery (ACM), has served on program committees for major software engineering conferences, and is on the editorial board of Service Transaction on Internet of Thing. His laboratory, the Laboratory of Software and Emerging Technologies, serves as the hub for his research activities in blockchain, cloud computing, and model-driven engineering.

Official University Profile