Find Academic Supervisors

Matt AmyView profile

Assistant Professor

• Quantum Computing
• Programming Languages
• Compilers
• +3 more

Dr. Matt Amy is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), holding the Canada Research Chair in Quantum Computing. His research focuses on quantum compilers, programming languages, and formal verification of quantum programs. He also explores quantum circuit optimization and models of quantum computation. Education: PhD in Computer Science (University of Waterloo, 2019), M.Math in Quantum Information (2013), and B.Math in Computer Science (2011), all from the University of Waterloo. Research Interests: Quantum compilers and languages, circuit optimization, formal verification, and quantum computation models. His work bridges theoretical foundations with practical implementations, emphasizing efficient quantum software development. Recent research trends include advancing quantum compilation techniques, exploring NP-hard optimization problems in quantum circuits, and developing formal methods for quantum program analysis. His work on symbolic synthesis and equational theories for quantum circuits demonstrates a focus on foundational algorithmic challenges. Scientific Awards: Canada Research Chair (2025–present) Advising and Grants: While no current advisees are listed, his research is supported by grants focused on quantum computing and formal methods. He collaborates with industry through SFU’s School of Computing Science. Labs and Teams: Involved with the Tangent Lab, a research group exploring quantum algorithms and software systems at SFU.

Greg StittView profile

Professor

• Computer Engineering
• Embedded Systems
• Reconfigurable Computing
• +5 more

Greg Stitt is a Professor in the Department of Electrical and Computer Engineering at the University of Florida, affiliated with the College of Engineering. His research focuses on reconfigurable computing, FPGA acceleration, embedded systems, and compiler design. He has received notable awards including the NSF CAREER Award (2012-2017) and the Undergraduate Teacher of the Year Award (2014). His work emphasizes elastic computing frameworks, intermediate fabrics for FPGA virtualization, and warp processors for dynamic hardware/software partitioning. Education: PhD, Computer Science, University of California-Riverside, 2007 BS, Computer Science, University of California-Riverside, 2000 Research Interests: Reconfigurable computing, FPGAs, GPUs, and their applications in high-performance computing Compiler optimization and synthesis techniques for embedded systems Elastic computing frameworks for heterogeneous systems Approximate computing and energy-efficient architectures Grants & Awards: National Science Foundation (NSF) grants for elastic computing (CNS-0914474) and intermediate fabrics (CNS-1149285) Recognition for contributions to FPGA-based scientific computing tools Teaching: Current courses include Reconfigurable Computing 2 and Digital Design Past course offerings span embedded systems, compiler design, and hardware architecture Labs & Teams: Active research in FPGA acceleration, novel architectures, and security for reconfigurable systems Contributions to the Novo-G scalable reconfigurable supercomputing project

Dan S. WallachView profile

Professor

• Computer Security
• Cybersecurity
• Electronic Voting Systems
• +3 more

Dan S. Wallach is a Professor of Computer Science and Electrical and Computer Engineering at Rice University, and a Program Manager at DARPA's Information Innovation Office since June 2023. He holds a PhD (1999) and MA (1995) from Princeton University, and a BS (1993) from UC Berkeley. His research focuses on cybersecurity, electronic voting systems, and mobile security. He directed the NSF-funded ACCURATE Center (2005-2011), led the STAR-Vote project, and advised U.S. election security policies including testifying before state and federal committees. He also served on the Air Force Science Advisory Board (2011-2015), USENIX Board (2011-2013), and IEEE Technical Guidelines Committee (2019-2023). Recent work includes developing ElectionGuard cryptographic tools for verifiable elections and analyzing cyber warfare in Ukraine. His 15+ years of teaching include courses like Introduction to Program Design and Election Systems Technologies. Publications span secure voting protocols, smartphone security, and election auditing. Collaborations include Microsoft and VotingWorks on cryptographic voting systems like ElectionGuard and Arlo-CVR-Encryption.

Ashish VenkatView profile

Associate Professor

• Computer Architecture
• Compilers
• Computer Security
• +12 more

