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

Meng Xu is an Assistant Professor in the Cheriton School of Computer Science at the University of Waterloo, Canada. He is affiliated with the Cryptography, Security, and Privacy (CrySP) group and the Cybersecurity and Privacy Institute (CPI). His research focuses on system and software security, emphasizing secure-by-design languages (e.g., Rust, Move), automated program analysis, and runtime defense techniques. Education : Ph.D., Computer Science (2020), Georgia Institute of Technology B.Eng. and B.Business (First Class Honors), Nanyang Technological University (2014) Research Interests : Secure-by-design languages Automated security analysis (fuzzing, symbolic execution) Runtime defense mechanisms (moving target defense, secure hardware) Key Awards : EAPLS Best Paper Award (2022) USENIX Security Distinguished Paper Award (2018) Grants & Funding : BlackBerry Research Grant (CAD $200,000) Amazon Research Award (USD $60,000) NSERC Discovery Grant (CAD $170,000) Labs & Collaborations : CrySP (Cryptography, Security, and Privacy Group) Cybersecurity and Privacy Institute (CPI)

• System Security
• Software Security
• Automated Program Analysis
• +۴ مورد دیگر

Dr. Pengyu Nie is an Assistant Professor at the University of Waterloo's Cheriton School of Computer Science. His research enhances developer productivity through machine learning techniques for software testing, code maintenance, and program analysis. Specific interests include execution-guided test completion, code-comment co-evolution, and multilingual programming systems. Current projects investigate LLM-based code editing in computational notebooks, multilingual code co-evolution, and test generation for exceptional behaviors. Research outputs include tools like pytest-inline for Python testing and Roosterize for Coq lemma suggestions. Awards include the Margarida Jacome Dissertation Award (2023) and ACM SIGSOFT Distinguished Paper Awards (2023, 2019). He leads the UW-SWaG research group and advises PhD/master's students on software engineering and ML projects.

• Software Engineering
• Machine Learning
• Program Analysis
• +۲ مورد دیگر

Christopher Dutchyn is an Associate Professor in the Department of Computer Science at the University of Saskatchewan . He holds a Ph.D. and M.Sc. in Computer Science from the University of British Columbia and University of Alberta respectively, and a B.Sc. (honours) in Mathematics. His research spans programming language design and implementation , type theory , category theory , game semantics , and aspect-oriented programming . He has contributed to semantics for dynamic join points, continuation-based models, and multi-dispatch optimization in JVM. His recent publications focus on Aspect-Oriented Programming Programming Language Semantics Compiler Design Modularity in Software Category Theory Applications Multi-Dispatch Systems with citations in ACM, Elsevier, Springer, and Usenix. Scientific awards include Best Student Paper at COOTS 2001 for his work on multi-dispatch performance optimization. Dutchyn has developed open-source tools like AspectScheme and SLaTeX mode for Emacs , and maintains collaborations in programming language theory and software engineering principles.

• Programming Languages
• Software Engineering
• Aspect-Oriented Programming
• +۶ مورد دیگر

Marc Feeley is a Full Professor at Université de Montréal's Department of Computer Science and Operations Research (DIRO), part of the Faculty of Arts and Sciences. He leads research in programming languages, compilers, and runtime systems. His work focuses on dynamic languages like Scheme and JavaScript, emphasizing efficient implementation, compiler optimization, and parallel processing. Education details are not explicitly listed, but his academic career includes a PhD in Computer Science (Brandeis University, 1993) and a Master's in Computer Science from Université de Montréal (1986). His research spans over 30 years with projects funded by CRSNG and FQRNT grants. Research interests include: Dynamic and functional programming languages Compiler optimization techniques Parallel computing architectures Runtime systems and garbage collection Language implementation for embedded systems Recent work focuses on: Small, efficient Scheme implementations (e.g., Gambit) Optimizing Python and JavaScript compilers Self-hosting transpilers for resource-constrained environments Key publications include foundational work on garbage collection algorithms, compiler optimizations for dynamic languages, and embedded system implementations. He has advised over 30 graduate students since 1996. Awards include a best paper award at IFL'09 and sustained research funding from major Canadian grants. His Gambit Scheme compiler remains a widely used open-source project.

• Dynamic programming languages
• Functional programming languages
• Programming language design and implementation
• +۴ مورد دیگر

