جستجوی استاد راهنمای دانشگاهی

Brent Pymمشاهده پروفایل

دانشیار

• Mathematical Physics
• Algebraic Geometry
• Noncommutative Geometry
• +۳ مورد دیگر

Brent Pym is an Associate Professor in the Department of Mathematics and Statistics at McGill University. His research focuses on the intersection of differential, algebraic, and noncommutative geometry, with a particular emphasis on Poisson varieties and deformation quantization. He has held academic positions at the University of Edinburgh, University of Oxford, and was a Postdoctoral Fellow at McGill and the University of Toronto. Education: BScE in Engineering Physics, Queen's University (2007) MSc in Mathematics, University of Toronto (2008) PhD in Mathematics, University of Toronto (2013) Research Interests: Pym studies Poisson structures, their quantizations, and connections to mathematical physics. His work involves classical/derived algebraic geometry, D-modules, moduli spaces, the Stokes phenomenon, and multiple zeta values. Recent projects include holonomic Poisson manifolds, log symplectic structures, and software for symbolic calculations in deformation quantization. Awards: Lichnerowicz Prize (2018) Advising & Grants: Pym has openings for graduate students (admission 2026) and undergraduate projects (2026–27). He develops the Star Products software package for symbolic calculations in Poisson brackets and quantization. His work is supported by research collaborations and institutional grants. Labs & Teams: Pym collaborates with researchers in geometry and mathematical physics, contributing to projects in noncommutative algebra and geometric quantization. His software tools enhance symbolic computation in these fields.

Kuldeep S. Meelمشاهده پروفایل

دانشیار

• Automated Reasoning
• Formal Methods
• Artificial Intelligence
• +۶ مورد دیگر

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.

Joey Paquetمشاهده پروفایل

دانشیار

• Design and implementation of programming languages
• Context-driven computing
• Demand-driven computing

Dr. Joey Paquet is a Tenured Associate Professor and Department Chair in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Canada. He holds a PhD and specializes in research areas including Design and Implementation of Programming Languages, Context-Driven Computing, and Demand-Driven Computing. His work focuses on advancing programming paradigms and their applications in cybersecurity, distributed systems, and autonomic computing. Dr. Paquet is actively involved in thesis supervision across Computer Science and Software Engineering programs at both master's and doctoral levels. Research interests are centered around programming language design, particularly in demand-driven and context-aware systems. His contributions include frameworks like GIPSY and OpenISS, enabling scalable data processing and forensic computing. Recent work explores autonomic intent-driven networking, real-time gesture recognition, and IoT forensics. These efforts highlight his expertise in both theoretical constructs and practical implementations. His advising role supports students in MCompSc, MASc, and PhD programs. While specific grants are not detailed, his projects often involve interdisciplinary collaboration. Dr. Paquet is affiliated with platforms like LinkedIn and ResearchGate, reflecting an active academic presence. Key technical contributions include pioneering work on forensic computing backends, intent expression languages, and multimodal interaction systems. His research addresses challenges in cybersecurity, distributed systems, and service composition, with a focus on resilience and scalability.

Linyi Liمشاهده پروفایل

استادیار

• Deep learning
• Trustworthy machine learning
• Computer security
• +۴ مورد دیگر

Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.

Caroline Lemieuxمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Fuzz Testing
• +۶ مورد دیگر

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.

Steven H. H. Dingمشاهده پروفایل

استادیار

• Cybersecurity
• Machine Learning
• Data Mining
• +۷ مورد دیگر

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.

Shiva Nejatiمشاهده پروفایل

استاد

• Software Engineering
• Cyber-Physical Systems
• Autonomous Vehicles
• +۷ مورد دیگر

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.

• Computer Architecture
• Interconnection Networks
• Approximate Computing
• +۵ مورد دیگر

Natalie Enright Jerger is a Professor in the Department of Electrical and Computer Engineering at the University of Toronto's Faculty of Applied Science and Engineering. She holds the Canada Research Chair in Computer Architecture and serves as Director of the Division of Engineering Science (2023-2028). Previously, she was the Percy Edward Hart Professor (2016-2019). She received her B.S. in Computer Engineering from Purdue University (2002), and M.S./Ph.D. in Electrical Engineering from University of Wisconsin-Madison (2004/2008). Her research focuses on: Multi/many-core architectures and on-chip networks Cache coherence protocols and memory hierarchy optimization Approximate computing and sustainable systems Intermittent computing for energy-harvesting devices Hardware acceleration for machine learning Her publications demonstrate strong emphasis on networks-on-chip (NoC) innovations, including routing algorithms, deadlock handling, power-efficient designs, and topology optimizations. Recent work expands into approximate computing, mobile architectures, and ML-driven hardware design. Major Awards: Fellow of Engineering Institute of Canada (2023) McLean Senior Fellow (2019) IEEE Micro Top Picks (2016) ACM/IEEE Microarchitecture Hall of Fame (2015) Sloan Research Fellowship (2015) Canada Research Chair (current) Distinguished Scientist, ACM Fellow, IEEE She leads the NEJ research group and collaborates with industry partners including Intel, AMD, Qualcomm, and IBM. Her work is funded by NSERC, CFI, and industrial grants. She co-chaired ASPLOS 2023 and HPCA 2014, and actively promotes diversity through WICARCH and ACM initiatives.

