Find Academic Supervisors

Laurie WilliamsView profile

Professor

• Software Security
• Agile Software Development
• Software Supply Chain Security
• +4 more

Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.

Gang (Gary) TanView profile

Professor

• Computer Security
• Formal Methods
• Programming Languages
• +2 more

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Lorenzo CavallaroView profile

Professor

• Trustworthy AI for Systems Security
• Adversarial Machine Learning
• Malware Detection
• +6 more

Lorenzo Cavallaro is a Full Professor of Computer Science at University College London (UCL), specializing in Trustworthy AI for Systems Security. His research focuses on developing learning-based methods that are robust against adversaries by understanding the interplay between program analysis, representations, and machine learning models. His research interests span multiple critical areas in cybersecurity, including adversarial machine learning, malware detection, program analysis, and security evaluation. Cavallaro's work particularly emphasizes the challenges of concept drift in security systems and the development of robust defenses against evolving threats. His research has significant implications for Android security, binary analysis, and memory safety in embedded systems. Analysis of his recent publications (2024-2025) reveals a strong focus on addressing fundamental challenges in ML-based security systems. His work spans malware detection systems that maintain reliability under distribution shifts, adversarial attacks in the problem space, context-driven approaches using LLMs for security applications, and temporal invariance in malware detection. A recurring theme is the critical examination of whether ML-based security systems are truly robust and reliable in real-world scenarios. Cavallaro serves in significant editorial and advisory roles including the NDSS Steering Group (2023-2026), Associate Editor for Computer & Security and ACM TOPS, and Scientific Advisory Board for SERICS. He has been actively involved in program committees for top security conferences including IEEE S&P, USENIX Security, CCS, and NDSS from 2021-2025. He teaches Malware (COMP0060; 2022—ongoing), Research in Information Security (COMP0057; 2021—23), and Computer Security 2 (COMP0055; 2021—ongoing) at UCL, contributing to the next generation of security researchers and practitioners.

• Information Security
• Privacy
• Autonomous Driving
• +5 more

Dr. Tatsuya Mori is a Professor at the Department of Computer Science and Communication Engineering , Faculty of Science and Engineering, Waseda University . He also holds visiting researcher positions at RIKEN Center for Advanced Intelligence Project (since 2018) and National Institute of Information and Communications Technology (since 2019). Education: Ph.D. in Information Science (2005), Waseda University Research Interests: Spanning information security and privacy across emerging technologies like autonomous driving , AI , 3D sensing , VR , biometric measurement , and Web3 . His work focuses on offensive security and interdisciplinary research , including physical-layer attacks on sensors and behavioral studies on phishing detection. Scientific Awards: Recipient of multiple prestigious awards, including the Distinguished Paper Award Runners-Up at IEEE EuroS&P 2024 , IPSJ Outstanding Paper Award 2024 , and CSS2024 Concept Research Prize . His research has been recognized in top conferences like USENIX Security , NDSS , and ACM CCS . Professional Leadership: Active in academic governance as Chief Investigator for NISC Working Groups and Committee Member for JST Research Areas . He serves on program committees for NDSS , IMC , and ACM CCS .

Danfeng ZhangView profile

Professor

• Programming Languages
• Security
• Differential Privacy
• +5 more

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.

Peter MüllerView profile

Professor

• Formal Methods
• Program Verification
• Programming Languages
• +4 more

Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.

Dimitris MitropoulosView profile

Assistant Professor

• Software Engineering
• Cybersecurity
• Secure Software Development
• +3 more