Ashish Venkat is an Associate Professor in the Department of Computer Science at the University of Virginia, part of the School of Engineering and Applied Science. He holds a Ph.D. from UC San Diego and has established himself as a leading researcher in computer architecture, compilers, and computer security. Research Interests: His research focuses on cross-disciplinary hardware and software techniques to build secure, high-performance computing systems. He investigates robust exploit mitigations that maintain energy efficiency and programmability, with a particular emphasis on speculative execution, memory safety, hardware security, and privacy-preserving computing. He also explores the application of machine learning to detect security threats and model execution behavior. Publication Trends: His recent publications (2020–2025) demonstrate a strong focus on hardware-based security, particularly microarchitectural vulnerabilities (e.g., micro-op cache attacks), memory safety via microcode capabilities, and secure accelerators for bioinformatics. There is a consistent trend of publishing in top-tier venues like ISCA, MICRO, IEEE S&P, and USENIX Security, often featuring novel hardware/software co-design solutions. Scientific Awards: NSF CAREER Award (2023) NSF CRII Award (2018) IEEE Micro Top Pick (2019) IEEE Design & Test Top Pick (2020, 2021) HPCA Best Paper Runner-Up (2019) DATE Best Paper Nominee (2023) UVA Research Achievement Award (2023) ISCA Prolific Author of the Decade (2013–2022) Advising and Grants: He actively mentors graduate and undergraduate students, many of whom have pursued advanced degrees or joined leading tech companies. He has secured significant funding as PI or co-PI from NSF, DARPA, SRC, and Intel, including a $4.9M DARPA HERCULES grant and an NSF CAREER award. His projects focus on holistic security solutions, speculative optimization, and privacy-preserving machine learning frameworks. Labs and Teams: He leads a research group focused on secure and efficient computing systems, collaborating with researchers at institutions like UC San Diego, UC Riverside, and UC Irvine, as well as industry partners including Intel and IBM.

• Computer Architecture
• Computer Systems
• Approximate Computing
• +10 more

Pejman Lotfi-Kamran is an Associate Professor at the School of Computer Science, Institute for Research in Fundamental Sciences (IPM), Tehran, where he also serves as the head of the school and director of Turin Cloud Services. His research focuses on computer architecture, systems, approximate computing, and cloud computing, with an emphasis on performance and energy efficiency for big-data applications. His educational background includes: Ph.D. in Computer Science, EPFL (2013) M.Sc. in Electrical and Computer Engineering, University of Tehran (2005) B.Sc. in Electrical and Computer Engineering, University of Tehran (2002) Lotfi-Kamran's research spans computer architecture innovations, including data and instruction prefetching, networks-on-chip, coherence protocols, and many-core processor design. He has pioneered work on scale-out processors, neural acceleration for GPUs, and approximate computing frameworks. His publications appear in top venues such as ISCA, HPCA, MICRO, and IEEE/ACM journals. His recent articles reflect a strong trend in improving system performance through intelligent prefetching, efficient NoC designs, and energy-aware architectures. Key themes include reducing frontend bottlenecks, optimizing cache behavior, and enhancing data delivery in large-scale systems. His work often combines cross-stack insights with hardware-software co-design for real-world impact. Scientific awards and recognitions include: 2017 CADS Best Paper Award 2016 Young Faculty Award from Iran's National Elites Foundation 2012-2013 Intel Ph.D. Fellowship 2012 and 2011 HiPEAC Paper Awards 2011 HPCA Best Student Paper Finalist Multiple academic honors from University of Tehran He has advised several graduate students including Paria Darbani, Ali Ansari, Mohammad Bakhshalipour, and Farid Samandi, many of whom have co-authored significant papers. His teaching spans institutions like Sharif University of Technology, Iran University of Science and Technology, and EPFL, covering advanced computer architecture and multiprocessor systems. He has led research projects such as AxBench and CloudSuite on Simics, and contributed to national initiatives like Iran’s National Grid. He is actively involved in tool development and continues to shape research in next-generation computing systems. He leads the Turin Cloud Services initiative at IPM and is deeply engaged in both theoretical and applied aspects of computer systems research, with ongoing work in neural acceleration, approximate computing, and scalable architectures.

Aws AlbarghouthiView profile

Researcher

• Program Synthesis
• Formal Verification
• Quantum Computing
• +5 more

Aws Albarghouthi is affiliated with the University of Wisconsin-Madison, USA. He is an active researcher with significant contributions to program synthesis, formal verification, and machine learning. Key roles: Author, Session Chair, Committee Member in conferences like PLDI, POPL, VMCAI, SPLASH, and ICFP. Research spans quantum computing, differential privacy, and static analysis. Research Trends include: Quantum Circuit Compilation and Optimization Probabilistic Verification of Fairness and Privacy Synthesis of Datalog and MapReduce Programs Neural-Augmented Static Analysis Bias Detection in Data Security Robustness in Machine Learning

