Find Academic Supervisors

Deian StefanView profile

Associate Professor

• Security
• Programming Languages
• Systems
• +6 more

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

Amr YoussefView profile

Professor

• Applied Cryptography
• Network Security
• Cyber-Physical Systems Security
• +4 more

Amr Youssef is a Professor at the Concordia Institute for Information Systems Engineering, Concordia University. His research focuses on applied cryptography, network security, cyber-physical systems security, blockchain, and privacy. He has contributed extensively to securing smart grids, IoT devices, and web applications through cryptographic protocols and machine learning-driven solutions. His work addresses critical challenges in cybersecurity, including e-voting systems, fault-tolerant differential protection, and privacy-preserving communication protocols. He explores vulnerabilities in modern systems such as SSO permissions, JavaScript exploits, and stalkerware tools, while developing frameworks like MEGR-APT for APT detection and TEE-Receipt for non-repudiation. Youssef’s research integrates interdisciplinary approaches, combining cryptography with AI (e.g., vision transformers for power quality analysis) and leveraging trusted execution environments (TEE) for secure computing. His projects often involve collaboration with industrial standards (e.g., IEC 61850), emphasizing practical implementations in real-world systems.

Kaveh RazaviView profile

Assistant Professor

• Computer Systems
• Computer Security
• Hardware Security
• +5 more

Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition

• Reconfigurable Computing
• FPGA Architectures
• Computer Security
• +6 more

André DeHon is the Oliver C. Boileau Jr. and Nan Eleze Boileau Professor of Electrical Engineering at the University of Pennsylvania, affiliated with Electrical and Systems Engineering (ESE) and Computer and Information Science (CIS). He chairs the Computer Engineering (CMPE) program and directs the CyberSavvy Security Center. His research focuses on reconfigurable computing, FPGA architectures, computer security, and energy-efficient hardware design. He holds a Ph.D. and M.S. from MIT and a B.S. from MIT's Lincoln School. Research interests include reconfigurable computing, FPGA interconnect, hardware security, and fault-tolerant systems. Notable achievements include the SEVER & PROTECT DARPA award and IEEE/ACM Fellowships. Recent work addresses fast FPGA compilation (HiPR, PLD), security through compartmentalization (μSCOPE, SCALPEL), and partial reconfiguration techniques. Teaching includes courses on hardware security, system-on-chip architecture, and digital audio basics. Over 200 publications span FPGA design, network-on-chip optimization, and molecular-scale computing. His labs (Implementation of Computation Group) explore physical implementation of computations through hardware-software co-design.

• Tangible computing
• Human-Computer Interaction (HCI)
• Accessible interfaces
• +3 more

Andrés Cuervo-Rubio is a Part-time Lecturer at Parsons School of Design, The New School. They are an interdisciplinary artist, programmer, and HCI researcher based in Brooklyn. As a co-founder of Folk Computer, a research consultancy focused on tangible computing hardware/software and programming languages, they explore accessible interfaces and paper-based interaction systems. They advise the W3C Immersive Web Working Group (WebAR/VR/XR APIs) and have spoken at global JavaScript conferences since 2017. Education: BA in Computer Science, Oberlin College (2017) BA in Creative Writing, Oberlin College (2017) Research Interests: Focuses on material-based interaction design, bridging physical/digital systems through accessible technologies. Current work emphasizes tangible computing interfaces and inclusive design practices. Active in developing educational frameworks for dynamic content creation in design curricula. Teaching: Recently taught Core 1: Interaction (PUCD 2035) and Core 2: Interaction Studio (PUCD 2125). Upcoming courses include CD Foundations: Interaction (PSAM 1028) in Fall 2025 and CD Studio: Dynamic Content (PSAM 2090) in Spring 2026. Professional Engagement: Serves as technical advisor for immersive web standards and collaborates with industry on accessible XR solutions. Co-leads workshops on physical computing pedagogy.

Deian StefanView profile

Associate Professor

• security
• programming languages
• systems
• +7 more

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Daniel GenkinView profile

Associate Professor

• System Security
• Cryptography
• Side-Channel Attacks
• +7 more

Daniel Genkin is an Associate Professor at the School of Cybersecurity and Privacy and School of Computer Science at Georgia Institute of Technology. His research spans system security, cryptography, side-channel attacks, hardware security, cryptanalysis, secure multiparty computation (MPC), verifiable computation, and SNARKs. He holds a PhD in Computer Science from the Technion - Israel's Institute of Technology and was awarded the 2024 Sloan Research Fellowship. His work focuses on microarchitectural vulnerabilities, including Rowhammer , Cache Timing , and Speculative Execution attacks. Notable contributions include co-discovering Spectre and Meltdown vulnerabilities. He has received multiple awards, including Distinguished Paper Awards , IEEE Micro Top Picks , and Black Hat Pwnie Awards . Publications highlight trends in Side-Channel Analysis , Hardware Exploitation , and Cryptographic Implementations . His email is genkin@gatech.edu , and he actively seeks students for research in security and cryptography.

