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

Adriana Tapusمشاهده پروفایل

استاد

• Robotics
• Human-Robot Interaction
• Machine Learning
• +۷ مورد دیگر

Adriana Tapus is a Full Professor at ENSTA Paris, affiliated with Institut Polytechnique de Paris, leading the Autonomous Systems and Robotics Laboratory (SAR) within the Computer Science and Systems Engineering Unit (U2IS). She holds an HDR (Habilitation) and a PhD from EPFL, Switzerland, with postdoctoral experience at USC. Her research focuses on socially assistive robotics, human-robot interaction (HRI), and personalized therapy for individuals with physical/cognitive impairments. She directs the IP Paris Doctoral School and coordinates national/international projects like the EU-funded ENRICHME and SWEET. Education: PhD in Mobile Robotics, EPFL (2005) Habilitation (HDR), ENSTA Paris (2011) M.S. Computer Science, University Joseph Fourier Engineer, Politehnica University of Bucharest Research Interests: Tapus pioneers socially assistive robotics, integrating machine learning, human modeling, and multimodal communication (verbal/non-verbal/para-verbal). Her work addresses adaptive therapies for vulnerable populations using robotics, physiological data interpretation, and context-aware interaction. Key themes include: Human-robot cooperation and trust Emotion recognition and expression Personalized rehabilitation systems AI ethics and human-centered design Publications: Over 150 articles, with recent work exploring humor in HRI, teleoperation trust models, and cross-cultural intelligent vehicles. Notable 2025 contributions include studies on robot laughter efficacy and multimodal facial expression frameworks. Awards: 2025: 4 IROS papers accepted 2016: 25 Women in Robotics recognition 2010: Romanian Academy Award Multiple conference best paper awards (RO-MAN, ICRA, etc.) Advising & Grants: Supervised over 20 PhD students and led projects like EU Horizon 2020 ENRICHME. Current students focus on teleoperation dynamics, robot humor, and haptic interfaces. Active in editorial roles (IJSR, THRI) and conference organization (HRI General Chair 2019). Labs/Teams: Founder of RoboticsByDesign lab and co-initiator of the Hi! Paris interdisciplinary AI center. The SAR lab develops systems for healthcare, education, and human-robot collaboration.

• Human-Computer Interaction
• Data Visualization
• Software Adaptability
• +۴ مورد دیگر

James R. Eagan is an Associate Professor in the Computer Science and Networks Department (Infres) at Télécom Paris , part of the Institut Polytechnique de Paris. He is also a Visiting Professor at the University of Colorado, Boulder for the 2024–25 academic year. His research focuses on making computers more expressive tools for human interaction, emphasizing malleable software, collaborative dynamic media, and multi-surface environments. His work spans Human-Computer Interaction , Data Visualization , and User Interface Programming . A key theme involves adapting software for user-driven customization, exemplified by projects like Webstrates (shareable dynamic media) and SchemeLens (semantic zoom for technical diagrams). He also explores uncertainty in data analytics and gesture-based interfaces for experts. Recent publications from 2020–2024 address Explainable AI (XAI) , Financial Crime Detection , and Interactive Data Analysis . His tools Tarantula and SchemeLens have received acclaim, including the 2015 ACM SIGSOFT Impact Award and Best Paper at UIST 2015. Scientific accolades include: Prix de l’Impact 2015 d’ACM SIGSOFT Best Paper Award at UIST 2015 Honorable Mention at CHI 2017 He teaches courses in Mobile Application Development , Human-Computer Interaction , and Data Visualization . His lab, DIVA (Design, Interaction, Visualization & Applications), operates within the Information Processing and Communication Laboratory (LTCI). He actively recruits PhD candidates and postdocs for research in these domains.

Daniel Varroمشاهده پروفایل

استاد

• Model-Based Systems Engineering
• Cyber-Physical Systems
• Software Engineering
• +۱۲ مورد دیگر

Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.

Stefania Dumbravaمشاهده پروفایل

دانشیار

• Formal methods for databases
• Graph databases
• Property graphs
• +۷ مورد دیگر

Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.

Valerie Viet Triem Tongمشاهده پروفایل

استاد پژوهش

• Information Flow Control
• Android Security
• Malware Analysis and Detection
• +۵ مورد دیگر

