Find Academic Supervisors

Dawn SongView profile

Professor

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +7 more

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

Shweta ShindeView profile

Assistant Professor

• Trusted Computing
• System Security
• Hardware Security
• +4 more

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

Benjamin Carrison-SchaferView profile

Associate Professor

• Reconfigurable Computing
• FPGAs
• Electronic Design Automation
• +7 more

Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.

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.

Jian HuangView profile

Associate Professor

• Computer Architecture
• Memory and Storage Systems
• AI Infrastructure
• +5 more

Jian Huang is an Associate Professor of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign (UIUC), holding a 100% appointment since August 2024. He is also an affiliated Associate Professor in Computer Science and serves as the Y. T. Lo Faculty Fellow in ECE. Huang leads the Systems Platform Research Group and received his Ph.D. in Computer Science from Georgia Institute of Technology in August 2017, where his dissertation earned the College of Computing Dissertation Award. His research focuses on Computer Architecture, Memory and Storage Systems, AI Infrastructure, Distributed Systems, and Systems Security . Huang has pioneered work in sustainable AI infrastructures, modular data centers, neural processing unit virtualization, and ransomware-aware storage systems. His research has been featured in top-tier conferences including ISCA, MICRO, ASPLOS, OSDI, SOSP, and USENIX ATC, with over 50 publications and multiple patents issued worldwide. Huang's research has significant industry impact, with some work transferred into products and featured in popular media outlets including ACM CACM, TechXplore, and Science Daily. His work on non-volatile memory and storage systems has received extensive coverage, with some projects generating over 50 media reports. Among his notable achievements are the ACM SIGMICRO Early Career Award, NSF CAREER Award, IEEE Micro Top Picks (three times), USENIX Best Paper Award, and the MICRO Best Paper Runner Up in 2024. He has secured over $4.01M in grants ($11.12M with collaborators) from NSF, DARPA, Army Research Office, and industry partners. ACM SIGMICRO Early Career Award NSF CAREER Award IEEE Micro Top Picks (three times) USENIX Best Paper Award MICRO Best Paper Runner Up (2024) Google Faculty Research Award NetApp Faculty Fellowship Award Huang actively contributes to the academic community as program co-chair of NVMW'23 and organizer of HotInfra'23. He currently advises 12 Ph.D. students, 1 master student, and multiple undergraduates. His teaching innovations include developing ECE522: Emerging Memory/Storage System and revising ECE511: Computer Architecture with cutting-edge content.

Andrew ChildsView profile

Professor

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +2 more

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.

Anwar HithnawiView profile

Assistant Professor

• Data Privacy
• Applied Cryptography
• Privacy-Preserving Systems
• +5 more

Anwar Hithnawi is an Assistant Professor of Computer Science at the University of Toronto, where he leads the Privacy Preserving Systems Lab (PPS Lab). His research focuses on data privacy, applied cryptography, and secure systems, with emphasis on privacy-preserving machine learning, federated learning, and encrypted data processing. He holds a Ph.D. in Computer Science from ETH Zurich and was a postdoctoral researcher at UC Berkeley. Previously, he served as an Ambizione Fellow and research group leader at ETH Zurich. Research Interests: Data Privacy & Security Applied Cryptography (Homomorphic Encryption, Zero-Knowledge Proofs) Privacy-Preserving Systems (Federated Learning, Secure Analytics) IoT Security & Privacy Secure Collaborative Learning Awards: Google Research Award SNF Ambizione Grant ETH Medal for Outstanding Master Thesis (student Lukas Burkhalter) Microsoft Research Ph.D. Award (student Lukas Burkhalter) Lab Activities: The PPS Lab develops systems for privacy-preserving computation, secure collaborative learning, and encrypted data stream processing. Notable projects include Zeph, HECO, and Cohere. Recent achievements include acceptance of DPolicy at IEEE S&P 2025 and RoFL at Oakland 2023.

Nadia PolikarpovaView profile

Associate Professor

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Sishuai GongView profile

Assistant Professor

• System Reliability
• System Security
• Machine Learning
• +2 more

Sishuai Gong is an Assistant Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill, focusing on system reliability and security. His research bridges machine learning, software engineering, and computer architecture to address challenges in large-scale software systems. Education : Ph.D. in Computer Science from Purdue University (2025), B.S. in Computer Science from the University of Science and Technology of China (2019). Research Interests : System reliability and security, kernel concurrency testing, verified security modules, and machine learning for systems. He develops interdisciplinary techniques to identify and mitigate functional interference bugs in OS virtualization and latency-sensitive applications. Scientific Awards : Jay Lepreau Best Paper Award at OSDI (2024) Google Cloud Research Innovator (2024) Bilsland Dissertation Fellowship at Purdue (2024) Teaching : Offering COMP 790: Reliable and Secure Systems (Fall 2025) with a focus on empirical studies, static/dynamic analysis, and machine learning for systems. Course grading includes paper presentations (30%), class participation (30%), and research projects (40%).

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 .

Ben FischView profile

Assistant Professor

• Cryptography
• Distributed Systems
• Blockchain Technology
• +5 more

