Find Academic Supervisors

Ning Nan is an Associate Professor at the University of British Columbia's Sauder School of Business, specifically within the Department of Accounting and Information Systems. With a BA from Peking University, an MA from the University of Minnesota, and a PhD from the University of Michigan, Dr. Nan focuses on digital business strategy, evolvable IT infrastructure, and complex adaptive systems. His research explores blockchain applications, agent-based modeling, and the intersection of AI with societal challenges like sustainability. Education: PhD in Information Systems, University of Michigan MA in Information Systems, University of Minnesota BA in Computer Science, Peking University Research Interests: Dr. Nan investigates how technology shapes organizational and societal systems, with a focus on AI ethics, sustainability through personalized recommendations, and blockchain's role in decentralized supply chains. He employs agent-based modeling to simulate complex phenomena like innovation diffusion and online community dynamics. Recent work addresses explainable AI in smart cities and carbon-reduction gamification strategies. Teaching: In 2024-2025, he teaches Data Management for Business Analytics , emphasizing practical applications of data-driven decision-making. Key Research Themes: His articles highlight trends in AI sustainability (e.g., carbon footprint impacts of recommendation systems), digital business strategy (blockchain governance, app update strategies), and foundational IS theory (hyperturbulence and IS strategy).

• Digital business strategy
• Evolvable IT infrastructure
• Online community
• +3 more

Nick Koudas is a Professor in the Department of Computer Science at the University of Toronto, specializing in large-scale data management, data systems, and applied machine learning. His research integrates machine learning techniques into scalable data platforms to enhance the analysis of massive datasets. He holds a PhD from the University of Toronto, an MSc from the University of Maryland, and a Bachelor's degree from the University of Patras. Education: PhD, University of Toronto MSc, University of Maryland at College Park Bachelor's degree, University of Patras, Greece Research Interests: Relational Deep Dive (ReDD): Natural language query execution over unstructured documents Streaming Video Queries (SVQ): Interactive query processing for video streams Reliable Text-to-SQL: Generating accurate SQL queries with human-in-the-loop assistance Machine Learning Integration in Data Systems Publications: Focus on video analytics, query processing, and reliable natural language interfaces. Notable works include optimizing video queries, declarative frameworks for temporal constraints, and abstention-based SQL generation. Awards: Inventor of the Year (1st Prize), University of Toronto (2011) Best Paper Awards at international conferences Entrepreneurship & Advising: Co-founder of Sysomos (Meltwater Group), Aislelabs (Constellation Software), and Workorb Advisor to mapintent and ktau Labs & Teams: Leads research groups developing systems like ReDD and SVQ, emphasizing collaboration between academia and industry.

• Large-Scale Data Management
• Data Systems
• Big Data Analysis
• +5 more

Miao Zhengjie serves as an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), joining in October 2023 after a research scientist position at Megagon Labs. His work centers on enhancing data science pipelines through innovations in database systems and artificial intelligence. His academic foundation includes: Ph.D. in Computer Science from Duke University (2022) M.S. in Computer Science from Columbia University (2016) B.S. in Computer Science and Technology from Peking University (2015) Dr. Miao's research spans Database Systems , Data Management , Data Curation , and Data Provenance , with emphasis on AI-driven solutions for data pipeline efficiency. His methodology bridges theoretical database concepts with practical data science applications through novel algorithm development. Analysis of his 15 most recent publications reveals persistent focus areas: query explanation systems (35% of works), data augmentation frameworks (27%), and human-AI collaboration tools (20%). These contributions appear consistently in premier venues including SIGMOD, VLDB, and CHI, demonstrating methodological evolution from foundational query debugging (2019) to LLM-integrated annotation systems (2024). He actively participates in the SFU Data Science Research Group , contributing to interdisciplinary initiatives in large-scale data processing. Current information indicates no formal advisees or grant details are publicly documented in his institutional profile.

• Database Systems
• Data Management
• Data Curation and Integration
• +3 more

Gregory Paradis is an Assistant Professor in the Department of Forest Resources Management at the University of British Columbia (UBC) Faculty of Forestry. His research focuses on sustainable forest management, integrating operations research, mathematical optimization, and systems modeling to address complex interactions between ecosystems, industries, and society. He works with the FRESH Lab and collaborates with the Integrated Remote Sensing Studio, emphasizing ecological and economic integration in forest planning. Sustainable Forest Management Operations Research Forest Economics Data Science Risk Assessment GIS-based Methods His research spans forest inventory optimization, climate change adaptation strategies, wildfire risk modeling, and decision support systems for invasive species. He develops computational frameworks to enhance wood supply planning, carbon management, and ecological resilience. Recent work includes machine learning applications for fire safety in timber structures and automated road planning tools for wildlife conservation. Paradis’s publications highlight trends in applying optimization methods to sustainable forestry, with a focus on biodiversity, climate adaptation, and value chain innovation. He advocates for interdisciplinary approaches that bridge silviculture, industrial engineering, and data science to tackle emerging challenges in forest ecosystems. As an educator, he seeks motivated students with quantitative and creative problem-solving skills. His lab collaborates on remote sensing integration, risk assessment models, and policy-relevant forest management strategies, ensuring plans account for uncertainties like insect infestations or windthrow events.