Valerie Viet Triem Tong is a Research Professor at the Paris Institute of Electrical and Electronic Engineering, School of Electrical and Electronic Engineering. She has established herself as a leading researcher in cybersecurity with a particular focus on information flow control systems, Android security, and malware analysis. Her work spans both theoretical foundations and practical security tools development. Her research interests center on Information Flow Control , where she has developed frameworks for monitoring and enforcing security policies at both operating system and application levels. She has made significant contributions to Android Security , creating tools for detecting malicious behavior in mobile applications and addressing privacy concerns in smartphone environments. Her work in Malware Analysis includes developing advanced techniques for tracking and visualizing malware behavior, with emphasis on evasive Windows malware and Android malware in the wild. She also investigates Peer-to-Peer Network Security , focusing on Sybil attack resistance and distributed identity management. Analysis of her publication record reveals a consistent trajectory from foundational work in information flow theory to increasingly applied security research. Her recent work shows a strong emphasis on practical security tools (DaViz, GUI-Mimic, BAGUETTE), security evaluation methodologies (Digital twin, CERBERE), and addressing contemporary challenges in malware analysis (debiasing datasets, handling obfuscated applications). A notable trend is her integration of visualization techniques with security analysis to make complex security data accessible to both experts and machine learning systems. As an advisor, she has mentored numerous researchers who have become first authors on significant publications, including Radoniaina Andriatsimandefitra, Tomás Concepcion Miranda, and Cedric Herzog. Her research has been supported by multiple grants focused on cybersecurity infrastructure, though specific grant details are not provided in the available information. Dr. Tong is actively involved with the CIDre security research group in Rennes, contributing to collaborative projects that bridge theoretical security models with practical implementation challenges. Her work on information flow monitoring has evolved from basic research to applied systems that address real-world security concerns across multiple platforms.

• Static Program Analysis
• Abstract Interpretation
• Programming Languages
• +۳ مورد دیگر

Caterina Urban is a Research Scientist (Chargé de Recherche) at INRIA and École Normale Supérieure (ENS) in Paris, France. She is a member of the INRIA research team ANTIQUE (ANalyse StaTIQUE), where she focuses on formal methods and static analysis. Prior to her current position, she was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich. Dr. Urban holds a PhD in Computer Science (2015) from École Normale Supérieure, Paris, where she worked under the joint supervision of Radhia Cousot and Antoine Miné. She also earned a Master's degree (2011) and Bachelor's degree (2009) in Computer Science, both with full marks and honors (summa cum laude) from the Università degli Studi di Udine, Italy. Her research interests span the whole spectrum of formal methods with a focus on developing rigorous methods and tools to enhance the reliability of computer software, particularly data science applications. Her main area of expertise is static analysis based on abstract interpretation. Dr. Urban is currently engaged in several research projects including Lyra (focusing on data science software), Libra (fairness certification for neural networks), and SAIF (addressing safety concerns in machine learning-based systems). Dr. Urban's recent publications demonstrate her expertise in applying abstract interpretation to diverse areas including machine learning, data science, program verification, and security. Her work bridges theoretical foundations with practical applications, particularly in ensuring the reliability and trustworthiness of increasingly critical data science and machine learning systems. She has received recognition for her work through invitations to serve on program committees for major conferences including OOPSLA 2026, PLDI 2026, and CAV 2026. She is also the general chair of iFM 2025 in Paris. Dr. Urban actively mentors the next generation of researchers, supervising PhD students and postdoctoral researchers. She teaches courses on abstract interpretation and its applications at the Master Parisien de Recherche en Informatique (MPRI) and various international summer schools. She has developed several open-source software tools including Lyra (a static analyzer for data science applications), Libra (for fairness certification of neural networks), and Typpete (SMT-based static type inference for Python).

Tom Schrijversمشاهده پروفایل

استاد

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

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

Limin Jiaمشاهده پروفایل

استاد پژوهش

• Security
• Programming Languages
• Formal Verification
• +۳ مورد دیگر

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) .

Yvain Brunedمشاهده پروفایل

استاد

• Singular Stochastic Partial Differential Equations
• Regularity Structures
• Renormalisation Theory
• +۵ مورد دیگر