Dimitris Mitropoulos is an Assistant Professor at the National and Kapodistrian University of Athens (NKUA) in the Department of Business Administration, where he teaches courses on Distributed Ledger Technologies, Data Security and Privacy, Algorithms and Business Analytics, and Introduction to Programming. He also serves as Head of the Reliability Engineering Directorate at the National Infrastructures for Research and Technology (GRNET), Greece's national research and education network organization. Previously, he was a Postdoctoral Researcher in the Computer Science Department at Columbia University. Dr. Mitropoulos received his Ph.D. degree in Secure Software Development Technologies from the Athens University of Economics and Business (AUEB) in 2014. His doctoral research was supported by the Heracleitus II Scholarship, co-financed by the European Union and Greek national funds. He is a member of prestigious professional organizations including ACM, IEEE, and USENIX. Dr. Mitropoulos conducts pioneering research at the intersection of software engineering and cybersecurity, with particular expertise in secure software development, vulnerability analysis, and blockchain security. His work spans multiple dimensions of software security including code injection attacks, infrastructure as code security, smart contract analysis, and dependency management in software ecosystems. His research methodology combines static and dynamic analysis techniques with empirical studies of real-world software systems, particularly focusing on Java, Python, and Solidity ecosystems. His recent work has made significant contributions to understanding security vulnerabilities in modern software development practices and infrastructure management. Dr. Mitropoulos has received numerous prestigious awards for his research contributions, including the Research Excellence Award from NKUA (2025), Distinguished Paper and Artifact Awards at PLDI '22, Best Data Showcase Award at MSR 2018, and multiple postdoctoral research funding scholarships. His work on "Finding typing compiler bugs" was recognized with both Distinguished Paper and Artifact Awards at PLDI '22, highlighting the significance and reproducibility of his research. He has also received recognition for his service to the academic community, including a Certificate of Appreciation from ESEC/FSE '21 for his contributions to conference organization. Dr. Mitropoulos has been actively involved in securing research funding and leading significant research projects. He currently serves as Principal Investigator for the SecOPERA project (2023-Today), funded by the European Commission under Horizon Europe. Previously, he contributed to several major EU and US-funded projects including eSSIF-Lab (2019-2022), FASTEN (2019-2022), PRIViLEDGE (2018-2021), CERTCOOP (2017-2020), PANORAMIX (2016-2019), and TREDISEC (2016-2018). His research has been supported by diverse funding sources including the European Commission's Horizon 2020 program, the National Science Foundation, and the Defense Advanced Research Projects Agency (DARPA). Dr. Mitropoulos plays an active role in the international research community through various leadership positions. He serves on program committees for top-tier conferences including OOPSLA (2026), ICSE (2026), ESEC/FSE (2025), and ISSTA (2025). He has previously served as Workshop Co-Chair for ISSTA 2025 and Student Volunteer Chair for ESEC/FSE 2021. His contributions to mentoring the next generation of researchers include serving as a mentor for the ICSE Student Mentoring Workshop (2022) and supervising Google Summer of Code projects (2017).

Brendan Dolan-GavittView profile

Associate Professor

• Cybersecurity
• Program Analysis
• Virtualization Security
• +5 more

Brendan Dolan-Gavitt is an Associate Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering and part of the NYU Center for Cybersecurity (CCS). He holds a Ph.D. in Computer Science from Georgia Tech (2014) and a BA in Math and Computer Science from Wesleyan University (2006). His research spans cybersecurity, program analysis, virtualization security, memory forensics, and embedded/cyber-physical systems, focusing on automating the understanding of large software systems to develop novel defenses. Research interests include developing techniques for static and dynamic analyses of real-world software to reveal hidden design assumptions. His work has been presented at top security conferences like USENIX Security, ACM CCS, and IEEE Security & Privacy. He led the development of the open-source PANDA platform for dynamic analysis. His publications primarily focus on AI-driven security solutions, vulnerability discovery, and automated testing tools. Recent work explores LLMs in offensive security, fuzzing enhancements, and secure code generation, emphasizing practical applications in cybersecurity. Scientific Awards: NSF CAREER Award for improving software vulnerability testing and education He leads the OSIRIS Lab, a student-run cybersecurity group, and collaborates on interdisciplinary projects addressing emerging security challenges through grants and industry partnerships.

• Databases
• Programming Languages
• Compilers
• +7 more