• Sustainable Forest Management
• Operations Research
• Forest Economics
• +7 more

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

• Cybersecurity
• Machine Learning
• Data Mining
• +7 more

David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.

• Computer Systems Security
• Trusted Execution Environments
• Mobile Platform Security
• +7 more

Qizhen Zhang is a Professor in the Department of Computer Science at the University of Toronto's Faculty of Arts and Science. Specializing in hyperscale data processing systems, Zhang leads research at the intersection of cloud computing, distributed systems, and data center networking. Recent work focuses on network-centric designs for efficient large-scale data processing, including pioneering contributions to disaggregated data center architectures. Research interests center on hyperscale data processing , network-aware system design , and disaggregated infrastructure . Current projects investigate DPU-accelerated systems (dpBento, DPDPU), memory disaggregation (Cowbird, Redy), and blockchain scalability (FlexChain). Zhang's approach systematically integrates network characteristics into distributed system optimization, addressing challenges in trillion-item workloads through novel shuffle layers (TeShu) and compute pushdown mechanisms (TELEPORT). Zhang advises multiple graduate students working on satellite networking (SaTE), federated learning, and DPU-optimized storage (DDS). Professional service includes program committees for SIGMOD, VLDB, NSDI, and EuroSys (2023-2026), plus journal reviews for ACM TODS and IEEE/ACM Transactions on Networking. Industrial collaborations with Microsoft Research have yielded production-oriented systems like Redy and CompuCache. Key contributions include MimicNet for scalable network simulation (SIGCOMM 2021), GraphRex for network-aware graph processing (SIGMOD 2019), and foundational work on disaggregated data centers (CIDR 2020, VLDB 2020). Teaching responsibilities encompass graduate courses CSC2235 (Cloud-native Data Management) and undergraduate CSCC43 (Databases) at the University of Toronto.

• Hyperscale Data Processing
• Cloud Computing
• Network-Centric System Design
• +4 more

Dr. Gary Scavone is a Professor and Department Chair in the Music department at McGill University's Schulich School of Music. He holds a PhD in Computer-Based Music Theory & Acoustics and MS in Electrical Engineering from Stanford University, alongside degrees from Syracuse University in Music and Electrical Engineering. His research focuses on music technology, including acoustic modeling, sound synthesis, and instrument design. He directs the Computational Acoustic Modeling Laboratory (CAML), which explores advanced techniques for simulating musical instruments and developing software tools. As a saxophonist, he specializes in contemporary concert music performance. Research interests include physically-based sound synthesis, wind instrument acoustics, and digital waveguide modeling. He has contributed to studies on brass and woodwind impedance measurements, violin soundpost dynamics, and free-reed instrument modeling. His work bridges engineering and artistry, with applications in music pedagogy, instrument design optimization, and virtual acoustic replication. Key contributions include open-source projects for wind instrument modeling and the development of tools for automated timbre assessment. His research often combines experimental methods with computational simulations, addressing challenges in both theoretical and applied music acoustics. Current projects focus on deep learning for friction modeling, impedance measurement systems, and cross-cultural instrument analysis.

• Music Technology
• Musical Acoustics
• Acoustical Signal Processing
• +3 more

Amir-massoud Farahmand is an Associate Professor at the Polytechnique Montréal (Department of Computer and Software Engineering) and a Status-Only Associate Professor at the University of Toronto (Department of Computer Science). He is also a Core Academic Member at Mila (Quebec AI Institute). His research focuses on computational and statistical mechanisms for designing efficient reinforcement learning (RL) agents and adaptive algorithms. Dr. Farahmand's research spans reinforcement learning, optimal transport, adversarial robustness, and model-based methods. He has extensively studied regularization in RL, distributional approaches, and algorithm design for stability and convergence. His textbook Lecture Notes on Reinforcement Learning (2021) emphasizes mathematical intuition over algorithmic collections. Recent publications highlight trends in high-update-ratio RL, distributional equivalence, and self-prediction for task understanding. He is actively involved in teaching, having previously instructed courses on machine learning, neural networks, and RL at the University of Toronto. Scientific Awards : Ontario Early Researcher Award (2024) for Accelerated Reinforcement Learning Algorithms Dr. Farahmand has mentored numerous students, including his first PhD graduate Yangchen Pan (now at Oxford) and MSc students like Allen Bao (AMD) and Farnam Mansouri (University of Waterloo). He is currently recruiting graduate students at Polytechnique Montréal and Mila for 2025 admissions.