Wenwen WangView profile

Associate Professor

• Computer Systems
• Compiler Design
• Computer Architecture
• +4 more

Wenwen Wang is an Associate Professor in the School of Computing at the University of Georgia's Franklin College of Arts & Sciences. His research focuses on computer systems, compiler design, and embedded systems security. He holds a Ph.D. in Computer Science from the University of Chinese Academy of Sciences (2014). Education: Ph.D., Computer Science, University of Chinese Academy of Sciences, 2014 His research emphasizes dynamic binary translation, compiler optimization, and secure embedded systems. Notable contributions include frameworks like JavART (JIT compiler optimization) and BSan (memory error detection). He received the 2021 M. G. Michael Award for Sciences from the Franklin College. Wang has secured two NSF grants totaling $1.2 million, including CSR: Small grants for FALCON (2023–2027) and Modernizing Dynamic Binary Translation Systems (2023–2027). He advises three graduate students: Ruili Fang, Yage Hu, and Boyang Yi. His work addresses challenges in cross-architecture virtualization, GPU-based graph computing, and hardware-triggered security mechanisms. Recent projects include Liberator (GPU graph processing) and InvisiGuard (embedded device integrity).

• Security of Deep Learning Systems
• Side-Channel Attacks
• Privacy-Preserving Machine Learning
• +3 more

Dr. Yuanyuan Yuan is a Researcher at the Department of Computer Science, ETH Zurich, Switzerland, based at CNB H 104.1, Universitätstrasse 6, 8092 Zurich. Her work bridges computer security and machine learning with a focus on practical vulnerabilities in deployed AI systems. Her research centers on exposing and mitigating security flaws in deep learning deployments, particularly targeting trusted execution environments (TEEs) and on-device inference systems. Key contributions include pioneering side-channel attacks against TEE-shielded neural networks (CipherSteal, HyperTheft), bit-flip attack surfaces in DNN executables (BitShield), and novel testing methodologies for neural network robustness. She investigates cache/timing side channels, ciphertext analysis, privacy leakage in partitioned ML, and concept-based explainability. Analysis of her 2023-2025 publications reveals a cohesive focus on offensive security research for AI infrastructures, with consistent contributions to top venues in security and machine learning. Her work demonstrates expertise in low-level system interactions (memory, cryptography) applied to ML security, spanning attack vectors, defensive mechanisms, and validation frameworks. The research trajectory shows increasing sophistication in exploiting hardware-software interfaces while developing practical hardening techniques for real-world deployments.

Koushik SenView profile

Professor

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

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a B.Tech from IIT Kanpur and M.S./Ph.D. from UIUC. His research focuses on Software Engineering, Programming Languages, and Formal Methods, emphasizing tools like DART, CUTE, and Jalangi for improving software reliability. He leads projects such as CORVETTE and Sky Computing Lab, and collaborates with Samsung Research America on JavaScript analysis. Sen has received prestigious awards including the Sloan Fellowship and ACM SIGSOFT Impact Award. Education: B.Tech, Indian Institute of Technology, Kanpur M.S. and Ph.D., University of Illinois at Urbana-Champaign Research Interests: Software Testing, Verification, Symbolic Execution, Security, and Quantum Computing. His work bridges automated testing (e.g., concolic testing) with machine learning for bug detection and program synthesis. Projects include Hindsight Logging for ML reproducibility and quantum circuit optimization (QFAST). Awards: NSF CAREER, IFIP Manfred Paul, ACM SIGSOFT Distinguished Paper (multiple), and Sloan Fellowship. Advising: Supervised over 30 students/postdocs, leading to faculty roles at UBC, CMU, and industry positions at Google, Facebook, and Samsung. Labs/Teams: Berkeley Center for Responsible, Decentralized Intelligence (RDI), EPIC Data Lab, and Sky Computing Lab. Active in quantum computing and hardware fuzzing (RTL-FuzzLab).

Sang Kil ChaView profile

Associate Professor

• Software Security
• Software Engineering
• Program Analysis
• +3 more

