جست‌وجوی استاد و پژوهشگر

Fabian Suchanekمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Bases
• Natural Language Processing
• +۳ مورد دیگر

Fabian Suchanek is a full professor at Institut Polytechnique de Paris, specifically affiliated with Télécom Paris. He leads research in the Data, Intelligence, and Graphs (DIG) team within the Computer Science department. His academic career focuses on bridging artificial intelligence with structured knowledge representations. Suchanek's research interests span artificial intelligence, knowledge bases, and natural language processing, with particular emphasis on knowledge graph construction , rule mining , knowledge-based language models , and explainable AI . His work demonstrates how structured knowledge can enhance machine learning systems, particularly large language models, by providing factual grounding and interpretability. The research group he leads develops practical systems that address real-world knowledge management challenges. His recent publications showcase a strong trajectory in knowledge-intensive AI, with notable contributions to knowledge graph completion, rule mining techniques, and neural approaches to knowledge base validation. The research demonstrates increasing integration between symbolic and neural approaches to AI. Best Student Paper Award at KR 2024 for work on contextual reasoning Best Demo Award of IJCAI 2024 for rule mining in knowledge graphs French Open Research Award for the YAGO project Best Paper Award of ESWC 2021 for Neural Knowledge Base Repairs Suchanek has secured significant research funding, evidenced by his active recruitment of PhD students for knowledge-based language model research. He has held visiting positions, including at Nanyang Technological University (June-September 2023), and is recognized internationally through keynote invitations such as the Singapore ACM SIGKDD Symposium 2023. He has deliberately stepped back from administrative duties at Institut Polytechnique de Paris to focus on research. His laboratory maintains strong industry connections through open-source software projects including the YAGO knowledge base, AMIE for rule mining, STACI for explainable AI, and several other tools that have become standard in knowledge representation research.

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

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

Loris D'Antoniمشاهده پروفایل

دانشیار

• Programming Languages
• Software Verification
• Program Synthesis
• +۴ مورد دیگر

Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.

Hugues Aschardمشاهده پروفایل

پژوهشگر

• Statistical Genetics
• Genome-Wide Association Studies (GWAS)
• Microbiome Research
• +۷ مورد دیگر

Hugues Aschard is a Principal Investigator and Structure Manager at the Pasteur Institute in Paris, where he leads research in statistical genetics, microbiome analysis, and computational genomics. He is the principal investigator of the MicMat project, the EpiGenCOV Consortium, and several bioinformatics software initiatives including JASS, RAISS, and MGMM. Research Interests: Statistical and computational methods in genetics Genome-wide association studies (GWAS) Gene-environment interactions Microbiome and host genetics in inflammatory bowel disease Genetic epidemiology of infectious diseases like COVID-19 Development of open-source tools for multi-trait and summary-statistic analysis Recent Research Trends: His recent publications and projects emphasize integrative genetic modeling, multi-trait analysis across diverse populations, and the development of novel computational methods to handle missing data and improve SNP discovery. His work bridges statistical innovation with biological and clinical applications in complex diseases. Scientific Contributions: Development of JASS, RAISS, and MGMM software tools Leadership in large-scale consortia like EpiGenCOV Advancing methods for cross-ancestry genetic studies Advising and Collaboration: He supervises multiple PhD students and postdoctoral fellows, including Christophe Boetto, Antoine Auvergne, and Lucas Chataigner. He collaborates with major institutions such as APHP and CNRGH. His team includes research engineers and administrative staff, indicating an active and well-supported research group. Laboratories and Teams: He is a key member of the Biomaterials and Microfluidics team at the Pasteur Institute, where he contributes to interdisciplinary research involving Bayesian decision processes and genetic modeling.

Pierre Alliezمشاهده پروفایل

پژوهشگر

• Geometry Processing
• Computer Graphics
• Computational Geometry
• +۵ مورد دیگر

Pierre Alliez is a Senior Researcher and Team Leader at Inria Sophia Antipolis – Méditerranée, leading the TITANE project-team. He holds roles such as President of the Inria Evaluation Commission and Scientific Coordinator of the Inria-DFKI partnership. His research focuses on Geometry Processing, including mesh compression, surface reconstruction, and optimal transportation. Alliez has authored numerous scientific publications and book chapters, receiving accolades like the Eurographics Young Researcher Award (2005) and ERC grants (IRON, TITANIUM). His academic activities include supervising over 50 PhD students and postdoctoral researchers, and leading projects like GRAPES (Learning and Processing Shapes) and BIM2TWIN (digital twin construction). He has served on editorial boards for Computer Graphics Forum and ACM Transactions on Graphics , and organized major conferences like Pacific Graphics and Eurographics. His work bridges computational geometry, computer graphics, and applied mathematics, with practical applications in 3D printing, cultural heritage, and urban modeling. Education: No specific educational details provided, but has authored a textbook on Polygon Mesh Processing (AK Peters, 2010). Research Interests: Geometry Processing, Mesh Generation, Surface Reconstruction, Optimal Transport, and 3D Data Analysis. Grants & Projects: ANR Pisco, ERC IRON, BIM2TWIN, GRAPES, and collaborations with industries like Dassault Systèmes and Dorea Technology. Labs/Teams: Leads the TITANE team at Inria, contributing to software like CGAL and advancing open-source tools for geometric processing.