Amir Shaikhha is an Associate Professor (Reader) in the School of Informatics at the University of Edinburgh. He was previously an Assistant Professor (Lecturer) at the same institution from 2020 to 2024 and a Departmental Lecturer at the University of Oxford until August 2020. He is also a Junior Research Fellow at University College, Oxford. His academic journey began with a Ph.D. from EPFL in 2018, where he was awarded the Google Ph.D. Fellowship in structured data analysis and a Ph.D. thesis distinction. His research centers on the design and implementation of data-analytics systems, drawing upon techniques from databases, programming languages, compilers, and machine learning. He develops high-performance systems such as SDQL.py, StructTensor, and VecHT, focusing on the compilation of data science workloads and optimization of tensor operations. His work bridges the gap between high-level abstractions and efficient execution, particularly in sparse and probabilistic computing domains. The recent publications highlight a strong trend in compiler-driven optimizations for data-intensive applications, including automatic differentiation, loop fusion, probabilistic programming, and domain-specific language (DSL) restaging. His research integrates machine learning for systems decisions and emphasizes reproducibility and performance. He has published consistently in top venues like PLDI, OOPSLA, SIGMOD, and CGO, reflecting sustained impact in programming languages and database systems. Dahl-Nygaard Junior Prize, 2025 Google Research Scholar Award, 2025 Most Influential Paper Award, GPCE 2024 Best Paper Award, GPCE 2017 Most Reproducible Paper Award, SIGMOD 2017 Google Ph.D. Fellowship, 2017 Amir Shaikhha has advised PhD students including Hesam Shahrokhi and has been nominated for Best Supervisor of the Year at the University of Edinburgh. He leads research projects that have received recognition and support through awards and grants, including the Google Research Scholar Award. He actively serves the community through program committees (e.g., GPCE, DBPL, DRAGSTERS), editorial roles, and peer review for premier journals. His leadership in organizing workshops and conferences underscores his role as a central figure in the programming languages and databases research communities. He leads a research group focused on compiler and database systems, with recent open-source releases such as StructTensor and VecHT. His team collaborates with researchers from institutions like MIT, EPFL, and TU Berlin, and he co-chairs workshops like Sparse@PLDI and DRAGSTERS. His lab emphasizes innovation in how data-intensive programs are compiled and executed efficiently across modern hardware.

Zachary KincaidView profile

Associate Professor

• Program Analysis
• Formal Methods
• Programming Languages
• +4 more

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Xiaoming LiView profile

Associate Professor

• Compiler Optimization
• Machine Learning for Code Generation
• Hardware-Software Interaction
• +5 more

Xiaoming Li is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Delaware , focusing on compiler optimization, GPU computing, and hardware-software interaction. His work bridges machine learning with code generation to enhance program efficiency. B.S. and M.E. from Nanjing University (1998, 2001) Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (2006) Research interests include: Compiler optimizations for static and dynamic code transformation Machine learning-driven code generation techniques FFT algorithms for sparse and hybrid systems Non-traditional compilers for SAT solvers and virtual machines GPU acceleration for large-scale computational problems His publications span 15 years , emphasizing: FFT optimization across GPU/CPU architectures Compiler techniques for heterogeneous systems Adaptive scheduling and error resilience Integration of empirical and model-driven approaches Notable awards: NSF CAREER Award (2008) Best Paper Award at ADAPT Workshop (2013) Advising highlights: Current students: Ryan Taylor, Sha Li, Shuo Chen, Yuanfang Chen, Chao Yang, Chaoyu Chen Graduates: Liang Gu (FFT Libraries), Jakob Siegel (GPGPU Frameworks), Murat Bolat (Context-Aware Compilation)

Bryan ParnoView profile

Professor

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +7 more

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

• Malware Analysis
• Symbolic Execution
• Machine Learning
• +3 more

Charles-Henry Bertrand Van Ouytsel is a Research Assistant and Visiting Lecturer at Université catholique de Louvain , affiliated with the Louvain Polytechnic School (EPL) and the Computer Engineering Center (INGI) . His work focuses on malware analysis , symbolic execution , and machine learning for cybersecurity applications. Research Areas : Packing detection, intrusion detection systems, side-channel security, and adversarial machine learning. Teaching : Involved in courses like Secured systems engineering (LINFO2144) and Software engineering and programming systems seminar (LINFO2359) . His recent publications emphasize malware obfuscation techniques and security evaluation frameworks . Collaborations with Axel Legay and others highlight his contributions to tool development (e.g., Packing-Box , SEMA ). No scientific awards are explicitly mentioned.