Sang Kil Cha is an Associate Professor at KAIST's Graduate School of Information Security and School of Computing, where he also serves as Director of the Cyber Security Research Center (CSRC). His research focuses at the intersection of computer security and software engineering, with emphasis on building and evaluating systems that analyze programs. Dr. Cha received his B.S. from Korea University, and both his M.S. and Ph.D. from Carnegie Mellon University (CMU). His educational background forms the foundation for his experimental approach to computer science research. His primary research interests include software security, software engineering, program analysis, binary code analysis, and fuzzing. Dr. Cha's work centers on developing practical security tools and methodologies that bridge theoretical concepts with real-world applications, particularly in program analysis and vulnerability detection. His research has significant implications for improving software reliability and security through advanced analysis techniques. Dr. Cha's publication record shows a strong focus on fuzzing techniques, binary analysis, and program understanding, with recent work expanding into blockchain security and decompilation. His research consistently appears in top-tier security and software engineering conferences including IEEE S&P, USENIX Security, and CCS. ACM Distinguished Paper Award (2024, 2022, 2014) USENIX Distinguished Paper Award (2023) IEEE Best Paper Award (2021) NDSS Best Paper Award (2019) As Director of CSRC and leader of SoftSec Lab at KAIST, Dr. Cha oversees multiple research projects focused on practical security solutions. His lab develops tools like B2R2 (a binary analysis framework) and OFuzz (a fuzzing platform), which have gained recognition in the security community. Dr. Cha actively contributes to the research community through program committee roles at major conferences including PLDI, ICSE, and ISSTA.

Miryung KimView profile

Professor

• Software Engineering
• Software Engineering for Data Intensive Computing
• Automated Testing
• +7 more

Miryung Kim is a Professor and Vice Chair of Graduate Studies in UCLA's Computer Science Department, where she directs the Software Engineering and Analysis Laboratory. She is renowned for her pioneering work in software evolution, code clone management, and establishing the emerging field of Software Engineering for Data Intensive Computing (SE4DA and SE4ML). Her research focuses on automated testing and debugging for Apache Spark, developer tools for heterogeneous computing, and conducting systematic studies of refactoring practices in industry. She led the first large-scale study of data scientists in industry and developed JDebloat, a Java bytecode debloating tool that made significant tech transfer impact to the Navy. Her recent publications demonstrate strong trends in fuzz testing for big data analytics and heterogeneous computing, with a focus on natural input generation, co-dependence awareness, and leveraging hardware probes for acceleration. Her work bridges software engineering with data-intensive and heterogeneous computing paradigms. ACM SIGSOFT Influential Educator Award (2022) ICSME Most Influential Paper Award (2023 and 2020) NSF CAREER award Google Faculty Research Award Okawa Foundation Research Award Humboldt Fellow ACM Distinguished Member As an academic advisor, she has produced eight tenure-track faculty members at institutions including Columbia, Purdue, and Virginia Tech. Her research has been supported by National Science Foundation, Air Force Research Laboratory, Google, IBM, Intel, Okawa Foundation, Samsung, and Office of Naval Research. She previously served as Program Co-Chair of ESEC/FSE 2022 and has delivered keynotes at ASE 2019 and ISSTA 2022. She maintains active industry collaborations, serving as an Amazon Scholar at Amazon Web Services and having spent time as a visiting researcher at Microsoft Research.

• Programming Languages
• Formal Verification
• Compilers
• +5 more

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

Jingling XueView profile

Professor

• Programming Languages
• Compilers
• Program Analysis
• +5 more

Jingling Xue is a Scientia Professor at the School of Computer Science and Engineering at the University of New South Wales (UNSW) in Sydney, Australia. As an IEEE Fellow of the Computer Society, he leads the Programming Languages and Compilers research group, focusing on practical applications of compiler optimization and program analysis techniques. His work bridges theoretical foundations with real-world software systems, particularly in developing open-source tools for large-scale program analysis. Professor Xue received his B.Eng and M.Eng degrees from Tsinghua University in 1984 and 1987, respectively, followed by a PhD from the University of Edinburgh in 1992. His academic journey has established him as a leading figure in programming languages and compiler technology. Xue's research spans programming languages, compiler technology, and program analysis with emphasis on practical relevance. His current projects include compiler techniques for improving parallelism and locality, pointer/alias analysis for million-line-scale programs, and static/dynamic analysis for detecting bugs and security vulnerabilities in real-world applications like web browsers and Android apps. His group actively develops open-source tools to support scientific replicability and reproducibility in these areas. His recent publications demonstrate a strong focus on applying program analysis techniques to modern challenges including AI compilers, homomorphic encryption, security vulnerability detection, and graph processing systems. The work shows evolution from traditional compiler optimization to addressing emerging domains like privacy-preserving computation and deep learning systems while maintaining rigorous theoretical foundations. Scientific Awards: Best Paper Award at CGO'13 Best Paper Award at CGO'16 Distinguished Paper Award at ECOOP'16 Distinguished Paper Award at ICSE'18 Distinguished Paper Award at ISSTA'19 Distinguished Paper Award at ASE'19 Distinguished Artifact Award at ISSTA'23 Best Artifact Award at FSE'23 Distinguished Paper Award at ASE'23 Test-of-Time Award at CGO'21 Professor Xue has successfully supervised 30 PhD students to completion, many of whom now work as professors or researchers in academia and industry. He has served as Program Chair for major conferences including LCTES'13, CC'18, CGO'20, and General Chair for LCTES'20. His group currently focuses on memory safety in Rust, smart contract analysis, AI compilers, compilation for privacy-preserving computation, and adversarial attacks in deep learning. The Programming Languages and Compilers group maintains strong connections with industry partners, translating theoretical advances into practical tools for real-world software development challenges. Their work on pointer analysis, memory safety, and compiler optimizations continues to influence both academic research and industrial practice.

