Find Academic Supervisors

Xavier RivalView profile

Adjunct Professor

• Static Analysis
• Abstract Interpretation
• Probabilistic Programming
• +4 more

Xavier Rival is a Research Director at INRIA Paris and Adjunct Professor at École Normale Supérieure (ENS) PSL. He serves as Director of the Computer Science Department at ENS, leading a CNRS/ENS/PSL/INRIA laboratory. Previously, he was head of the ANTIQUE (ANalyse staTIQUE) research group at INRIA Paris/DIENS from 2014 to 2024. His academic roles include: Adjunct Professor in Computer Science (ENS/PSL) Director of Computer Science Department at ENS Principal Investigator (PI) of the VeriAMOS ANR Project Education & Academic Background While specific education details are not explicitly stated, his long-term involvement in academic research and leadership roles at ENS/PSL and INRIA indicates a strong academic foundation in computer science and formal methods. Research Interests Rival's work focuses on static analysis and abstract interpretation , particularly in: Verification of semantic program properties Probabilistic program analysis Safety-critical embedded software verification (via the Astrée project) Static analysis of spreadsheet and JavaScript applications Software reliability in safety-critical systems Teaching He contributes to: Semantics and Applications to Verification course at ENS (taught with Jérôme Feret and Josselin Giet) Master Parisien de Recherche en Informatique (MPRI) course on Abstract Interpretation Projects & Labs Key initiatives include: VeriAMOS (ANR Project): Focuses on verified OS services via Domain-Specific Languages (DSLs) Astrée project: Static analysis for safety-critical embedded software MemCAD (ERC Project): Static analysis of memory-constrained systems

Christophe BidanView profile

Professor

• Network Security
• Information-Flow Control
• Privacy in Distributed Systems
• +5 more

Christophe Bidan is an active French computer-security researcher whose work centers on network security, information-flow control, trust models, and privacy in distributed and mobile systems. He is a key member of the CIDre security research group based in Rennes, France, and has co-authored 44 scientific publications between 2023 and 2025. Education & Affiliations: Long-standing affiliation with Université de Rennes 1 / INSA Rennes and the CIDre security research group. Regular collaboration with French academic and defense institutions on tactical network security. Research Interests: His research spans several inter-locking domains: Secure Routing in MANETs: design of preventive and corrective mechanisms for protocols such as OLSR and AODV in tactical environments. Information-Flow Control: formal models and runtime enforcement techniques for browsers and distributed systems. Privacy Engineering: policy languages, conflict resolution, and encryption techniques for images and social networks. Trust & Reputation: implicit trust analysis, autonomic reasoning, and misbehavior detection in ad-hoc networks. Scientific Awards: No specific awards were mentioned in the provided text. Advising & Grants: No explicit list of PhD students or funded projects was supplied. Laboratories & Teams: Christophe Bidan is a core investigator within the CIDre security research group in Rennes, which brings together faculty and researchers from Université de Rennes 1, INSA Rennes, and Supélec to address challenges in network security, distributed systems, and critical infrastructure protection.

Jacques NOYÉView profile

Researcher

• Software Engineering
• Aspect-Oriented Programming
• Modular Programming
• +3 more

Jacques NOYÉ is a Researcher at IMT Atlantique (Nantes campus), part of the Computer Sciences department within the DI2S school. His work focuses on software engineering, aspect-oriented programming, modular systems, and domain-specific languages. He has contributed to research on cloud computing, industrial software systems, and JavaScript module design. Key research areas include: modular instrumentation for interpreters, event-driven coordination models, and integration of object-oriented, aspect-oriented, and event-based programming paradigms. He co-created tools like EScala and ECaesarJ for modular software development. His publications reflect expertise in language design, software modularity, and security. He has organized workshops (e.g., DSAL, LaMOD) and contributed to international conferences. No awards or grants explicitly listed in the text.

Giancarlo PellegrinoView profile

Researcher

• Web security
• Web application security
• Security of emerging technology (metaverse/WebXR)
• +12 more