Juergen Dingelمشاهده پروفایل

استاد

• Software Engineering
• Model-Driven Engineering
• Formal Methods
• +۷ مورد دیگر

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.

• Programming Languages
• Formal Methods
• Software Engineering
• +۴ مورد دیگر

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.

Mohammad Hamdaqaمشاهده پروفایل

دانشیار

• Software Engineering
• Model-Based Software Engineering
• Cloud Computing
• +۷ مورد دیگر

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.

Mahesh Tripunitaraمشاهده پروفایل

استاد

• Information Security
• Authorization and Access Control
• Cryptographic Key Transport
• +۷ مورد دیگر

Dr. Mahesh Tripunitara is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, serving as Associate Chair for Undergraduate Studies. He holds a PhD (2005) and Master's (1995) in Computer Science from Purdue University, along with a BSc (1993) in Computer Science from Dalhousie University. His research focuses on information security, authorization mechanisms, cryptographic key management, and hardware security, with industry experience at Motorola's R&D labs and Silicon Valley. His work spans theoretical advancements like access control policy analysis and practical applications such as secure payments systems and IoT device reliability. Notable awards include the Best Student Paper at Usenix Security 2013 and Best Paper at ACM SACMAT 2013. He actively serves on program committees for major security conferences including CCS, CODASPY, and SACMAT. Recent publications highlight innovations in cellular security (SUCI-Catchers defense), role-mining optimization, and blockchain smart contract auditing. Teaching includes advanced algorithm design courses (ECE 406/606) and digital computation (BME 121). His research emphasizes balancing security rigor with usability in authorization systems and hardware protection mechanisms.

Guy-Vincent Jourdanمشاهده پروفایل

استاد

• Software Security
• Cybersecurity
• Distributed Systems
• +۶ مورد دیگر

Professor Guy-Vincent Jourdan is affiliated with the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Ph.D. from Université de Rennes/INRIA (France, 1995) focusing on distributed systems analysis. Prior to academia, he served as CTO and CEO of Decision Academic Graphics, an Ottawa-based firm. His research interests span software security, cybersecurity (including cybercrime prevention), distributed systems modeling, formal methods, mobile applications, and rich internet applications. Specific technical emphases include phishing detection systems, blockchain fraud analysis, and adversarial machine learning. Professor Jourdan has pioneered tools like D-ForenRIA for reconstructing user interactions in Rich Internet Applications and contributed to cybersecurity frameworks such as HEART for log anomaly detection. His work integrates machine learning techniques with domain-specific challenges in network security and software verification. His publications (2023-2025) reflect advancements in AI-driven vulnerability analysis, blockchain fraud detection, and automated phishing detection systems. Notable projects include SV-TrustEval-C for source code vulnerability analysis and Intellitweet for social media threat detection. While no scientific awards are explicitly listed, his prolific publication record and industry-academia transition highlight sustained contributions to computer science and cybersecurity domains.

• Energy Efficiency in Software
• Multicore Memory Systems
• Hardware/Software Co-Design
• +۳ مورد دیگر

Arrvindh Shriraman is an Associate Professor and Program Director of Software Systems at Simon Fraser University's School of Computing Science in Surrey. His research focuses on energy-efficient software, multicore memory systems, and optimizing hardware/software interfaces for parallel programming. He holds a Ph.D. (2010) and M.S. (2006) in Computer Science from the University of Rochester, and a B.Eng. (2004) from the University of Madras. He teaches courses on parallel programming and energy-conscious software design. His research interests include synchronization mechanisms for domain-specific architectures, cache optimization, and FPGA-based acceleration. He has contributed to frameworks like Mu-grind for HLS-generated RTL instrumentation and TAPAS for parallel accelerator generation. Notable projects include RANGE-BLOCKS for synchronization in domain-specific systems and TapeFlow for gradient computation in neural networks. His work emphasizes real-time verification of autonomous systems and safety-critical trajectory planning for underwater vehicles. Shriraman collaborates closely with the Tangent Lab, exploring cutting-edge solutions in hardware-software co-design and embedded systems. His teaching and research bridge theoretical computer science with applied engineering challenges, addressing scalability, efficiency, and safety in modern computing systems.

Gabriel Wainerمشاهده پروفایل

استاد

• Modelling and Simulation Methodologies
• Discrete Event Systems
• Real-Time Modelling
• +۷ مورد دیگر

Dr. Gabriel Wainer is a Professor in the Department of Systems and Computer Engineering at Carleton University's Faculty of Engineering and Design. He leads the Advanced Real-Time Simulation Lab and specializes in modeling and simulation methodologies, particularly focusing on discrete event systems, real-time modeling, cellular automata, and DEVS formalism. Research Interests: Discrete event systems, DEVS formalism, cellular automata, real-time simulation, IoT applications, and parallel/distributed simulation Affiliation: Carleton University Recent publications highlight his work in advanced simulation frameworks, energy-efficient 5G systems using deep reinforcement learning, and pandemic modeling with cellular automata. His lab develops tools like PROMETHEUS and Devsmap for standardized DEVS model representation, while also exploring applications in wireless communication, building energy systems, and behavioral epidemiology.