Ben Fisch is an Assistant Professor of Computer Science at Yale University's School of Engineering & Applied Science. He is also the co-founder of Espresso Systems, a company focused on blockchain infrastructure. His research focuses on privacy and verifiability in decentralized systems like Bitcoin and Ethereum, with applications in digital finance and healthcare. Dr. Fisch received his B.A. from the University of Pennsylvania and completed his Ph.D. at Stanford University, where he worked with Dan Boneh in the applied cryptography research group. His educational background provided the foundation for his work at the intersection of cryptography, distributed systems, and economics. His research centers on leveraging cryptographic tools such as succinct non-interactive zero-knowledge proofs (zk-SNARKs), private information retrieval, and homomorphic encryption to address challenges in verifiable computation, verifiable storage, and verifiable fairness. He has made significant contributions to verifiable delay functions (VDFs) and proofs of replication, which have been adopted by major blockchain projects including Ethereum 2.0, Chia, and Filecoin. His work on Filecoin's Proofs of Replication has helped the network reach over 1.5 exabytes of storage capacity. His publication record shows a clear trend toward increasingly sophisticated cryptographic protocols for blockchain applications, with recent work focusing on data availability for Bitcoin rollups, efficient folding schemes for pairing-based arguments, and privacy pools with proof-carrying disclosures. His research bridges theoretical cryptography with practical implementations that have real-world impact in decentralized systems. His notable recognition includes: Best Paper Finalist at ACM CCS 2017 for 'Iron: Functional Encryption using Intel SGX' Dr. Fisch's research has led to significant technology transfer, most notably with his work on Verifiable Delay Functions (VDFs) sparking a multimillion dollar industry initiative through the VDF Alliance. His research on Proofs of Replication forms the basis of Filecoin's incentive layer and consensus protocol. His newer SNARK system Basefold is being used by several commercial products. He maintains active collaborations across academia and industry, with publications spanning top conferences in cryptography and security. As co-founder of Espresso Systems, Dr. Fisch leads a team developing next-generation blockchain infrastructure, particularly focusing on sequencing layers for rollups. His work bridges academic research with practical implementation, ensuring that theoretical advances in cryptography find real-world applications in decentralized systems.

Benedikt BünzView profile

Assistant Professor

• Applied Cryptography
• Blockchain Technology
• Consensus Algorithms
• +4 more

Benedikt Bünz is an Assistant Professor of Computer Science at New York University's Courant Institute of Mathematical Sciences. He is also a co-founder and chief scientist of Espresso Systems, where he applies his research expertise to real-world blockchain solutions. His academic work bridges theoretical cryptography with practical blockchain implementations, focusing on enhancing privacy, security, and usability of decentralized systems. Dr. Bünz's research centers around applied cryptography, consensus mechanisms, and game theory as they relate to cryptocurrencies. His work spans zero-knowledge proofs, verifiable delay functions, secure multi-party computation, and privacy-preserving protocols. He has made significant contributions to Bulletproofs, a zero-knowledge proof system deployed on blockchains like Monero, and pioneered research in verifiable delay functions which are now part of Ethereum 2.0's design. His recent work focuses on recursive proof systems, accumulation schemes, and efficient verification techniques for blockchain scalability. His publication record shows a consistent progression from foundational cryptographic primitives to practical blockchain implementations. Recent work demonstrates increasing sophistication in recursive proof systems (ProtoStar, HyperPlonk), novel accumulation techniques (ARC, DewTwo), and foundational work on randomness generation (VDFs). His research consistently bridges theoretical cryptography with real-world blockchain applications, resulting in protocols that are both theoretically sound and practically implementable across multiple blockchain platforms. Dr. Bünz actively contributes to the academic community through teaching and mentorship. He teaches courses on cryptography of blockchains and computer security at NYU, providing students with hands-on experience in blockchain security and cryptographic protocols. His industry engagement through Espresso Systems demonstrates his commitment to translating academic research into practical solutions for the blockchain ecosystem.

• Computer Architecture
• Machine Learning
• FPGA Acceleration
• +4 more

Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He previously served as an Assistant Professor at Georgia Tech (2013-2017) and holds the Halicioğlu Chair in Computer Architecture . As founder/director of the Alternative Computing Technologies (ACT) Laboratory and associate director of UCSD's Center for Machine Integrated Computing and Security (MICS) , his research drives cross-stack solutions for next-generation computer systems. Early tenure recipient at UCSD Coined the term "dark silicon" in computer architecture Developed Tabla/DnnWeaver open-source frameworks Research Interests span: Approximate Computing Neural Acceleration FPGA/ASIC Hardware Design Machine Learning Systems Dark Silicon Challenges Security/Privacy in Accelerated Systems Scientific Recognition : 4 CACM Research Highlights 4 IEEE Micro Top Picks Distinguished Paper Award (HPCA 2016) Inducted to ISCA Hall of Fame (2018) Teaching : Developed courses on accelerator design (CSE 240D) and alternative computing (CS 8803 ACT) Advocates for hands-on FPGA-based learning in Processor Design with FPGAs courses

• Computer Architecture
• Machine Learning
• Approximate Computing
• +3 more

Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He leads the Alternative Computing Technologies (ACT) Laboratory and serves as Associate Director of the Center for Machine Integrated Computing and Security (MICS) . Previously, he was an Assistant Professor at Georgia Institute of Technology. Ph.D., Computer Science and Engineering, University of Washington (2013) Research focuses on computer architecture , machine learning acceleration , and approximate computing His work has produced 15+ publications spanning IEEE Micro Top Picks , CACM Research Highlights , and ISCA . Key projects include: Tabla : Cross-stack ML acceleration framework DnnWeaver : Open-source DNN acceleration platform Major honors include: IEEE TCCA Young Computer Architect Award ISCA Hall of Fame Qualcomm Innovation Fellowship Georgia Tech PURA Award Teaching roles: CSE 141: Introduction to Computer Architecture CSE 240D: Accelerator Design for Deep Learning CSE 240A: Principles of Computer Architecture

Tianyi ZhangView profile

Assistant Professor

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +4 more

Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.