Jonathan Andrew Crowcroftمشاهده پروفایل

استاد

• Computer Networks
• Distributed Systems
• Opportunistic Communications
• +۷ مورد دیگر

Jon Crowcroft is the Marconi Professor of Communications Systems in the Department of Computer Science and Technology at the University of Cambridge, and serves as the Chair of the Programme Committee at the Alan Turing Institute. He is also a Fellow of Wolfson College, Cambridge, and a visiting professor at the Department of Computing at Imperial College London. With a career spanning over three decades in computer networking research, Professor Crowcroft has made seminal contributions to the development of the Internet and continues to be highly active in cutting-edge research areas. His educational background includes: BA in Physics from Trinity College, University of Cambridge (1979) MSc in Computing from University College London (1981) PhD from University College London (1993) Professor Crowcroft's research spans multiple domains in computer networking and distributed systems. He has worked in Internet support for multimedia communications for over 30 years, with three main focus areas: scalable multicast routing, practical approaches to traffic management, and the design of deployable end-to-end protocols. His current research focuses on opportunistic communications, social networks, and techniques to scale infrastructure-free mobile systems. He is particularly known for his 'build and learn' paradigm for research and has recently been exploring decentralized digital identification systems, smart cities, and edge computing. His work often bridges theoretical foundations with practical implementations, emphasizing privacy-preserving approaches and sustainable network architectures. Professor Crowcroft has received numerous prestigious awards recognizing his contributions to the field, including: Election as Fellow of the Royal Society (2013) ACM SIGCOMM Award (2009) ACM Fellow (2002) Fellow of the Royal Academy of Engineering IEEE Fellow (2004) Chartered Fellow of the British Computer Society Throughout his career, Professor Crowcroft has advised numerous PhD students, including Mark Handley and Pan Hui, who have themselves become influential researchers in the networking community. He has authored several influential books that have been adopted internationally in academic courses, such as 'TCP/IP & Linux Protocol Implementation,' 'Internetworking Multimedia,' and 'Open Distributed Systems.' His research has been supported by various grants and collaborations with both academic institutions and industry partners, contributing to successful startup projects and influencing Internet standards. Professor Crowcroft is actively involved in several research initiatives, including serving on the Scientific Council of IMDEA Networks Institute since 2007 and the advisory board of the Max Planck Institute for Software Systems. He is also a director of the Matrix Foundation, which develops open network protocols. His current research group focuses on privacy-preserving analytics, decentralized systems, and the future of Internet architecture.

• Virtualization
• Operating Systems
• Concurrency
• +۴ مورد دیگر

Gaël Thomas is a Senior Researcher at Inria Saclay and a part-time Professor at École Polytechnique. He leads the Benagil team, a joint initiative between Inria and Telecom SudParis/IP Paris. His research focuses on virtualization, operating systems, concurrency, and runtime systems, with an emphasis on improving system performance and safety. He holds a PhD and Habilitation from Sorbonne Université and has extensive academic experience, including roles as a Professor at Telecom SudParis (2014–2023) and an Associate Professor at UPMC (2006–2014). Education: PhD in Computer Science, 2005, UPMC Sorbonne Université Habilitation à Diriger les Recherches (HDR), 2012, UPMC Sorbonne Université MSc in Computer Science, 2001, MIAIF Program Research Interests: Gaël’s work spans virtualization techniques, NUMA architecture optimization, garbage collection scalability, lock-free algorithms, and persistent memory systems. He has pioneered solutions like J-NVM for Java NVMM and NumaGiC for big data systems. Grants & Awards: Principal Investigator of DiVA (PEPR Cloud, 868k€) and Maplurinum (ANR PRC, 184k€) Contributions to VMKit and infra-web-cours development Labs/Teams: Benagil Team (Inria/Telecom SudParis) focuses on systems and runtime optimization.

Aravind Machiryمشاهده پروفایل

استادیار

• Software Security
• Embedded Systems
• Program Analysis
• +۹ مورد دیگر

