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

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 .

• security
• programming languages
• 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.

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

Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.

• WebAssembly
• Formal Verification
• 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

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

Pierre Marquis is a distinguished Professor of Computer Science at Université d'Artois , affiliated with the Centre de Recherche en Informatique de Lens (CRIL-CNRS, UMR 8188) . Since December 2024, he has served as the vice-president for research and doctoral studies at Université d'Artois. His research focuses on Artificial Intelligence , particularly knowledge representation , automated reasoning , inconsistency handling , and knowledge compilation , with recent emphasis on Explainable AI (XAI) . Research Interests: Marquis's work spans foundational AI topics including abduction , induction , belief revision , and preference modeling . He has pioneered knowledge compilation techniques to optimize AI tasks and developed frameworks for reasoning under inconsistency through paraconsistent logics and argumentation. His EXPEKTATION chair (2020-2026) under France's national AI program drives his current focus on interpretable machine learning models. Scientific Awards: 2025: CNRS Silver Medal 2022: AAIA Fellow 2017: Senior Member of Institut Universitaire de France (IUF) 2009: EurAI (ECCAI) Fellow Doctoral Students: Mentoring Clément Lens (critical patient monitoring systems) and Mehdi Sabiri (data-knowledge integration for AI explanations). Collaborating with students like Louenas Bounia (formal XAI models) and Romain Wallon (pseudo-Boolean constraints). Grants & Projects: Leads the EXPEKTATION research chair (2020-2026) and participates in ANR PING/ACK (2019-2023), ANR THEMIS (2021-2025), CNRS IRP MAKC (2020-2024), and H2020 TAILOR (2020-2024). Previously led PIA4 MAIA (2023-2032) and Pint (2022-2023). Labs & Teams: Active in CRIL-CNRS, contributing to PyXAI (Python XAI library) and d4 (model counting), while mentoring teams on consensus belief merging and dynamic constraint processing .

• Artificial Intelligence
• Knowledge Representation
• Automated Reasoning
• +۶ مورد دیگر

Geoffroy Couteau is a CNRS research scientist at IRIF (Institut de Recherche en Informatique Fondamentale), Université Paris Cité, where he conducts research in theoretical and applied cryptography. He obtained his PhD from École Normale Supérieure de Paris in 2017 under the supervision of David Pointcheval and Hoeteck Wee, followed by a postdoctoral position at Karlsruhe Institute of Technology (KIT) from 2017 to 2019. His primary research interests include secure multiparty computation, zero-knowledge proofs, and the theoretical foundations of cryptography, with a particular emphasis on pseudorandom correlation generators and efficiency improvements in cryptographic protocols. He has made significant contributions to fine-grained cryptography, non-interactive zero-knowledge proofs, and post-quantum secure computation. The recent publications reflect a strong trend toward foundational advances in secure computation, with increasing focus on efficiency, practicality, and connections to complexity theory and learning theory. His work often bridges theoretical hardness assumptions with practical protocol design. ERC Starting Grant (2023) for project OBELiSC (Overcoming Barriers and Efficiency Limitations in Secure Computation) Geoffroy Couteau has advised numerous PhD and master’s students, including Dung Bui, Clément Ducros, Eliana Carozza, and Ulysse Léchine. He has also hosted many visiting students and postdocs, fostering a vibrant research group. He has served on the program committees of major conferences such as EUROCRYPT, CRYPTO, TCC, and PKC. He is currently leading research in cryptography at IRIF and is involved in postdoctoral hiring for projects in advanced cryptographic primitives. He maintains a research blog and resource collection for students, including LaTeX templates, a probability cheat sheet, and curated answers to common cryptography questions.