Michael D. ErnstView profile

Professor

• software engineering
• programming languages
• type theory
• +6 more

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington's College of Engineering. His research aims to make software more reliable, more secure, and easier (and more fun!) to produce. Previously, he was a tenured professor at MIT and a researcher at Microsoft Research. Ernst's primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. His research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He focuses particularly on programmer productivity and developing practical tools that can be integrated into developers' workflows. Analysis of his recent publications (2018-2025) reveals a continued focus on verification techniques, program analysis, and testing methodologies. His work spans from theoretical foundations of type systems to practical applications of NLP for test generation and LLMs for test oracle creation. A consistent theme is developing lightweight, modular approaches that can be practically applied in real-world development environments. Scientific Awards: ACM Fellow (2014) John Backus Award (2009) NSF CAREER Award (2002) ACM SIGSOFT Impact Paper Award (2013) 8 ACM Distinguished Paper Awards across multiple conferences ECOOP 2011 Best Paper Award Microsoft Academic Search ranked #2 in software engineering research (2013) Ernst has received significant research funding including the NSF CAREER Award, supporting his work on program analysis and verification techniques. His research combines theoretical rigor with practical impact, often resulting in tools that are adopted by the software engineering community. He actively collaborates with researchers across institutions and has served in leadership roles for major conferences in programming languages and software engineering. His research group develops practical tools that address real challenges in software development, with a focus on making verification and analysis techniques more accessible to working developers. Current projects include applying machine learning techniques to software engineering problems while maintaining strong theoretical foundations.

Yepang LiuView profile

Associate Professor

• Software Testing and Analysis
• Empirical Software Engineering
• AI for Software Engineering
• +5 more

Yepang Liu is a tenured Associate Professor in the Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China. He leads the Software Quality Lab and serves as director of the Trustworthy Software Research Center within the Research Institute of Trustworthy Autonomous Systems. His educational background includes a B.Sc. with honors from Nanjing University (2010) and a Ph.D. from the Hong Kong University of Science and Technology (2015), where he was supervised by Prof. Shing-Chi Cheung. Prior to joining SUSTech, he worked as a postdoc at HKUST's CASTLE Lab and Cybersecurity Lab. Liu's research primarily focuses on software testing and analysis, empirical software engineering, AI for SE, software security, and trustworthy AI. His work bridges traditional software engineering with cutting-edge AI technologies, particularly in automated testing, security analysis, and quality assurance for mobile, blockchain, and extended reality applications. Recent projects explore how large language models can enhance bug detection, improve testing automation, and address fairness issues in machine learning systems. His contributions have been recognized with three ACM SIGSOFT Distinguished Paper awards (ICSE 2021, ASE 2016, ICSE 2014) and one Distinguished Artifact award (ICSE 2019). He has also received the ACM SIGSOFT Service Award and Distinguished Reviewer Award for his extensive service to the software engineering community. Top-10 Most Active Early-Stage Software Engineering Researcher (2013-2020) Top-10 Most Popular Instructor Among 2024 Undergraduate Graduates at SUSTech Junior Faculty of the Year (2021) SUSTech Teaching Excellence Award (2021) Outstanding Mentor Award (2020, 2024) Liu actively serves on the editorial boards of Empirical Software Engineering (EMSE) and Journal of Computer Science and Technology (JCST). He has participated in over 80 conference committees including leadership roles in ICSE, FSE, ASE, and ISSTA. His research is supported by the National Natural Science Foundation of China, National Key Research and Development Program, and leading Chinese IT companies. He regularly mentors PhD and MSc students and has guided multiple national competition award-winning teams. The Software Quality Lab under Liu's direction focuses on innovative approaches to software testing, security analysis, and quality assurance across various platforms including mobile, blockchain, and extended reality applications. Current projects emphasize the integration of AI techniques with traditional software engineering practices to address emerging challenges in software quality.