• Reinforcement Learning
• Machine Learning
• Computer Science
• +4 more

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.

• Software Engineering
• Cyber-Physical Systems
• Autonomous Vehicles
• +7 more

Juergen Dingel is a Professor in the School of Computing at Queen's University, Canada. He joined the faculty in 2000 and holds a PhD in Computer Science from Carnegie Mellon University (1999). His research focuses on software modeling, model-driven engineering, formal methods, and formal verification, with applications in real-time systems and embedded systems. He leads the Modeling and Analysis in Software Engineering (MASE) research group. Education: PhD in Computer Science, Carnegie Mellon University (1999) M.Sc. in Pure and Applied Logic, Berlin University of Technology (1994) M.Sc. in Computer Science, Berlin University of Technology (1992) Research Interests: Model-driven engineering and transformation Formal specification and verification Automated testing and debugging Real-time and embedded systems Service composition and distributed systems His work emphasizes practical tools like Papyrus-RT and MDebugger , integrating formal methods into software development. Grants & Collaborations: Funded by NSERC, OCE, and industry partners (IBM, GM, Ericsson) Focus on automotive systems, IoT, and safety-critical applications Service: Editorial board member for SoSyM , STTT , and JOT Former chair of the MODELS Steering Committee (2016–2018) PC co-chair for MODELS 2014 and FMOODS/FORTE 2011 Labs & Teams: Leads the MASE group, which develops open-source tools for model-driven engineering. Collaborates with industry on automotive and IoT projects.

• Software Engineering
• Model-Driven Engineering
• Formal Methods
• +7 more

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.

• Programming Languages
• Formal Methods
• Software Engineering
• +4 more

Olivia Di Matteo serves as an Assistant Professor in the Department of Electrical and Computer Engineering within UBC's Faculty of Applied Science, leading the Quantum Software and Algorithms Research (QSAR) group since her January 2022 appointment. Her academic foundation includes a BSc from Lakehead University and MSc/PhD in Physics (Quantum Information) from the University of Waterloo, completed in 2019. Dr. Di Matteo's research centers on quantum software engineering , with pioneering work in quantum compilation , circuit optimization , and debugging tools . She champions open-source quantum frameworks and develops accessible educational resources to democratize quantum computing. Analysis of her 15 most recent publications (2021-2025) reveals dominant trends in quantum programming infrastructure, particularly circuit analysis (33%), bug classification (20%), and qubit network optimization (15%), with strong emphasis on practical software tooling over theoretical physics. No scientific awards were documented in the source materials. She advises graduate students in the QSAR group while contributing to open-source quantum ecosystems through projects like PennyLane and The Ionizer transpiler, and teaches courses including CPEN 400Q (Gate-model quantum computing) and ELEC 221 (Signals and Systems). The QSAR group operates at the intersection of quantum software development and education, focusing on making quantum programming accessible through visual tools, real-time debugging environments, and hardware-agnostic compilation techniques.

• Quantum Computing
• Quantum Software Engineering
• Quantum Compilation
• +5 more

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.

• Human-Computer Interaction
• Information Visualization
• Infotypography
• +5 more

Dr. Ralph Evins is an Associate Professor and Director of the Graduate Program in the Department of Civil Engineering at the University of Victoria. He holds affiliations with the Urban Energy Systems laboratory at Empa and ETH Zurich in Switzerland. His expertise spans building energy simulation, energy system optimization, and machine intelligence applications in sustainable design. Evins holds an MEng from Imperial College London and an EngD from the University of Bristol. His research focuses on computational problem-solving in energy systems, including surrogate modeling, optimization algorithms, and machine learning. He develops tools like the Holistic Urban Energy Simulation (HUES) platform and BESOS software framework to bridge building, district, and city-scale energy analysis. His work emphasizes holistic systems thinking, integrating energy hubs, thermal modeling, and digital twin technologies. Recent articles explore surrogate model refinement, inverse modeling for building characterization, and decarbonization strategies. He collaborates with industry to translate academic innovations into practical solutions. Evins advises students in energy systems and leads projects on net-zero building design, retrofit prioritization, and smart grid integration. His research addresses challenges in climate adaptation, energy efficiency, and sustainable urban development through interdisciplinary approaches.

• Building Energy Simulation
• Energy System Optimization
• Machine Learning Applications in Energy
• +3 more