• Cryptography
• Secure Multiparty Computation
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Florian Brandner is an Associate Professor at Télécom Paris , Institut Polytechnique de Paris, and a member of the AuTonomous Critical Embedded Systems (ACES) team within the Information Processing and Communication Laboratory (LTCI) . His research focuses on compiler backend optimization for embedded processors , especially VLIW architectures , in the context of real-time systems . He specializes in worst-case execution time (WCET) optimization , code generation techniques, register allocation, and dynamic binary translation. His work addresses challenges in identifying code paths critical for WCET and ensuring predictable behavior in embedded environments. Academic Appointments: Associate Professor (HDR) at Télécom Paris (2025–present); previous roles at COMPSYS team, ENS Lyon; Microsoft Research; Technical University of Denmark. Research Grants: Involved in projects like Designing Formally Verified Predictable Architectures (CEA 2023–2026), Collaborative Action on Timing Interferences (ANR 2022–2026), and Time-Predictable Cache Management (CEA 2016–2019). Scientific Awards: Outstanding Paper at ECRTS'25, Best Paper at RTNS'22, RTNS'20, SoftCOM'17, and RTNS'15. Patents: Co-inventor of Time-Division Multiplexing Methods (US Patent US20210397488A1, French Patent FR3087982B1). Recent Publications highlight advancements in formal verification for memory controllers (Real-Time Systems 2023), causality modeling in timing anomalies (STTT 2022), and context-sensitive cache analysis (Real-Time Systems 2022). His work spans real-time systems theory, practical compiler design, and hardware-software co-verification.

• Real-Time Systems
• Embedded Systems
• Compiler Optimization
• +۵ مورد دیگر

Stefan Marr is a faculty member at the University of Kent, United Kingdom, focusing on Concurrent Programming , Language Implementation , and Virtual Machines . His research spans projects like optimizing interpreters, improving concurrency models, and enhancing profiling tools for dynamic languages. Projects : Royal Society Industry Fellowship (FastStart), EPSRC-funded CaMELot, Oracle Labs-funded Automatic Superinstructions. Collaborations : With students and researchers across institutions, including Shopify, Vrije Universiteit Brussel, and Johannes Kepler University Linz. His recent work emphasizes profiling reliability for Java, interpreter performance , and tooling for complex concurrent systems . Projects like SOM (Simple Object Machine) and its variants (SOM++, TruffleSOM, PySOM) highlight his commitment to language implementation research and education. Scientific Awards include fellowships and grants from the Royal Society, EPSRC, and Oracle Labs. His contributions to conferences as program committee member , steering committee , and workshop organizer further underscore his academic leadership.

• Concurrent Programming
• Language Implementation
• Virtual Machines
• +۶ مورد دیگر

Manuel Rigger is an Assistant Professor at the National University of Singapore (NUS), leading the TEST Lab (Trustworthy Engineering of Software Technologies) within the PL/SE group at the School of Computing. His research focuses on improving the reliability of data-centric systems through automated testing frameworks and formal methods. Education : PhD from Johannes Kepler University Linz (supervised by Hanspeter Mössenböck), postdoctoral work at ETH Zurich (Advanced Software Technologies Lab under Zhendong Su). Research Interests : Automated testing of database systems Programming language design and verification Incremental build systems Formal methods for software reliability Key Contributions : Developed tools like SQLancer (for finding bugs in databases) and CERT (performance issue detection). His work has uncovered over 800 bugs in real-world systems. Awards : Recipient of the ERC Consolidator Grant (2025) for groundbreaking research in software security and testing. Service Roles : Organizer of ICFP/SPLASH 2025 Outdoor Activities, committee member for OOPSLA Review, PLDI Artifact Evaluation, and ICSE Program Committee. Also actively involved in organizing workshops (e.g., Fuzzing & Software Security Summer School 2025).

• Software Engineering
• Programming Languages
• Systems
• +۴ مورد دیگر

Mathias Payer is an associate professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive research group since 2018. He focuses on strengthening software and system security through fuzzing, vulnerability mitigation, and compiler-based approaches. His work includes open-source prototypes and contributions to embedded systems, IoT security, and trusted execution environments. Education: PhD in Computer Science (Dr. sc. ETH) from ETH Zurich (2012), postdoctoral researcher at UC Berkeley (2012–2014), and assistant professor at Purdue University (2014–2018). Tenured at EPFL since 2021. Research Interests: Fuzzing frameworks, memory safety, vulnerability analysis, compiler optimizations for security, and firmware security. Projects include Enclosure , HexType , and DP3T (decentralized contact tracing). Awards: Multiple best/distinguished paper awards at top venues (e.g., Usenix Security, NDSS, RAID). Co-founded the EPFL polygl0ts and Purdue b01lers CTF teams to foster cybersecurity innovation. Labs/Teams: HexHive group, CTF initiatives, and collaborations with industry (e.g., Intel SGX, Android security).