Giancarlo Pellegrino is a faculty member at CISPA Helmholtz Center for Information Security , where he leads the Application Security (AppSec) research group. His work focuses on web security, program analysis, and the security of emerging technologies like the metaverse/WebXR. He has developed tools such as YuraScanner (LLM-based), MAK (RL-crawlers), Black Widow, and CHARON for vulnerability detection. Research Interests: Autonomous vulnerability detection, cross-site request forgery (CSRF), DOM clobbering, web API security, and adversarial attacks on physical systems. Committee Roles: PC co-chair for USENIX Security 2025, vice PC chair for USENIX Security 2023-2024, and served on PCs for IEEE S&P, ACM CCS, and others. Scientific Awards: Best paper at CHI 2025 for 'Permission Rationales in the Web Ecosystem.' Distinguished paper at IEEE S&P 2024 for 'The Great Request Robbery.' Distinguished papers at IEEE S&P 2023 for DOM clobbering and cross-site information leaks. His work bridges practical tool development (e.g., JAW JavaScript analysis framework) and theoretical studies on emerging threats like RAG-based systems and perceptual ad-blocking security. He also investigates cyberattacks involving clickbait PDFs and social media account trading.

Cristina CifuentesView profile

Adjunct Professor

• Program Analysis
• Secure Languages
• Code Comprehension
• +7 more

Cristina Cifuentes is an Adjunct Professor at the University of Queensland (School of Information Technology and Electrical Engineering) and Queensland University of Technology (School of Electrical Engineering and Computer Science). She serves as Vice President of Software Assurance at Oracle Labs, leading a team focused on large-scale application security and vulnerability detection. PhD in Computer Science (1994) from Queensland University of Technology Chancellor's Outstanding Alumnus (2001) from QUT Her research interests span program analysis , secure languages , and binary translation , with a focus on enterprise systems and commercial applications. Her work includes static analysis tools like Oracle Parfait and cryptographic API misuse detection. Recent publications address secure programming language design (POPL 2020), scalable static analysis (SAS 2021), and malware analysis platforms (ColdPress). These works emphasize code comprehension , vulnerability detection , and automated security frameworks . Scientific Awards LABSCon 2024 Lifetime Achievement Award Mother of Decompilation Chancellor's Outstanding Alumnus (2001) from QUT She actively contributes to academic communities through committee roles (PriSC, SPLASH) and mentoring, particularly in women in STEM . Her impact includes dozens of patents and leading Oracle Labs Australia for 12 years.

• Programming Languages
• Software Engineering
• Static Analysis
• +3 more

Ben Hardekopf is an academic affiliated with the University of California at Santa Barbara . His research focuses on Programming Languages , Static Analysis , and Formal Methods , with notable contributions to translating C to Rust, hardware verification, and JavaScript optimization. He has authored multiple papers at top-tier conferences including OOPSLA, PLDI, and POPL. His recent work explores hardware decompilation , dependently typed frameworks , and language translation techniques . Ben has served on program committees for conferences such as PLDI , OOPSLA , and CGO , indicating active engagement in the academic community. Research Interests: Ben's work bridges software engineering and hardware verification , focusing on memory safety , type systems , and domain-specific language design . His projects include PyLSE for superconductor electronics and Citrus for formal logic modeling.

Michael FranzView profile

Professor

• Security
• Systems
• Software Engineering
• +3 more