Yvain Bruned is a Professor of Mathematics at Université de Lorraine, Nancy, France, where he leads research in singular stochastic partial differential equations and related fields. He serves as Principal Investigator for the ERC Starting Grant LoRDeT (2023-2028), which focuses on advancing the theory of decorated trees and Hopf algebraic structures for solving singular SPDEs and dispersive PDEs at low regularity. Previously, he was a Lecturer at the University of Edinburgh (2019-2022) and completed postdoctoral work at Imperial College London and University of Warwick under Martin Hairer. His educational background includes: PhD in Mathematics (2012-2015), UPMC (Paris 6), on "Singular KPZ type equations" under Lorenzo Zambotti Master 2 in Probability and Statistics, ENS Cachan / Rennes 1, with honors Master 1 in Mathematics, ENS Cachan, with honors Bachelor in Mathematics and Computer Science, University of Rennes 1, with honors Student at ENS Cachan Brittany extension (2009-2013) Classes Préparatoires in Mathematics and Physics (2007-2009) Bruned's research centers on singular stochastic partial differential equations, with particular focus on Regularity Structures, renormalization theory, and their connections to Hopf algebras. His work bridges theoretical mathematics with applications in quantum field theory, wave turbulence, and numerical analysis. He has developed novel approaches using decorated trees to handle renormalization procedures for singular SPDEs and has extended these methods to dispersive PDEs with random initial data. His research program aims to establish existence and uniqueness results for quasilinear and dispersive SPDEs while developing algebraic tools through deformations of Hopf algebras. His extensive publication record demonstrates consistent contributions to the field of singular SPDEs, with a clear trajectory from foundational work on Regularity Structures to more recent applications in dispersive PDEs and numerical methods. The publications reveal a strong collaborative network with leading researchers in stochastic analysis, mathematical physics, and algebra. His work shows increasing sophistication in handling renormalization procedures through algebraic structures, with recent papers exploring connections between different mathematical frameworks. His major scientific recognition includes: ERC Starting Grant LoRDeT (2023-2028) Bruned actively supervises a large group of researchers, currently advising 4 PhD students and 2 postdoctoral researchers at Université de Lorraine, with several former PhD students having completed their degrees at the University of Edinburgh. His ERC grant has enabled him to organize multiple international workshops in Nancy, fostering collaboration between researchers in singular SPDEs, algebraic structures, and numerical analysis. The grant also supports the development of software platforms for decorated trees and their Hopf algebraic structures. As Principal Investigator of the ERC LoRDeT project, Bruned leads a vibrant research team based at the Elie Cartan Institute of Lorraine, which includes postdocs, PhD students, and visiting researchers. The team regularly organizes specialized workshops on topics including operads, symmetries for quantum field theory, and normal forms for singular dynamics, creating a dynamic research environment that bridges multiple mathematical disciplines.

Gang (Gary) Tanمشاهده پروفایل

استاد

• Computer Security
• Formal Methods
• Programming Languages
• +۲ مورد دیگر

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

Thomas Le Goffمشاهده پروفایل

استادیار

• Artificial Intelligence Regulation
• Environmental Law
• Digital Technology Law
• +۵ مورد دیگر

Thomas Le Goff is an Assistant Professor of Law & Technology at Télécom Paris – Institut Polytechnique de Paris, affiliated with the Interdisciplinary Institute of Innovation (i3) and the Digital, Organization and Society (DTOS) research team. His work bridges legal frameworks and technological advancements, focusing on AI regulation, environmental sustainability, data protection, and cybersecurity. Education: PhD in Private Law, Université Paris Cité Master’s in Law, Université Paris Cité LLM, University of Exeter (UK) Licence and Magistère, Université de Rennes 1 His research explores the intersection of AI and sustainability, emphasizing how legal principles can guide environmentally responsible technology. Key themes include the AI Act’s implications, data center energy demands, and regulatory strategies for balancing digital growth with net-zero targets. His work has been presented at international forums like BILETA and contributes to EU think tanks such as CERRE. Recent publications address AI’s environmental footprint, nuclear energy’s role in powering AI, and legal frameworks for sustainable digital infrastructure. Collaborations with institutions like the Center on Regulation in Europe (CERRE) highlight his focus on comparative analyses of global regulatory practices.

Thomas Walterمشاهده پروفایل

استاد

• Biomedical Image Analysis
• Machine Learning
• Computational Pathology
• +۴ مورد دیگر