Aravind Machiry is an Assistant Professor at Purdue University's Electrical and Computer Engineering Department and a founding member of the Purdue Systems and Software Security (PurS3) Lab . His research focuses on system security, particularly vulnerability detection, prevention, and secure system development using static/dynamic program analysis, fuzzing, type systems, and machine learning. Designing practical solutions for software and embedded system security Recipient of NSF CAREER and Amazon Research awards Active participant in SPLASH 2025 as OOPSLA Review Committee member His recent work includes automated vulnerability detection in embedded software, spatial memory safety enhancements, and security analysis of GitHub workflows. He has received recognition for his research through multiple distinguished paper awards and industry funding. Selected scientific awards include NSF CAREER Award (2024) Amazon Research Award (2022) Test of Time Award at FSE 2023 for DynoDroid Distinguished Paper Award at OOPSLA 2022 for 3c Qualcomm Innovation Fellowship (2025) His research team has developed frameworks like ARGUS for taint analysis of CI/CD workflows and FuzzUEr for UEFI interface fuzzing, discovering hundreds of critical vulnerabilities in open-source projects and thousands of command injection flaws in GitHub repositories.

Pierre Marquisمشاهده پروفایل

استاد

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

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 .

David Daneyمشاهده پروفایل

استاد

• Robotics
• Cobotics
• Human-Robot Interaction
• +۱۴ مورد دیگر

David Daney is a Senior Researcher (Directeur de recherche) at Inria and HDR-qualified academic, currently serving as Head of Science for the Inria Center at the University of Bordeaux since July 2024. He is the team leader of the Auctus research group, focusing on robotics, cobotics, and human-robot interaction. He is affiliated with Inria and the École Nationale Supérieure de Cognitique (ENSC) at the University of Bordeaux, within the College of Engineering and the Department of Robotics. His research interests include Robotics, Cobotics, Human-Robot Interaction, Human Posture Analysis, Cable-driven Robots, Parameters Identification, Calibration, Interval Analysis, and Haptic Guidance. His work bridges theoretical robotics with industrial applications, particularly in aerospace, automotive, and sustainable agriculture. He has led and participated in numerous industrial collaborations with Airbus, Stellantis, Solvay, AKKA, and Farm3. His recent publications (2023–2025) demonstrate a strong focus on human-robot physical interaction, including real-time capacity estimation (Pycapacity), haptic guidance, model predictive control for dynamic environments, and musculoskeletal modeling for collaborative robotics. These works appear in top-tier journals such as IEEE Transactions on Robotics, Journal of Biomechanical Engineering, and Robotics and Autonomous Systems. HDR (Habilitation à Diriger des Recherches) Principal Investigator of ANR Pacbot Head of Science for Inria Center at University of Bordeaux Erdös number = 3 David Daney supervises multiple PhD students, including Alicia Barsacq, Ahmed-Manaf Dahmani, and Alexis Boulay. He has been principal investigator in several research projects such as LiChIE and ANR Pacbot, focusing on satellite production and human-robot collaboration. He also leads the SHAARE associate team with KAIST’s IRiS lab, advancing shared haptic control. His team develops tools for teleoperation, ergonomic analysis, and robot calibration, with applications in industrial and assistive robotics. He leads the Auctus team at Inria, which develops control and analysis techniques for human-robot physical interaction. The team collaborates with KAIST (SHAARE), ONERA, Pprime Institute, and industrial partners. The MOVER project studies human motor variability for ergonomics, and the Farm3 collaboration explores teleoperated vertical farming robotics.

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

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

Sylvain Lombardyمشاهده پروفایل

استاد

• Automata Theory
• Formal Languages
• Theoretical Computer Science
• +۳ مورد دیگر

Sylvain Lombardy is a Professor at the University of Bordeaux, affiliated with the Laboratoire Bordelais de Recherche en Informatique (LaBRI) and the Enseirb-Matmeca engineering school within the Institut Polytechnique de Bordeaux. His research focuses on automata theory, formal languages, and theoretical computer science, particularly in weighted automata, formal methods, and algebraic properties of automata. He leads the Formal Methods research team at LaBRI and contributes to projects like the Awali and Vaucanson software platforms for automata manipulation. Education: PhD in Computer Science (2001, ENST Paris), Habilitation à Diriger des Recherches (2005, University of Paris Diderot). His work bridges theoretical foundations with practical tools, emphasizing algorithmic and algebraic aspects of automata. Notable contributions include studies on automata minimization, determinization, and the interplay between rational expressions and automata constructions. Research Interests: Automata Theory, Formal Power Series, Weighted Automata, Tropical Semirings, Algebraic Automata Theory, and Computational Models for Discrete Systems. His recent work explores two-way automata, Hadamard series, and applications in formal verification. Publications highlight contributions to the structure and properties of automata, with a focus on formal methods and algorithmic decidability. Key works address unambiguity, determinism, and the minimization of weighted automata across various semirings. Collaborations include projects on automata-based kernels for machine learning and XML formats for automata descriptions. He has developed influential software tools such as Awali (finite-state machine platform) and Vaucanson (automata manipulation framework), demonstrating practical applications of theoretical research. His work is supported by grants exploring automata in computational linguistics and discrete mathematics.

Mathias Payerمشاهده پروفایل

دانشیار

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

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