Jacques-Henri Jourdan is a CNRS researcher at the Laboratoire Méthodes Formelles (LMF) , Université Paris-Saclay. His work focuses on formal verification and programming language design , particularly for Rust and OCaml , using proof assistants like Coq and the Iris framework. Current academic rank: Researcher (CNRS) Affiliation: LMF, Université Paris-Saclay Research highlights include: Developing Creusot , a deductive verification tool for Rust Contributing to the Iris concurrent separation logic Formalizing RustBelt for Rust's type system soundness Building a statistical memory profiler for OCaml Scientific awards: GdR GPL 2016 Thesis Prize for his PhD on formal verification Notable contributions to academia: Co-teacher of Advanced Programming at ENS Paris-Saclay Co-development of OCaml's runtime library and parser Active program committee member in POPL, ICFP, and WITS
جستوجوی استاد و پژوهشگر
استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۱-۱۰ از ۱۰ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
James Riely is a Professor in the School of Computing at DePaul University , United States. His research focuses on Programming Languages , Concurrency , and Formal Methods , particularly in modeling Relaxed Memory and Security in distributed systems. He has contributed to leading conferences like POPL , SPLASH , and VMCAI , addressing topics such as Concurrent Programming , Event Structures , and Security Automata . Education : PhD in Computer Science from University of North Carolina at Chapel Hill (1999). Research Trends : His work spans Relaxed Memory Models , Software Verification , and Security Protocols , often integrating Formal Verification and Concurrency Theory . Key contributions include modeling Speculative Execution Attacks and designing Security Automata for enforceable policies. Conference Involvement : Active in program committees for POPL , VMCAI , and PPoPP , with session chair roles in tracks like Separation Logic and SLE .
Jean Pichon-Pharabod is a Tenure Track Assistant Professor at Department of Computer Science, Aarhus University , focusing on bridging programming language theory with industrial systems programming in areas like relaxed memory concurrency and formal verification. His work includes developing robust verification tools for WebAssembly and virtual machine security . Research Interests : Relaxed memory models, separation logic, capability safety, systems programming, and memory-safe execution environments. Scientific Awards : Amazon ARC Award (2024), Google ASPIRE Awards (2021-2023), AUFF Starting Grant. Key Contributions : Verified WebAssembly compilation, mechanised memory models, concurrency in ARM/RISC-V, and separation logic frameworks. Students : Zongyuan Liu, Maxime Legoupil, June Rousseau.
Dr. Emanuel Gastón Mompó Pavesi is an Assistant Professor in the Institute for Research in Technology (IIT) at Comillas Pontifical University, School of Engineering (ICAI), Madrid, Spain. He joined the institution in January 2023 and is affiliated with the Intelligent Systems research area. His academic background includes a Ph.D. in Mathematical Engineering from Universidad Carlos III de Madrid (2019), where he also served as a lecturer until 2022, and a B.Sc./M.Sc. in Mathematics from Universitat de València (2014). Ph.D. in Mathematical Engineering, Universidad Carlos III de Madrid (2019) B.Sc. & M.Sc. in Mathematics, Universitat de València (2014) His research spans nonlinear dynamical systems and nonequilibrium statistical mechanics, with emphasis on chaotic behavior, noise effects, memory, and anomalous relaxation in physical systems. He also explores applied mathematics topics such as numerical methods, optimization, inverse problems, and machine learning. His recent publications in journals like Physical Review Letters , Physical Review E , and Entropy reveal a strong focus on semiconductor superlattices, geometric diffusion, and relaxation dynamics in many-body systems. These works often intersect chaos, noise, and memory to develop novel physical insights and potential applications. Dr. Mompó is an active reviewer for Physical Review Letters and Physical Review E since 2018. He has delivered multiple invited seminars and organized scientific events, including the Junior Seminars at the Gregorio Millán Barbany Institute. He has also contributed to science communication through media appearances, such as the podcast "Casting the Future." While no formal students are listed, his involvement in mentoring through seminars and conference organization suggests academic leadership. He has not received explicitly mentioned scientific awards, but his publication record in top-tier journals indicates strong recognition in his field. He is involved in research dissemination and education, including upcoming training on AI for teaching and assessment at Comillas. His work is grounded in theoretical and applied physics, with potential applications in random number generation, signal processing, and complex system modeling.
Tom Goldeمشاهده پروفایل
پژوهشگر
- Mechanobiology
- Cell Dynamics
- Tissue Engineering
- +۳ مورد دیگر
Tom Golde is a Researcher leading the Integrative Cell and Tissue Dynamics group at the Institute for Bioengineering of Catalonia (IBEC), where he investigates the mechanical principles governing cellular and tissue behavior. His work bridges biophysics, bioengineering, and cancer biology through innovative experimental and theoretical approaches. His research focuses on mechanobiology and tissue dynamics , particularly examining how mechanical forces regulate epithelial morphogenesis, tumor-stroma interactions, and biopolymer network mechanics. Key interests include stress mapping in curved tissues, microfluidic immunotherapy models, and the physics of semiflexible polymer networks. His group employs advanced techniques like microfabrication, live-cell imaging, and computational modeling to unravel how physical cues influence cellular decision-making in development and disease. Recent publications (2023-2025) reveal trends in tumor microenvironment engineering and curved tissue mechanics , with breakthroughs in microfluidic immunotherapy testing platforms and epithelial stress mapping. Earlier work (2015-2019) established foundational principles in motor-free contractility and semiflexible polymer rheology , demonstrating how molecular crowding and filament entanglement generate biological forces without molecular motors. Golde directs the Integrative Cell and Tissue Dynamics laboratory, which integrates biophysical experimentation with computational modeling to study cellular mechanics across scales. The group collaborates extensively with cancer biologists and clinicians to translate mechanobiological insights into therapeutic applications, particularly in immunotherapy development and tissue engineering.
Àlex Ferrer Ferre is a Serra-Hunter Associate Professor at the Department of Physics, Universitat Politècnica de Catalunya (UPC) in Barcelona, and an associate researcher at the International Center for Numerical Methods in Engineering (CIMNE). His research focuses on topology optimization, computational mechanics, and advanced material design. He holds a PhD in Computational Mechanics from UPC (2017) and has conducted postdoctoral research at the University of Oxford and École Polytechnique. Key roles include teaching courses like Flight Mechanics and leading the Swan project for topology optimization software. His work integrates academic and industrial collaborations with entities like ESA and INEGI. Research interests span multiscale design, topology optimization for additive manufacturing, and fracture mechanics. Major projects include the TopSat CubeSat chassis project (ESA-funded) and the Flexion project on flexible material design. Awards include the Marie Curie Fellowship (2019) and an Excellent Cum Laude PhD. His labs and teams collaborate globally, emphasizing open-source tools and collaborative research.
Soham Chakrabortyمشاهده پروفایل
استادیار
Soham Chakraborty is an Assistant Professor at the Programming Languages Group, TU Delft since 2021. He previously served as an Assistant Professor at the CSE Department, IIT Delhi before joining TU Delft. His academic journey includes a PhD from Max Planck Institute for Software Systems (MPI-SWS) in 2019 and a Master's degree from CSE Department, IIT Kharagpur in 2008. Affiliation: TU Delft, IIT Delhi, MPI-SWS Research Interests: Programming Languages, Compilers, Architecture, Verification, Concurrency His research focuses on formal semantics, compiler correctness, architecture-to-architecture translation, and verification of weak memory models. He has contributed to major conferences including POPL, PLDI, CGO, and ASPLOS. His work addresses challenges in heterogeneous concurrency, relaxed memory concurrency, and binary translation for weak memory architectures. Recent works include How Hard is Weak-Memory Testing? (POPL'24) and Toast: A Heterogeneous Memory Management System (PACT'24). He also received the Distinguished Paper Award at DATE'25 and Distinguished Artifact Award at PODC'22 . Teaching: Courses like Concepts of Programming Languages (CS2120), Parallel and Concurrent Programming (CS4555), Compiler Construction (CS4555), Analysis of Concurrent and Distributed Programs (CS4405), Software Fundamentals (Rust), and Seminar Programming Languages (COL 380) Students: PhD student Dennis Sprokholt, MSc students Michal Raczkiewicz, Alexandru Dumitriu, Huixuan Wu, and alumni including Pieter van den Ham, Mingyu Gao, Jeroen Kloppenburg, and others. Service: Served on program committees for POPL, PLDI, CGO, VMCAI, APLAS, and Eurosys workshops.
Xinyu Feng is a Professor at the Department of Computer Science and Technology , Nanjing University , and collaborates with Huawei . His work focuses on programming languages and formal methods , particularly concurrent system software verification , separation logic , and certified compilation . His research has produced influential contributions in verifying low-level system software with hardware interrupts, preemptive threads, and concurrent data structures. Notable publications include work on progress guarantees for concurrent objects modular verification of synchronization primitives parameterized memory models . In professional activities, he has served on program committees for major conferences like PLDI'21 , POPL'18 , and CAV'16 . He received a Distinguished Paper Award at PLDI'19 .
Ohad Kammarمشاهده پروفایل
پژوهشگر
- Programming Languages
- Type Theory
- Concurrency
- +۳ مورد دیگر
Ohad Kammar is a researcher at the University of Edinburgh , actively contributing to programming language theory, denotational semantics, and algebraic effects. His work bridges theoretical foundations with practical implementations. Research Themes : Type-driven development, concurrency, probabilistic programming, normalization algorithms, and algebraic effects. Conference Involvement : Committee member in Diversity, Equity and Inclusion , Student Research Competition , and LAFI tracks at POPL; program committee roles in ICFP, APLAS, PEPM, and HOPE. Publications : Focus on denotational semantics, effect handlers, relaxed memory concurrency, and dependently-typed probabilistic models.
Conrad Wattمشاهده پروفایل
استادیار
Conrad Watt is an Assistant Professor at Nanyang Technological University in Singapore. His research focuses on the formal verification and mechanisation of WebAssembly, particularly its concurrency and security features. He previously held a Research Fellow position at Peterhouse, University of Cambridge. His work bridges theoretical formal methods with practical systems implementation, contributing to standards proposals for WebAssembly's evolution. He co-chairs the W3C WebAssembly Community Group and has served on program committees for POPL, PLDI, and SPLASH. Education: PhD in Computer Science (University of Cambridge, 2021), supervised by Peter Sewell Research interests include mechanisation of programming language specifications, relaxed-memory concurrency, and domain-specific languages for formal semantics. His projects like SpecTec aim to unify WebAssembly's specification across documentation, implementations, and mechanisations. Selected contributions to WebAssembly include: Designing its initial concurrency specification Developing WasmRef-Isabelle as a verified interpreter and fuzzing oracle Creating Iris-Wasm for modular program verification Scientific recognition includes: ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award He advises PhD students in WebAssembly-related topics and leads collaborations with industrial partners like Wasmtime. Current research explores irreducible control flow in WebAssembly, richer concurrency models, and performance optimization through mechanised specifications.