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.
Gautam Kamath is an Assistant Professor at the University of Waterloo's Cheriton School of Computer Science, a Faculty Member at the Vector Institute, and a Canada CIFAR AI Chair. He leads The Salon, a research group focused on statistics, algorithms, machine learning, and optimization. His work bridges theoretical foundations with practical applications in data privacy and robustness, contributing to both academic research and real-world deployments that impact millions of users. Dr. Kamath earned his PhD and SM degrees in Electrical Engineering and Computer Science at MIT, where he was advised by Costis Daskalakis. Prior to MIT, he graduated from Cornell University in May 2012 with a degree in Computer Science and Electrical and Computer Engineering, where he worked with Bobby Kleinberg. His academic journey reflects a strong foundation in both theoretical computer science and practical applications. His research focuses on developing solutions for trustworthy and reliable machine learning and statistics, with particular emphasis on data privacy and robustness. He addresses fundamental problems in these areas, revitalizing statistical toolkits for the modern data era where privacy preservation is paramount. His work spans theoretical foundations of differential privacy to practical applications that have been deployed at scale, including contributions to systems that protect the sensitive information of hundreds of millions of individuals. Analysis of his recent publications reveals a strong trend toward addressing the interplay between privacy, robustness, and machine learning performance. His work increasingly examines practical deployment challenges while maintaining theoretical rigor, with growing emphasis on diffusion models, generative AI, and the legal implications of AI systems. There's a clear trajectory from foundational privacy theory toward addressing real-world implementation challenges across diverse application domains. Canada CIFAR AI Chair Ontario Early Researcher Award 2024 Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies STOC Best Student Presentation Award ICML 2024 Best Paper Award Microsoft Research Fellow at the Simons Institute for the Theory of Computing Dr. Kamath actively mentors students, with notable successes including Valentio Iverson winning the Germain-Erdős Undergraduate Award and Chris Trevisan receiving the CRA Outstanding Undergraduate Researcher Award. His service to the research community is extensive, serving as Editor-in-Chief of TMLR, on the Executive Committee of the Learning Theory Alliance, and on steering committees for major conferences including ICML, COLT, and ALT. He has organized numerous workshops focused on privacy-preserving machine learning and differential privacy. Through The Salon research group, Dr. Kamath fosters a collaborative environment where postdoctoral fellows, graduate students, and undergraduates work together on cutting-edge problems at the intersection of statistics, algorithms, machine learning, and optimization. The group maintains strong connections with industry partners and participates in major research initiatives, including the Vector Institute's privacy and security research efforts. Looking forward, Dr. Kamath will be moving to the Computer Science department at NYU's Courant Institute of Mathematical Sciences in September 2026, where he plans to expand his research program.
Xuemin (Sherman) Shen is a University Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), the Royal Society of Canada, the Canadian Academy of Engineering, and the Engineering Institute of Canada. Professor Shen serves as Editor-in-Chief of multiple prestigious journals including the IEEE Internet of Things Journal and Springer Peer-to-Peer Networking and Applications. Dr. Shen received his Doctorate in Electrical Engineering from Rutgers University in 1990, following a Master of Applied Science from the same institution in 1987. His undergraduate degree is a Bachelor of Applied Science in Electrical Engineering from Dalian Marine University, China (1982). Professor Shen's research spans wireless communications and networking, with particular expertise in resource allocation, mobility management, wireless network security, and privacy preservation. His work extends to IoT applications, connected and automated vehicles, network digital twins, and satellite-terrestrial networks. His research has been applied to vehicular networks, wireless body area networks, remote e-healthcare systems, and smart grid technologies, demonstrating both theoretical depth and practical impact across multiple domains. His recent publications reveal strong trends in AI-assisted networking, security and privacy preservation for IoT applications, and energy management in vehicular and smart grid systems. The research shows an increasing focus on integrating AI techniques with traditional networking approaches, addressing critical challenges in security, privacy, and resource management for next-generation wireless systems. R.A. Fessenden Award (2019) from IEEE Canada James Evans Avant Garde Award (2018) from the IEEE Vehicular Technology Society Joseph LoCicero Award (2015) from the IEEE Communications Society Education Award (2017) from the IEEE Communications Society West Lake Friendship Award from Zhejiang Province (2023) President's Excellence in Research from University of Waterloo (2022) Canadian Award for Telecommunications Research (2021) Professor Shen has mentored over 100 graduate students and postdoctoral fellows throughout his career, with many now holding prominent academic positions at top universities worldwide. His supervision has been recognized with multiple awards including the Award of Excellence in Graduate Supervision (2006) from the University of Waterloo. He has served in numerous leadership roles including Past President of the IEEE Communications Society and has chaired major international conferences including IEEE Globecom 2024.
Brian Leung is an Associate Professor at McGill University, jointly affiliated with the Department of Biology and the Bieler School of the Environment . He holds the prestigious UNESCO Chair for Dialogues on Sustainability and serves as Director of the McGill Neotropical Environment Option (NEO) , a collaborative program with the Smithsonian Tropical Research Institute. His work bridges ecological theory, computational modeling, and environmental policy. Dr. Leung earned his PhD in Biology from Carleton University and completed postdoctoral research at the University of Cambridge and the University of Notre Dame. His academic journey at McGill began in 2004 as an Assistant Professor, advancing to Associate Professor in 2010. His research centers on predictive ecology , particularly modeling biological invasions and sustainability challenges . He develops and applies mathematical, statistical, and computational models to understand invasion dynamics across terrestrial, aquatic, and marine systems. His recent work includes the Panama Research and Integrated Sustainability Model (PRISM) , a spatially explicit framework for sustainability science in the Global South. His research spans scales from local to global and integrates ecological, economic, and social factors. His recent publications show a strong focus on invasion risk assessment , species distribution modeling , economic costs of invasions , and ecological forecasting . He frequently publishes in top journals such as Nature , Ecology Letters , and Global Ecology and Biogeography , emphasizing data-driven decision-making and policy relevance. Dr. Leung has received significant recognition through invitations to contribute to major reports and has co-edited influential works on invasive species economics. While specific named awards are not listed, his leadership roles and publication record reflect high scientific esteem. He actively mentors a dynamic research group, supervising multiple Ph.D. and M.Sc. students on projects related to invasion modeling, mangrove conservation, forest pest dynamics, and urban ecology. His lab emphasizes quantitative skills and interdisciplinary collaboration. He has secured research funding to support these projects, though specific grants are not detailed in the text. He leads the Leung Lab , which focuses on predictive modeling in ecology and sustainability. The lab collaborates with institutions such as the Smithsonian Tropical Research Institute and environmental firms like Habitat. Current projects include multi-species connectivity modeling, mangrove ecosystem services, and forecasting forest pest outbreaks.
Juan Wang is an Associate Professor at McGill University, specializing in the study of the Chinese state, its institutional dynamics, and interactions between state and non-state actors. His research focuses on China's political economy of development, legal systems, and authoritarian governance. He holds a PhD from Johns Hopkins University and teaches courses on Chinese politics, contentious politics, and judicial systems. Research interests emphasize the construction of bureaucracy, local governance patterns, and epistemology of state power. Methodologically, he uses qualitative and historical approaches to explore topics like judicial corruption, police evolution, and cadre discipline. Recent work examines authoritarian cue effects and comparative citizen categorization systems in China and North Korea. His publications span journals such as American Journal of Political Science and China Law and Society Review , analyzing themes like state repression mechanisms, legal mediation practices, and subnational court empowerment. He has contributed a seminal book The Sinews of State Power (2017) on rural governance dynamics. Advising and grants information is not explicitly detailed in the provided text.
Shiva Nejati is a Professor at the University of Ottawa 's School of Electrical Engineering and Computer Science . He holds a PhD in Computer Science from the University of Toronto and previously worked as a Senior Scientist (2012-2019) and Scientist (2009-2012) at the SnT Centre (University of Luxembourg) and Simula Research Laboratory. Research focus: Software engineering for cyber-physical systems (autonomous vehicles, IoT), blending formal verification, machine learning, and search-based testing Key tools developed: ARIsTEO, SOCRaTEs, SimCoTest, EPIcuRus Editorial roles: Associate Editor for EMSE Journal (2025–), ASE Journal (2025–), IEEE Transactions on Software Engineering (2020–2024) His work combines formal methods , empirical software engineering , and AI/ML to address verification challenges in complex systems, particularly through evolutionary algorithms and surrogate modeling . Notable collaborations include industry partners in telecommunications, automotive, and aerospace sectors. Recent publications emphasize large language models for requirements analysis, adversarial testing of vision systems, and multi-objective optimization for test generation. His Sedna Research Lab actively trains graduate students in these cutting-edge methodologies.
Georges Kaddoum is a Professor at École de technologie supérieure (ÉTS) , specializing in Electrical Engineering. He holds the Canada Research Chair in Unlocking the Power of IoT 6G-Networks and the LACIME – Communications and Microelectronic Integration Laboratory affiliation. His work bridges wireless communications, IoT, and machine learning. Research Interests include wireless communication systems, physical layer security, machine learning for networking, and 6G technologies. He focuses on optimizing network performance in challenging environments (impulsive noise, underwater, non-terrestrial networks) and developing AI-driven solutions for jamming mitigation, resource allocation, and secure IoT frameworks. Recent Publications highlight 6G-enabled vehicular networks, quantum-safe blockchain integration, federated learning for transportation systems, and deep learning-based receivers for chaotic communication systems. His work emphasizes semantic communication, interference management, and digital twin applications. Awards IEEE TCSC Award for Excellence in Scalable Computing (2022) Prix d’excellence de la relève (Université du Québec, 2018) Prix d’excellence en recherche (ÉTS, 2018) Multiple IEEE Exemplary Reviewer and Best Paper Awards (2014–2022) Supervision includes 15+ PhD/Master’s students working on topics like index modulation, physical layer security, UAV communications, and intelligent resource management. Research Units Ultra Research Chair on Intelligent Tactical Wireless Networks LACIME Laboratory Canada Research Chair in IoT 6G-Networks
Ahmad Al-Dabbagh is an Assistant Professor in Manufacturing Engineering and holds a Principal's Research Chair in Control Systems (Tier 2) with the School of Engineering at The University of British Columbia. As a Senior Member of IEEE and ISA, he contributes significantly to the field of resilient automation and control systems through research, teaching, and professional service. His academic journey includes postdoctoral fellowships at Imperial College London, the University of Toronto, and the University of Alberta, where he also earned his PhD in Electrical and Computer Engineering. Dr. Al-Dabbagh's research focuses on designing resilient automation and control systems by addressing critical challenges in fault diagnosis, cyber security, and alarm management. His work spans theoretical foundations and practical applications in industrial control systems, with particular emphasis on detection and isolation of faults and cyber attacks, control reconfiguration, event-triggered control, remote state estimation, and alarm systems design. His research interests also extend to causality analysis, prediction methods, and root cause analysis for industrial processes. His extensive publication record demonstrates consistent contributions to control systems security and reliability, with recent work focusing on sophisticated methods for detecting false data injection attacks, analyzing alarm correlations using advanced machine learning techniques, and developing recommender systems for human operators in industrial environments. The trajectory of his research shows an evolution from foundational control theory toward increasingly complex applications in cyber-physical security and human-system interaction in industrial settings. NSERC Postdoctoral Fellowship NSERC Alexander Graham Bell Canada Graduate Scholarship (CGS – D3) Queen Elizabeth II Graduate Scholarship Governor General's Academic Medal (Gold) As a graduate student supervisor, Dr. Al-Dabbagh mentors the next generation of control systems engineers while maintaining an active research program. He serves as an Associate Editor on the IEEE Control Systems Society Conference Editorial Board and is a licensed Professional Engineer in British Columbia and Ontario. His teaching portfolio includes courses such as System Identification, Digital Enterprise, Systems and Control, and Internet of Things, reflecting the breadth of his expertise. Dr. Al-Dabbagh leads the Okanagan Laboratory for Control Systems Research, where his team develops innovative approaches to enhance the security and reliability of industrial automation systems. The laboratory serves as a hub for interdisciplinary research that bridges theoretical control engineering with practical industrial applications, particularly in the energy, manufacturing, and process industries.
Hisham Zerriffi is an Associate Professor at the University of British Columbia (UBC) in the Department of Forest Resources Management, Faculty of Forestry. He also serves as Associate Dean for Equity, Diversity, and Inclusion. His research intersects technology, energy, and the environment, focusing on rural areas in the Global South. Affiliation: BioProducts Institute Affiliation: Clean Energy Research Centre Affiliation: Institute for Resources, Environment and Sustainability His research examines institutional factors in technology diffusion, household energy choices, and welfare impacts of energy use. Current projects include analyzing forest density's ecological impact, clean cooking transitions in India, and decentralized energy systems. Recent publications address just transitions, biomass energy economics, and policy misalignments in Indigenous communities. He has authored works on climate change mitigation via forest carbon credits and rural electrification strategies. Scientific Award: Ivan Head South/North Research Chair As a PhD supervisor, he has guided Natalie Payer on urban energy poverty in the U.S. He collaborates on interdisciplinary grants and leads the Energy Resources, Development and Environment Lab (ERDELab).
Andrew Warfield is an Adjunct Professor in the Department of Computer Science at the University of British Columbia (UBC) and a Senior Principal Engineer at Amazon. His research focuses on computer systems software, including virtualization, distributed storage, security, and high-availability systems. He previously held roles as Associate Professor at UBC, CTO at Coho Data, and Technical Director at Citrix Systems. His work has led to projects like Remus (high-availability replication), Tralfamadore (execution analysis), and secure hypervisor development with Xen. Warfield's education includes a PhD from the University of Cambridge's Computer Laboratory, where he researched I/O device virtualization under Steven Hand. He has held visiting roles at Intel Research Cambridge and internships at AT&T Research and Nortel Networks. Research Grants: Supported by Intel Research, NSERC, Network Appliance, and the Communications Security Establishment. Professional Activities: Technical Advisory Board Member at Teradici, and involvement in program committees for conferences like HotOS, EuroSys, and FAST. His research emphasizes practical systems, aiming to bridge the gap between theoretical computer science and real-world applications. Notable contributions include innovations in storage for virtualized environments, secure hypervisor architectures, and disaster-tolerant systems like SecondSite. Warfield is affiliated with UBC's Department of Computer Science and maintains active collaboration with industry partners. Though currently not actively recruiting students, his prior mentorship has influenced many in systems research.
Yashar Ganjali is a Professor in the Department of Computer Science at the University of Toronto , leading the Systems and Networking Group . His research spans computer networks , with a focus on data center networking , software-defined networking (SDN) , and congestion control . Education : Not explicitly detailed, but inferred from academic rank as a Professor. His work on flow consolidation , load migration in SDN controllers , and machine learning for network management has been influential. Recent projects include FORESIGHT (2025) for ML-driven scheduling and Meta-Migration (2023) to reduce switch migration latency. Scientific Awards include the IFIP Networking 2025 Best Paper Award . Collaborations with institutions like Google (2024) and Facebook (2019) highlight his industry impact. Advisees include Sepehr Abbasi Zadeh (PhD, 2024). Current projects integrate optical packet switching and eBPF-based network augmentation , aiming to address scalability, micro-bursts, and resource allocation efficiency in cloud environments.
Mathias Lécuyer is an Assistant Professor in the Computer Science Department at the University of British Columbia (UBC) , part of the Faculty of Science . His research focuses on trustworthy AI systems, with emphasis on privacy (differential privacy), adversarial robustness, and causal machine learning. He leads the Systopia Lab and collaborates with groups such as UBC S&P, TrustML, and CAIDA. Education: PhD in Computer Science from Columbia University (2019), MSc from Columbia University (2013) and École Polytechnique (2011). Research Interests: Ensuring rigorous guarantees for AI systems via differential privacy, robustness against adversarial attacks, and causal inference. His work spans theoretical foundations and practical implementations in areas like privacy-preserving systems, federated learning, and transparent machine learning. Awards: SOSP Distinguished Artifact Honorable Mention (2024), Google Research Award (2022), Bourse Carnot Fellowship (2011), and UBC’s top teaching evaluations (2021). Advising & Service: Supervised over 20 students (PhD, MSc, undergrad) across privacy and machine learning topics. Serves on PCs for top conferences (OSDI, S&P, NeurIPS) and organizes workshops like TrustML @ UBC. Actively mentors high school students in ML research through outreach programs. Labs/Teams: Leads the Systopia Lab at UBC, focusing on AI safety and privacy. Collaborates with MSR, Google, and industry partners on practical system implementations.
Victoria Lemieux is a Professor at the University of British Columbia (UBC) Faculty of Arts, School of Information, and Cluster Lead for Blockchain@UBC, Canada’s largest research cluster focused on blockchain technology. Her research centers on risks to trustworthy records in blockchain systems and their impact on transparency, financial stability, and human rights. She has pioneered Canada’s first research-oriented graduate blockchain training program and organized multiple interdisciplinary summer institutes. Education: Ph.D. in Archival Studies from University College London (2002), Certified Information Systems Security Professional (CISSP, 2005). Affiliated with UBC’s Peter Wall Institute for Advanced Studies, Sauder School of Business, and Institute for Computers, Information and Cognitive Systems (ICICS). Research interests span blockchain technology , trustworthy records , risk management , information governance , and visual analytics , with recent work addressing healthcare data frameworks, Web3 AI integration, and socio-cultural dynamics of decentralized systems. She has published extensively on blockchain applications in archives, land transactions, and privacy-preserving technologies. Scientific Awards : 2015 Emmett Leahy Award 2015 World Bank Big Data Innovation Award 2016 Emerald Literati Award 2016 Emerald Literati Outstanding Paper Award Supervision: Currently accepts doctoral students in Computational Archival Science and blockchain-related archival research. Affiliated with the Blockchain@UBC cluster and multidisciplinary research teams exploring decentralized systems for social good.
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.
Raouf Boutaba is a Professor at the University of Waterloo , serving as Director of the David R. Cheriton School of Computer Science since July 2020. He holds prestigious fellowships including FRSC , FIEEE , FIEC , and FCAE . 2024: Inaugural Rogers Chair in Network Automation 2024: Ontario Research Fund–Research Excellence (ORF–RE) $2M grant for next-gen mobile networks 2021: University Professor title, University of Waterloo Research Interests span network automation, resource management in wired/wireless networks, network function virtualization (NFV), software-defined networking (SDN), cloud computing, blockchain, future Internet architecture, and cybersecurity. His work focuses on zero-touch networks, 5G/B5G slicing, and AI-driven orchestration. Scientific Contributions include 15+ recent publications on topics like reinforcement learning for RAN slicing, encrypted traffic classification, quantum network optimization, and self-driving infrastructure. His projects 5G LEAP and 5G ELITE explore network isolation and Open RAN principles. 2024: IFIP/IEEE CNOM Test of Time Paper Award 2024: Graduate Supervision Excellence Award 2021: Kenneth C. Sevcik Outstanding Student Paper Award (advisor) Teaching includes co-developing the NSERC CREATE Network Softwarization program, offering courses like Network Softwarization: Principles and Foundations (Winter 2024) and Technologies and Enablers since 2018. He emphasizes hands-on training in SDN, NFV, Open RAN, and 5G. Students and Collaborations : Supervised PhD students such as Shihabur R. Chowdhury (2021), Nashid Shahriar (2020), and undergrad Leni Aniva (2022 Gov. Gen. Silver Medal ). His team includes researchers working on 5G, blockchain, and AI-driven network management. Professional Leadership : Organized Rogers TEP Workshops (2024-2025), delivered keynotes at IEEE Globecom, ColCom, and BalkanCom, and served on expert panels for AI orchestration and 5G cybersecurity at major symposia.