Eunjin JungView profile

Associate Professor

• Computer Security
• Internet Privacy
• Phishing Countermeasures
• +5 more

Eunjin (EJ) Jung is an Associate Professor in the University of San Francisco, serving as Full-Time Faculty. Her work focuses on cybersecurity and privacy protection in digital environments. Education: PhD in Computer Science from The University of Texas at Austin (2006) Research Interests: Developing countermeasures against phishing attacks and malicious JavaScript Ensuring privacy in healthcare systems Exploring policy compatibility in grid and cloud computing environments Advocating for usable security practices Engaging in community service initiatives at USF No scientific awards or grants are explicitly mentioned in the provided text.

Juan ZhaiView profile

Assistant Professor

• Software Engineering
• Program Languages
• Natural Language Processing
• +6 more

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

Steven H. H. DingView profile

Assistant Professor

• Cybersecurity
• Machine Learning
• Data Mining
• +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.

• Computer Networks
• Programmable Infrastructures
• Cloud Computing
• +5 more

Dr. Theophilus A. Benson is a Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with additional responsibilities at Carnegie Mellon University-Africa. His research group focuses on improving network performance and availability through models, algorithms, and frameworks that manage network state semantics. Key application areas include addressing the digital divide, optimizing microservices/cloud systems, software-defined networks, and CDN designs. Education: Ph.D., University of Wisconsin, Madison (2012) M.S., University of Wisconsin, Madison (2008) B.S., Tufts University (2004) Research Focus: Professor Benson's work spans three core domains: Democratizing Web Performance (measurements and optimizations for developing regions), Systems Abstractions for Programmable Infrastructures (eBPF/P4 frameworks), and Self-Managing Networks (ML-driven configurations). His African Internet Observatory initiative analyzes Africa's internet ecosystem to address digital inequity through assessment probes and statistical methods. Publication Trends: Recent works (2021-2024) demonstrate a strong focus on programmable networks (eBPF/P4 management), web performance in developing regions, and data-driven cloud/CDN optimizations. Earlier foundational work established expertise in SDN fault tolerance, network updates, and video streaming characterization. Awards & Honors: SIGCOMM Test of Time Award NSF CAREER Award NEC Faculty Award Google Faculty Award Facebook Faculty Award (2x) DARPA ISAT Study Group Member Grants & Advising: Secured funding from NSF (CAREER, NeTS), Google, Facebook, and Yahoo. Current advisees include 4 PhD/MS students working on programmable networks and web performance. Actively recruiting post-docs and students for African connectivity and eBPF projects. Leadership: Co-chairs NSDI'25 and ApNet'24 conferences. Leads the NetLab research group developing deployable systems adopted by web-scale companies and open-source communities.

Mathias PayerView profile

Associate Professor

• Software Security
• System Security
• Binary Exploitation
• +3 more

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)

Todd MillsteinView profile

Professor

• Software Reliability
• Network Verification
• Programming Languages
• +5 more

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

Limin JiaView profile

Research Professor

• Security
• Programming Languages
• Formal Verification
• +3 more

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

Michael FerdmanView profile

Associate Professor

• Computer Architecture
• Operating Systems
• Machine Learning
• +7 more

Michael Ferdman is an Associate Professor in the Department of Computer Science at Stony Brook University, where he leads research in computer architecture and systems. His office is located in Room 343 at Stony Brook, NY 11794-2424, and he can be contacted via phone (631-632-8449) or email. Ferdman directs the Computer Architecture and Systems Laboratory (compas.cs.stonybrook.edu), focusing on next-generation server infrastructure. Ferdman's research spans the entire computing stack with emphasis on: FPGA integration for server environments (Intel HARP, Microsoft Catapult) Machine learning accelerators for convolutional neural networks Server systems optimization in the post-Moore era Network processing and software-defined networking Programming models for emerging memory technologies (HBM, 3D XPoint) Reconfigurable hardware and high-level synthesis His work addresses both performance and security challenges in modern computing infrastructure. Analysis of his 15 most recent publications (2022-2025) reveals consistent focus on: Hardware acceleration techniques (FPGAs, specialized processors) Memory hierarchy optimization and cache management Security vulnerabilities in web applications and systems Post-Moore computing architectures Parallel processing and distributed systems His research shows strong emphasis on practical implementations bridging hardware and software layers. Awards recognizing his contributions include: Graduate Teaching Award (2014) Best Paper Award at ASPLOS XVII Best Paper Finalist at HPCA XVII Three IEEE Micro Top Picks selections (2009, 2012) He teaches advanced courses including CSE 502, CSE 602, and CSE 506 at Stony Brook University.