Michael Franz is a Distinguished Professor (academic rank: Professor) in the Department of Computer Science at the Donald Bren School of Information and Computer Sciences, University of California, Irvine, with a courtesy appointment as Professor in Electrical Engineering and Computer Science at the Henry Samueli School of Engineering. He directs UCI's Secure Systems and Software Laboratory and is a Fellow of AAAS, ACM, IEEE, and IFIP. Franz earned his Dr. sc. techn. degree in Computer Science and Dipl. Informatik-Ing. ETH degree from ETH Zurich under advisor Niklaus Wirth. His research pioneers compiler and system-level techniques for software safety and performance, focusing on Security (multivariant execution, code randomization), Systems (JIT compilation, memory management), and Software Engineering (binary recompilation, attack surface reduction). Franz created foundational trace compilation technology adopted in Firefox's JavaScript engine and continues developing practical defenses against real-world exploits. Recent publications reveal escalating integration of machine learning in binary analysis (e.g., StackBERT) and hardware-assisted security (PKRU-Safe), with consistent output in top venues like USENIX Security and EuroSys. His work transitions from theoretical frameworks to deployed solutions, evidenced by patents and industry adoption. Scientific awards include: Fellow of AAAS (2019) Fellow of ACM Fellow of IEEE Inaugural Fellow of IFIP (2019) ACM Charles P. "Chuck" Thacker Breakthrough in Computing Award (2021) Humboldt Research Award (2018) UCI Innovator of the Year Award (2018) Best Paper Award at ACSAC 2024 SIGSOFT Distinguished Paper Award at ESEC/FSE 2023 Best Paper Award at EuroSys 2022 Test of Time Award at Dynamic Languages Symposium (2019) Franz has graduated 40 Ph.D. students as primary advisor and secured over $24 million in federal grants ($16M+ as sole PI), plus $1 million in industry gifts. His advisees hold key roles at Apple, Google, Meta, and Yonsei University, with Dokyung Song becoming an Assistant Professor there. The Secure Systems and Software Laboratory develops survivable execution environments (A8 MVX) and binary transformation tools (BinRec), bridging academic research with real-world impact like Firefox's TraceMonkey engine and compartmental memory management. Current projects focus on distributed multivariant execution and hybrid binary recompilation.

• Cyber-Physical Systems
• Mobile Systems Security
• Wireless Systems Security
• +3 more

Daniele Antonioli is an Assistant Professor in Digital Security at EURECOM, France. His research focuses on securing Cyber-Physical Systems (CPS), Mobile/Wireless Systems, Embedded/IoT devices, and Industrial Control Systems (ICS). He specializes in applied cryptography and system-level security, addressing vulnerabilities in emerging technologies such as Bluetooth, FIDO2, and vehicular networks. Maintains a lab focused on reverse engineering, hardware-software co-analysis, and automated security testing frameworks. Developed tools like MiniCPS and CPSBot for CPS/IoT security research. Research interests include: - Bluetooth Exploitation : BIAS, KNOB, BLURtooth attacks. - Embedded Systems Security : E-Trojans, E-Spoofer, Breakmi. - Privacy-Preserving Systems : Decentralized contact tracing protocols. - IOT/IICS Threat Modeling : AttackDefense Framework. Publications highlight both technical contributions (e.g., SimProcess simulation framework) and practical impact (e.g., EmuOCPP for EV charging security). Recipient of Singaporean Presidential Graduate Fellowship (2015-2019) and ST Engineering Research Excellence Award (2017). Active in international collaborations, including EU-funded projects. Advises on CPSBot botnet simulation and FP-tracer browser fingerprinting detection systems. Engages in standardization efforts for secure industrial communication protocols.

Sukyoung RyuView profile

Professor

• Programming Languages
• Static Program Analysis
• WebAssembly
• +3 more

Sukyoung Ryu is a Professor at KAIST, focusing on programming languages and static program analysis. Her work spans JavaScript analysis, WebAssembly, Rust translation frameworks, and language specification verification. Education : Not explicitly mentioned Research Focus : Programming languages, static analysis, JavaScript, WebAssembly, Rust, Android hybrid apps, type systems Conference Roles : Co-chair (OOPSLA Review Committee, New Faculty Symposium), Committee Member (ICFP, ECOOP, ASE, PLDI, ICSE), Session Chair (SCAM, Type Systems, Keynotes) Keynote Talks : PLDI 2021, ICFP 2020, Scala 2019 Tool Development : SAFE framework, SpecTec, Wasm-R3, HybriDroid, WALA extensions Her recent publications focus on WebAssembly benchmarks, language specification verification, and memory/concurrency safety in cross-language translation. She contributes to open-source analysis tools and standards development. As a committee member and session chair for conferences like PLDI, ICFP, and SPLASH, she actively shapes research directions in programming language design and analysis. Her lab at KAIST develops tools like SpecTec for mechanized language specifications.

Colin GordonView profile

Researcher

• Type Theory
• Separation Logic
• Verification
• +3 more