• Software Security
• System Security
• Fuzzing
• +۵ مورد دیگر

Umang Mathur is an Assistant Professor at the National University of Singapore's School of Computing, where he leads the FOCS Lab and is affiliated with PLSE@NUS. His research focuses on Formal Methods , Concurrency , and Decidability in Programming Languages and Software Engineering . PhD in Computer Science from the University of Illinois at Urbana-Champaign (advisor: Prof. Mahesh Viswanathan) Former Research Scientist at Facebook Inc. and Research Fellow at the Simons Institute Recipient of Google PhD Fellowship, 2024 CPP Distinguished Paper Award, 2023 ACM SIGPLAN Award, and ASPLOS 2022 Best Paper Award His recent work explores algorithmic techniques for detecting concurrency bugs , decidable program verification , and synthesis , with a focus on weak memory models, predictive monitoring, and automata-theoretic approaches. Articles span topics like causal concurrency, tree clock data structures, and probabilistic counting algorithms, reflecting interdisciplinary intersections of logic and systems research. Scientific Awards Google PhD Fellowship 2024 CPP Distinguished Paper 2023 ACM SIGPLAN Distinguished Paper 2022 ASPLOS Best Paper 2018 ESEC/FSE Distinguished Paper He advises PhD students in Formal Methods and supervises teams in the FOCS Lab. Teaching includes advanced modules on Automata Theory, Logic, and Verification at NUS.

• Formal Methods
• Concurrency
• Programming Languages
• +۴ مورد دیگر

Andrea Simonetto is a Research Professor at the Applied Mathematics Unit (UMA) , ENSTA Paris, Institut Polytechnique de Paris. His work spans optimization, control theory, and learning algorithms for large-scale and streaming data , with applications in smart grids, intelligent transportation, personalized health, and quantum computing. Current research focuses on online algorithms for time-varying optimization , personalized optimization for cyber-physical systems , and variational quantum algorithms . Past contributions include theoretical and algorithmic advances in convex/non-convex optimization, distributed optimization (robotic networks, smart grids), and signal processing for sparse reconstructions and parallel computing in particle filtering. Key application domains include renewable energy integration , quantum state preparation , and human-in-the-loop control systems . His research is published in journals like ACM Transactions on Quantum Computing , IEEE Control Systems Letters , and Automatica .

• Optimization
• Control Theory
• Quantum Computing
• +۵ مورد دیگر

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

• Program Synthesis
• Formal Verification
• Quantum Computing
• +۵ مورد دیگر

Antoine Miech is a Researcher at DeepMind's Vision Group , with prior affiliations at Inria and Ecole Normale Supérieure where he completed his computer vision Ph.D. under Ivan Laptev and Josef Sivic . He has collaborated with researchers from Facebook AI and Google during his academic career. Research Interests span video understanding, weakly-supervised machine learning, and multimodal analysis. His work focuses on: Text-video embedding Self-supervised video representation Action localization Anticipatory video modeling Scalable multimodal learning Scientific Contributions include: HowTo100M - A massive dataset of narrated instructional videos MIL-NCE - A novel loss function for video-text alignment MEE - A model for handling heterogeneous data Context Gating - Learnable pooling architecture Awards & Recognition : Google Ph.D. Fellowship (2018) Technical Leadership : Created the LOUPE TensorFlow toolbox for feature pooling and maintained annotated video dataset catalogs. Organized the Data Science Game competition (2016-2017).

• Computer Vision
• Machine Learning
• Natural Language Processing
• +۷ مورد دیگر

Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.

• Programming Languages
• Secure Compilation
• Type Theory
• +۷ مورد دیگر