Thomas Walter is a Professor at Mines ParisTech and Director of the Centre for Computational Biology (CBIO) , a research group affiliated with the Institut Curie and INSERM . His work focuses on applying Machine Learning and Computer Vision to biomedical image analysis, particularly in high-content screening and computational pathology . He also serves as Deputy Director of the Computational Oncology (U1331) unit and leads the Statistical Learning and Modeling of Biological Systems team. PhD in Medical Image Analysis (2003, Mines ParisTech) Postdoctoral work at EMBL (European Molecular Biology Laboratory) Director of CBIO since 2018 Holder of a PRAIRIE Chair (Paris Artificial Intelligence Research Institute) since 2019 Dr. Walter's research bridges biomedical imaging , machine learning , and cancer genomics . Key areas include: Statistical reconstruction of biological networks Prediction of tumor progression at genomic/transcriptomic levels Development of deep learning methods for cell cycle analysis Integration of multi-omics data for precision oncology Tools for spatial transcriptomics (e.g., autoFISH, RNA2seg) Recent publications highlight his work in spatial transcriptomics , immunotherapy outcome prediction , and deep learning for digital pathology . His team has developed open-source tools like FISH-quant and pyHiM for single-molecule RNA imaging analysis. Scientific Honors: PRAIRIE Chair (2019) for AI research in life sciences Dr. Walter actively contributes to teaching deep learning for image analysis in multiple graduate programs across France, including courses at Mines ParisTech , Université Paris-Saclay , and Institut Curie . His software tools (FISH-quant, pyHiM) and methodological frameworks (e.g., Cut-Detector, PointFISH) have become standard resources in bioimage informatics.

• Electronic Government
• Technology Implementation
• Information Systems
• +۶ مورد دیگر

Frank Chan is a Professor of Information Systems at ESSEC Business School in France, where he currently serves as Department Head of Information Systems, Decision Sciences and Statistics (2022-2025). He has been with ESSEC since 2013, progressing from Assistant Professor to Associate Professor and now Professor. His academic career focuses on the intersection of information systems, public administration, and organizational behavior. Dr. Chan earned his Ph.D. in Information Systems from Hong Kong University of Science and Technology (HKUST) in 2010 and completed his BBA in Information Systems and Finance from the same institution in 2003. His educational background provided the foundation for his research in technology implementation and electronic government. His research interests span electronic government, technology implementation, agile methodologies, and internet privacy. Dr. Chan's work examines how digital technologies transform public services, organizational processes, and citizen experiences. He investigates the human aspects of technology adoption, including leadership dynamics in agile teams, citizen satisfaction with e-government services, and privacy concerns in digital environments. His multidisciplinary approach combines insights from information systems, public administration, and organizational behavior. Analysis of Dr. Chan's publication record reveals a consistent focus on e-government systems and technology implementation, with increasing attention to agile development methodologies in recent years. His work demonstrates a progression from foundational technology adoption studies to more nuanced investigations of leadership dynamics, privacy concerns, and the societal impacts of digital initiatives. The interdisciplinary nature of his research bridges business, public administration, and technology domains. Pacific Asia Conference on Information Systems Best Associate Editor Award (2022) International Conference on Information Systems Outstanding Associate Editor Award (2019) MIS Quarterly Reviewer of the Year Award (2019) MIS Quarterly Reviewer of the Year Award (2018) Journal of Operations Management Ambassador Award (2017) Finalist for Journal of Operations Management Jack Meredith Best Paper Award (2012) As a Senior Editor for Information Systems Journal since 2021 (previously Associate Editor 2016-2020), Dr. Chan has significantly contributed to the academic community. He has served as Track Co-Chair for major conferences including International Conference on Information Systems and Pacific Asia Conference on Information Systems. His consulting work with United Nations ESCAP on digitalization of tax administrations in Asia demonstrates the real-world impact of his expertise. Dr. Chan teaches courses in Research Design, Quantitative Research Methods, and Digital Business at ESSEC.

Jean Ponceمشاهده پروفایل

استاد

• Computer Vision
• Image Processing
• Machine Learning
• +۳ مورد دیگر

Jean Ponce is a Professor at Ecole Normale Supérieure - PSL and a Global Distinguished Professor at New York University's Courant Institute and Center for Data Science. He serves as Scientific Director of PRAIRIE Interdisciplinary AI Research Institute and co-founded Enhance Lab, commercializing super-resolution imaging software. His research focuses on computer vision, machine learning, robotics, and image processing. Ponce has held roles at Inria, MIT, Stanford, and the University of Illinois, and is an IEEE and ELLIS Fellow. He has served as chair of major conferences like CVPR, ECCV, and ICCV, and authored the textbook 'Computer Vision: A Modern Approach.' Research interests include statistical models for exoplanet detection, neural networks for 3D reconstruction, and self-supervised learning. His work combines theoretical foundations with practical applications in astrophysics, robotics, and imaging. Notable awards include the IEEE CVPR Longuet-Higgins Prize (2016, 2020) and ICML Test-of-Time Award (2019). Key projects include Enhance Lab's high dynamic range imaging and PRAIRIE's interdisciplinary AI initiatives. Ponce's articles explore cutting-edge topics like neural object priors, geodesic motion planning, and satellite image analysis. His contributions bridge academic research and industrial applications, emphasizing both fundamental theory and real-world impact.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

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