Colin Gordon is a researcher at Drexel University with a focus on type theory, formal verification, and concurrency. His work bridges theoretical and practical aspects of programming languages. His research interests include: Type Theory Separation Logic Verification Concurrency and Parallelism Capabilities Type and Effect Systems Colin's recent publications address challenges in effect systems, formal verification, and programming language design. His work spans conferences like POPL, PLDI, and SPLASH, reflecting a strong commitment to advancing software correctness and language design.

Gérard BerryView profile

Professor

• Computer Science
• Programming Languages
• Formal Verification
• +3 more

Gérard Berry is a Professor at the Collège de France, holding the permanent Algorithms, Machines, and Languages chair since 2012. He previously held the Computer Sciences and Digital Technologies annual chair in 2007-2008 and 2009-2010. He is a member of the Académie des Sciences , Académie des Technologies , and Academia Europaea . His career spans academia at École des Mines de Paris and Inria, and industry as Chief Scientist at Esterel Technologies. His research focuses on formal verification of programs and circuits , parallel and real-time programming , and synchronous programming languages . He created the Esterel language and its industrial compiler, which became foundational for safety-critical systems in avionics and hardware design. His recent work includes the Hop and HipHop languages for multitier web orchestration. His publications highlight trends in formal methods , real-time systems , and program verification . These works bridge theoretical computer science with practical applications in embedded systems and digital transformation. Scientific Awards: CNRS Gold Medal (2014) Chevalier de la Légion d'Honneur (2012) Great Prize of EADS Foundation (2005) Science and Defense Award (1999) Gérard Berry has supervised 17 PhD theses and contributed to numerous academic collaborations. He co-founded Inria's evaluation committee and served on scientific boards for institutions like Institut Pasteur and IRCAM.

Cyril FaucherView profile

Associate Professor

• Temporal Knowledge Modeling
• Model-Driven Engineering
• Semantic Web
• +3 more

Cyril Faucher is an Associate Professor at the University of La Rochelle , associated with both the L3i Laboratory and the IUT of La Rochelle 's Computer Science department. He has served since 2013 as the head of the Integrator Developer (ID) course within the DUT Informatique program. His research focuses on Temporal Knowledge Modeling Model-Driven Engineering Semantic Web Applications Periodic Event Simulation Human Activity Modeling He has contributed to multiple research projects including ANR DéAIS (2014-2016), HOSEN (2013-2016), and Tourinflux (2013-2015). His work has been implemented in the RelaxMultiMedias ANR project (2009-2012) for cultural event modeling. Professor Faucher teaches across various IT domains including Database Systems (Oracle, MySQL) Web Development (PHP, JavaScript, jQueryMobile) Object-Oriented Programming (Java) Enterprise Architecture (UML, TOGAF) Software Project Management (Agility, SCRUM) Model-Driven Engineering He has developed several open-source tools for model engineering including Kermeta, OpenEmbeDD, and MDE Utils.

• English and contrastive linguistics
• Psychomechanics of language
• Digital humanities
• +6 more