Georgiy Krylov is an Assistant Professor at the Faculty of Computer Science, University of New Brunswick. He holds a PhD from UNB (2024), and master's and bachelor's degrees from Nazarbayev University (2018 and 2016). His research focuses on high-performance computing, compilers/runtime environments, FPGA CAD, and quantum/reversible computing. Education: PhD in Computer Science, University of New Brunswick (2024) MSc in Computer Science, Nazarbayev University (2018) BSc in Computer Science, Nazarbayev University (2016) Research Interests: His work spans compiler optimization, quantum circuit design, FPGA applications, and ahead-of-time (AOT) compilation techniques. He explores geometric refactoring for quantum circuits, heterogeneous logic implementations, and GPU acceleration in genetic algorithms. Publications Trends: Recent work emphasizes AOT compilation frameworks (e.g., Eclipse OMR), quantum computing optimizations, and FPGA-based CAD tools. Earlier studies focused on GPU-accelerated algorithms for quantum circuit synthesis. Grants/Advising: No specific grants or advisees listed. Active in open-source compiler toolchains and hardware-software co-design projects.

• High Performance Computing
• Compilers and Runtime Environments
• FPGA CAD
• +۲ مورد دیگر

David Bremner is an Adjunct Professor in the Department of Computing and Software at McMaster University . His scholarly activity spans Computational Geometry , Algorithm Design , and Software Engineering , with a focus on Optimization , Dynamic Language Implementation , and Cloud Computing . Recent research includes: Memory management techniques for Python native extensions (2023) Linear programming frameworks for algorithm design (2022) Privacy-preserving data depth queries in cloud environments (2020) Optimization of JVM language implementations through method handle graphs (2017) Geometric data depth algorithms and their applications (2018) His work intersects Computer Modeling , Concurrency , and Theoretical Computer Science , with publications in top venues like Optimization Methods and Software , Discrete Applied Mathematics , and ACM Workshops . No scientific awards or students are mentioned in the provided text.

• Computational Geometry
• Algorithm Design
• Optimization
• +۷ مورد دیگر

Ronald Garcia is an Associate Professor in the Department of Computer Science at the University of British Columbia, affiliated with the Faculty of Science and the Software Practices Lab. His research focuses on programming language theory, emphasizing gradual typing, type systems, and end-user programming. He teaches courses such as Programming Language Principles (CPSC 509) and Compiler Construction (CPSC 411). Education details are not explicitly stated in the provided texts, but his extensive academic contributions span over two decades. Research interests include formal semantics of programming languages, typestate systems, dependent types, and improving software practices for end-users. He has advised numerous Ph.D. and Master's students, contributing to over 30 academic publications. Recent work explores hybrid programming environments for end-users, runtime type slicing for debugging, and foundational frameworks for gradual dependent types. Garcia actively participates in academic conferences as a PC member and keynote speaker, notably in PLDI, POPL, and ICFP. His lab and collaborations focus on advancing theoretical foundations while addressing practical challenges in software development and education.

• Programming Languages
• Gradual Typing
• Type Systems
• +۶ مورد دیگر

Reid Holmes is a Professor in the Department of Computer Science at the University of British Columbia , part of the Faculty of Science . His research focuses on improving software engineering practices, particularly in end-user programming, developer tool design, and empirical software engineering. He leads the Software Practices Lab and has contributed extensively to understanding developer workflows, testing methodologies, and educational tools for programming. Education: PhD in Computer Science, University of Calgary (2008) MSc in Computer Science, University of British Columbia (2004) BSc in Computer Science, University of British Columbia (2002) Research Interests: End-user programming environments, software testing, developer productivity tools, human-centered AI, educational technology, and empirical studies on software development practices. His work emphasizes bridging the gap between theoretical advancements and practical usability for both professional developers and novice programmers. Recent Article Trends: Focus on hybrid programming environments (e.g., block-based and graph-based systems), human-AI collaboration in testing/assertion generation, and age-inclusive IDE design. His research often involves empirical evaluations of tool effectiveness and developer workflows. Awards: FSE Most Influential Paper Award ICSE Most Influential Paper Award UBC Computer Science Teaching Award CS-Can/Info-Can Outstanding Research Prize Advising & Grants: Supervised over 30 graduate students and postdocs. Noted for collaborative projects with industry partners (e.g., Mozilla, Microsoft). Active in curriculum development for software engineering education. Labs/Teams: Leader of the Software Practices Lab , collaborating with industry and academic partners on tools like CodeShovel , AutoAssert , and Devy (conversational developer assistant).

• Software Engineering
• End-user Programming
• Software Maintenance
• +۳ مورد دیگر