Xuan ZhangView profile

Associate Professor

• Artificial Intelligence Hardware
• Machine Vision Sensors
• Electronic Design Automation
• +3 more

Xuan Zhang serves as Associate Professor in Electrical and Computer Engineering at Northeastern University, leading the Sensory AI Lab since joining in January 2024. Her research bridges computer architecture, integrated circuits, and artificial intelligence to develop miniaturized AI systems for autonomous physical platforms. She earned her PhD in Electrical and Computer Engineering from Cornell University in 2012. Her educational background forms the foundation for her interdisciplinary work spanning hardware and software co-design. Dr. Zhang's research focuses on artificial intelligence hardware, machine vision sensors, and security for autonomous systems. She pioneers techniques for efficient in-sensor computing, analog circuit optimization via machine learning, and hardware-level privacy preservation. Her work addresses critical challenges in energy efficiency, robustness, and security for edge AI deployment, particularly in resource-constrained environments like medical devices and autonomous vehicles. Analysis of her 2023-2025 publications reveals three dominant trends: (1) hardware-accelerated privacy mechanisms for sensors, (2) machine learning-driven analog circuit design automation, and (3) energy-efficient architectures for neural network inference. These works consistently target real-world applications in healthcare, autonomous systems, and semiconductor design. Her accolades include the prestigious NSF CAREER Award (2020) and leadership in a $10 million federal semiconductor initiative. She contributes to national efforts in AI-powered chip design through the National Center for the Advancement of Semiconductor Technology. Dr. Zhang advises graduate researchers in the Sensory AI Lab, securing significant funding for projects spanning hardware security, in-sensor computing, and autonomous system assurance. Her lab collaborates with federal agencies and industry partners on cutting-edge semiconductor research. The Sensory AI Lab operates at the hardware-software interface, developing novel architectures for intelligent edge devices. Current projects include optical privacy preservation, robust analog design tools, and energy modeling frameworks for in-sensor visual computing systems.

• Software Engineering
• Search-Based Software Engineering
• Automated Refactoring
• +4 more

Dr. Mel Ó Cinnéide is an Associate Professor at the School of Computer Science, University College Dublin. He holds a PhD from Trinity College Dublin (2001) and has over three decades of experience in academia and industry. His research focuses on automated refactoring, search-based software engineering, design patterns, and energy-efficient software development. He leads the Masters in Advanced Software Engineering program at UCD and has received multiple research grants and best paper awards. Prior to academia, he worked as a software engineer at Philips (Netherlands) and Motorola (Cork). Education: BSc in Computer Science, University College Cork MSc in Computer Science, University College Cork PhD in Computer Science, Trinity College Dublin Diploma in Gaeilge Fheidhmeach (Computing Irish), UCD Research interests emphasize practical applications of refactoring techniques to improve software quality and energy efficiency. He pioneers tools like Code-Imp and RefDetect for automated refactoring, integrating multi-objective optimization and interactive systems. His work bridges theoretical software engineering principles with real-world industry challenges. Awards and Grants: - Best Paper Awards in peer-reviewed conferences - Competitive research grants supporting software engineering projects Advising & Leadership: - Director of UCD's Masters in Advanced Software Engineering - Supervisor of numerous academic and industrial projects Labs & Projects: - Co-lead of the CodeImp Project (automated search-based refactoring) - Involved in international workshops on refactoring and software engineering