Florent MONCOMBLE is a Lecturer in English at the University of Artois, France, working within the UFR of Foreign Languages. His research focuses on linguistic margins, exploring non-standard language variants and deviations from norms, with particular attention to morphosyntax, syntax, semantics, and corpus analysis. He is actively involved in digital humanities, studying social media language and developing computational tools for corpus collection. His work bridges theoretical linguistics with practical applications in contemporary digital communication environments. Education: 2008: Doctor of English and Anglo-Saxon Languages and Literature, specializing in Linguistics, Very Honorable Mention with the Congratulations of the Jury (Université du Littoral Côte d'Opale) Thesis title: Contribution to a psychomechanical approach to zero determination in contemporary English 2002: External English Aggregation MONCOMBLE's research centers on linguistic margins, examining both language variants that deviate from standard norms and theoretical boundaries within linguistics. He has developed a psychomechanical approach to studying zero article determination in English, bridging theoretical linguistics with practical language analysis. His work spans traditional press linguistics and contemporary digital communication, with increasing emphasis on social media language analysis and computational corpus collection methods. He explores how language norms adapt in new media environments while maintaining attention to morphosyntactic structures and pragmatic considerations. His publication trajectory reveals a clear evolution from theoretical linguistic studies toward digital humanities applications. Early work focused on article usage in literary contexts, while recent publications examine social media language features and digital corpus methodologies. A significant trend is his development of open-source tools for linguistic research, reflecting his integration of linguistic theory with computational practice. His work demonstrates consistent attention to language margins across different media platforms. MONCOMBLE supervises Master's theses in LLCER (Languages, Literatures, and Foreign Civilizations) programs and prepares students for language teaching examinations. He serves on academic selection committees and examination juries, including for the Special External Aggregation in English. His technical development work suggests grant-supported research in digital humanities methodologies. He is affiliated with the Texts and Cultures Research Center and collaborates with researchers across France and internationally. As Vice-President of both the Linguists Atterré·e·s organization and the Society of Anglicists in Higher Education, he connects with linguists concerned with language evolution and usage in contemporary society. His current projects include co-organizing the 2025 international conference 'What the fuck?' and developing corpus collection tools for academic research.

Isis TruckView profile

Professor

• Computer Science
• Artificial Intelligence
• Fuzzy Logic
• +5 more

Isis Truck is a full Professor of Computer Science at University of Paris 8 , affiliated with the Engineering, Cognition, Disability department under the UFR eriTES school. She directs the Human and Artificial Cognition laboratory (CHArt – EA 4004) since 2020 and has held significant administrative roles, including Deputy Director of the CLI doctoral school and membership in editorial boards. Doctorate in Computer Science, University of Reims (2002) French Habilitation (HDR), University of Paris 8 (2011) DESS in Computer Science, University of Marne-la-Vallée (1999) Her research focuses on Artificial Intelligence , Fuzzy Logic , Accessible Web Programming , and Human-Artificial Cognition , with applications in smart sensors, LaTeX-based document preparation, and inclusive technologies. She has contributed to educational tools and frameworks for programming education, including interactive JavaScript/PHP courses and LaTeX resources. Scientific Awards : Best Paper Award at International Conference (2016) As a leader in the CHArt laboratory, she has driven research initiatives in technical aids for disabled people and served on regional councils for doctoral grants. Her teaching spans advanced web technologies, logic, and project management at both Master's and undergraduate levels.

Arnaud LevyView profile

Lecturer

• Digital Ethics
• Technology Design
• Educational Innovation
• +5 more

Arnaud Levy is an Associate Lecturer in Design and Information Technology at the University of Bordeaux, where he serves as Director of Studies for the Department of Multimedia and Internet Professions (DUT MMI). He is also a co-founder of the noesya cooperative, which develops digital commons, and maintains affiliations with the MICA Laboratory and LIASD (Laboratory of Artificial Intelligence and Data Semantics). His professional background spans both academic and practical domains: Entrepreneur since 2003, with experience in luxury brand digital transformation Developer since 1999 (PHP, ActionScript, Objective-C; now Ruby on Rails and JavaScript) Expert in educational innovation methodologies including flipped classroom, project-based learning, and competency-based approaches Levy's research sits at the intersection of ethics, code, and aesthetics, focusing on creating sustainable and ethical digital alternatives. His work emphasizes digital commons , low-tech solutions , and post-growth technological paradigms that prioritize social and environmental sustainability over endless growth. He critically examines technologies like blockchain, proposing context-appropriate alternatives that reduce environmental impact while maintaining functionality. His recent publications demonstrate a consistent thematic focus on ethical technology development, with particular attention to organizational ethics, digital commons, and sustainable alternatives to current technological paradigms. The trend in his work shows increasing emphasis on practical applications of ethical frameworks in digital infrastructure. Levy's contributions to academic discourse include: "A Sane Island in an Ocean of Madness": A Case of Alternative Organizational Ethics Through Post-Growth Values (2025) "Low-tech alternative to blockchains: the example of diplomas" (2024) "Digital commons and the public interest" (2024) "The Commons in service of a more ethical and sustainable digital world" (2023) As an educator and practitioner, Levy bridges theoretical ethics with practical technology development. His work with the noesya cooperative focuses on implementing digital commons models that serve public interest, with an emphasis on sustainability and accessibility. The cooperative represents a practical application of his research into ethical digital infrastructure, demonstrating how academic insights can translate into real-world solutions.