JavaScript Professors and Supervisors in France | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 1-15 of 30 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Deian StefanView profile

Associate Professor

InriaFrance

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 .

Official University Profile

Limin JiaView profile

Research Professor

InriaFrance

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

Official University Profile

Conrad WattView profile

Assistant Professor

InriaFrance

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.

Official University Profile

Mathias PayerView profile

Associate Professor

EurecomFrance

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

Official University Profile

Stefan MarrView profile

Researcher

InriaFrance

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.

Official University Profile

Clément Pit-ClaudelView profile

Assistant Professor

InriaFrance

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

Official University Profile

Noury BouraqadiView profile

Professor

Mines-Telecom InstituteFrance

Noury Bouraqadi is a part-time university professor at IMT Nord Europe, located in the Lille region of northern France. He is affiliated with the College of Engineering, contributing to academic and research initiatives in software engineering and robotics. His work bridges academia and industry through his active involvement in both teaching and entrepreneurial ventures. Research Interests: His research spans two major domains: Software Engineering (SE) and Artificial Intelligence (AI) for mobile and autonomous robots. In SE, he investigates software architectures, dynamic reflective languages (especially Pharo and JavaScript via PharoJS), and tools enabling modular and agile development. In AI, his focus lies on coordination and cooperation mechanisms in robotic fleets, including communication models and emergent or predefined organizational structures in multi-agent robotic systems. His entrepreneurial endeavors include co-founding nootrix , a startup that develops PLC3000 , a SaaS platform dedicated to teaching PLC programming and factory automation, reflecting his commitment to practical technology education. He has supervised PhD students, post-doctoral fellows, and research engineers, demonstrating an active role in mentoring and collaborative research. His scholarly output can be explored via his Google Scholar profile. Professional Engagement: Noury shares insights through his blog (with RSS feed) and is active on LinkedIn , maintaining a public presence in technology and robotics communities. Advising & Collaboration: He has mentored several early-career researchers, including doctoral candidates (as co-advisor), post-doctoral fellows, and research engineers, contributing to a vibrant research team focused on robotics and software innovation. Labs & Teams: While specific lab names are not mentioned, his research activities suggest leadership or active participation in a robotics and software engineering research group at IMT Nord Europe, integrating both academic inquiry and practical tool development.

Official University Profile

Magnus MadsenView profile

Associate Professor

InriaFrance

Magnus Madsen is an Associate Professor at Aarhus University, Department of Computer Science. He leads the development of the Flix programming language, a declarative tool integrating logic, functional, and imperative features with Java interoperability. His work spans type and effect systems, program analysis, and JavaScript bug-finding tools, particularly for asynchronous applications. Academic Affiliation: Aarhus University (Denmark) Leadership: Flix Programming Language Magnus's research focuses on programming language design, type systems, and static/dynamic analysis. This includes Datalog constraints, polymorphic effects, and nullability frameworks. His contributions to JavaScript analysis address asynchrony and concurrency challenges. Key trends in his work include declarative program analysis, effect system design, and Datalog-based frameworks like IFDS/IDE. Recent papers explore rank-polymorphic function inference, purity reflection, and stratification in logic programming. Scientific awards include: Sapere Aude grant (2023) Dahl-Nygaard Junior Prize (2022) STEM Grant (2022) Amazon Research Award (2021) DFF Project One (2020) ECOOP 2023 Distinguished Paper ICSE 2016 Distinguished Paper Current PhD students advised: Jonathan Lindegaard Starup, Matthew Lutze, Andreas Stenbæk Larsen (co-advised with Aslan Askarov), Caroline Palma Berger (co-advised with Clemens Nylandsted Klokmose).

Official University Profile

Arthur CharguéraudView profile

Researcher

InriaFrance

Arthur Charguéraud is a senior researcher (Directeur de Recherche) at Inria, based in Strasbourg within the Camus team, affiliated with the iCube laboratory at Université de Strasbourg. His research spans program verification, program optimization, and mechanized semantics of programming languages, with a strong focus on separation logic and interactive theorem proving using Coq. Affiliation: Inria, Camus team, iCube Laboratory, Université de Strasbourg Position: Senior Researcher (Directeur de Recherche) Research Focus: Formal verification, separation logic, source-to-source transformations, high-performance computing His research interests center on developing formal methods to ensure correctness and efficiency in software systems. He works extensively on separation logic to verify both time and space complexity of programs, especially in the presence of garbage collection. His work bridges theoretical foundations with practical tools, such as the CFML framework and the OptiTrust optimization framework, which enables trustworthy source-to-source transformations with formal guarantees. His publications reveal a consistent focus on interactive verification, formal semantics, and performance optimization. Key themes include granularity control in parallelism, mechanized semantics (e.g., for JavaScript), and verified compilation. He has made significant contributions to separation logic, including extensions for time and space credits, big-O reasoning, and higher-order representation predicates. Arthur Charguéraud has received notable recognition for his work, including: Distinguished Paper Award at CPP 2022 SIGPLAN Research Highlight at PPoPP 2019 He has advised several PhD students and postdoctoral researchers, including Guillaume Bertholon, Alexandre Moine, and Armaël Guéneau. He leads the ANR-funded OptiTrust project (2022–2027), which aims to build a framework for verified source-to-source optimizations. He has also been involved in other major projects such as ANR VOCAL, ANR AJACS, and ERC DeepSea. His work is supported by both national (ANR, Inria) and institutional (CEA, ENS) grants. He is actively involved in the programming languages research community, serving on the program committees of top conferences including POPL, ICFP, PLDI, CPP, and CoqPL, and has chaired several workshops. He is also engaged in education and outreach, co-authoring the book Separation Logic Foundations in the Software Foundations series and designing challenges for the Concours Castor Informatique to promote computer science among young students.

Official University Profile

Eric CHRISTOFFELView profile

Lecturer

University of StrasbourgFrance

Eric Christoffel is a lecturer and researcher at the University of Strasbourg, affiliated with the Educational Sciences laboratory. He specializes in web programming and teaching practices, particularly distance learning, and contributes to programs such as the University Diploma of Webmaster (DU Webmaster), Professional License in Web Development, Communication and Learning (LP DWCA), and the CAWEB Master's degree. Teaches HTML/CSS, JavaScript, PHP/MySQL, and hybrid/remote learning methodologies Has instructed at UFAZ (Franco-Azerbaijani University) in Baku, Azerbaijan for 3 years Research Interests: Focuses on integrating new technologies into educational frameworks, with emphasis on: Web programming pedagogy Distance learning systems Computer science education

Official University Profile

Clémentine MauriceView profile

Researcher

EurecomFrance

Clémentine Maurice is a full-time CNRS researcher at the University of Lille's CRIStAL laboratory, specializing in computer security with a focus on microarchitectural vulnerabilities. She leads the Spirals research group and previously worked at IRISA (Rennes) and Graz University of Technology. Her research spans side-channel attacks, fault injection, and hardware-software interactions. Education: PhD in Telecommunications from Telecom ParisTech (2015), postdoc at Technicolor and Eurecom. Academic background includes reverse-engineering CPU components and analyzing JavaScript timers in browsers. Research interests emphasize exploiting hardware vulnerabilities such as cache side-channels, port contention, and power-based fingerprinting. Notable contributions include PhaseSCA, BlueScream, and Rowhammer.js attacks, with awards including the 2023 DIMVA Best Paper and Mozilla Security Hall of Fame recognition. Grants: Leads the REV project under PEPR Cybersecurity, participates in ANR-funded projects like MIAOUS and ARCHI-SEC. Service roles include program committee positions at USENIX Security, EuroS&P, and DIMVA. Publications span 200+ works with a focus on practical attacks like Drammer (mobile rowhammer) and KASLR bypasses. Active in outreach through conferences, workshops, and mentoring PhD students via the Gilles Kahn award jury.

Official University Profile

Xiaoning DuView profile

Senior Lecturer

InriaFrance

Dr. Xiaoning Du is a Senior Lecturer (equivalent to Associate Professor) at the Department of Software Systems and Cybersecurity, Faculty of Information Technology, Monash University. She completed her PhD at Nanyang Technological University (2020) and bachelor’s at Fudan University (2014). Education: PhD, Nanyang Technological University (2020) Bachelor’s, Fudan University (2014) Her research bridges program analysis , formal methods , and AI-assisted software systems , focusing on security and quality assurance. Key contributions include tools like Devign , BigCodeBench , DeepStellar , and SimPy . Recent publications (2023-2025) span neural code generation evaluation , deep learning testing , and code dataset security , appearing in venues like ICLR, FSE, ISSTA, ICSE, and USENIX Security. Awards: 2024 Google Research Scholar 2023 FIT Dean’s Early Career Award ACM SIGSOFT Distinguished Paper (ISSTA'24) ICLR Oral Presentation (2025) Grants: 2021-2023 FIT ECR Seed Grants She actively serves on program committees including ICSE 2025 , ISSTA 2025 , and FSE 2026 , and mentors PhD students via full scholarships at Monash.

Official University Profile

Christian VIGOUROUXView profile

Lecturer

University of RennesFrance

Christian VIGOUROUX is a Lecturer at IGR-IAE Rennes, part of the University of Rennes. He specializes in Information Systems and Software Engineering, focusing on practical applications such as Business Intelligence, Mobile Development, and Automation. His academic roles include managing the Master 1 and Master 2 programs in Management Control and Organizational Audit, both in initial and work-study formats. His research and educational activities span courses in Spreadsheet Management, Database Systems, Statistics, Accounting Information Systems, Algorithmic Programming, and Software Architecture. He also covers modern topics like Teleinformatics, IT Project Management, Business Intelligence, and AI (Machine Learning/Deep Learning). Professionally, he has over 20 years of experience in IT consulting and project development, using tools like Pentaho, Talend, SAP Business Objects, and frameworks such as Java, Ionic, and RPA technologies. His publications include books on JavaScript, Mobile Development, and Robotic Process Automation, published by Editions ENI.

Official University Profile

Jay BosamiyaView profile

Researcher

InriaFrance

Jay Bosamiya is a Senior Researcher at Microsoft Research (mapped to Researcher academic rank) and a PhD graduate from Carnegie Mellon University (advised by Bryan Parno). His research explores the intersection of Security , Systems , and Programming Languages , focusing on provably-safe software sandboxing and memory-safe execution of unsafe code. Education : PhD in Computer Science (CMU), BTech in Computer Science and Engineering (IIT Roorkee) Key Contributions : Lucet (high-concurrency sandboxing runtime), MSWasm (memory safety enforcement), and WebAssembly security frameworks His recent publications (2020-2023) emphasize compiler design , formal verification , and secure execution environments . Notable awards include four consecutive DEFCON CTF championships (2022-2025) as a member of MushMush (MMM) and Plaid Parliament of Pwning (PPP). Beyond research, he actively participates in open-source development, CTF competitions, and occasionally shares insights on JavaScript quirks, game development, and formal methods via social media.

Official University Profile

Manuel SerranoView profile

Professor

InriaFrance

Manuel Serrano is a senior research scientist at Inria (French Institute for Research in Computer Science and Automation) affiliated with University of Côte d'Azur, based at the Sophia Antipolis research center in the indes team. He has been active in the programming languages research community since at least 2000, serving in numerous leadership roles across major conferences. His research focuses on programming languages, particularly JavaScript and Scheme implementations, compiler design for dynamic languages, web programming, and synchronous reactive programming. His work bridges theoretical language design with practical implementation concerns, with a strong emphasis on performance optimization of dynamic languages. He has made significant contributions to the understanding and improvement of JavaScript compilation techniques, particularly through his work on ahead-of-time compilation. His publication record shows consistent output in top venues including PLDI, OOPSLA, ICFP, and ECOOP, with a recent focus on JavaScript optimization, sealed classes, type system verification, and synchronous reactive programming through his HipHop.js language. His work demonstrates a progression from foundational Scheme compilation (Bigloo) to modern web technologies and JavaScript optimization. He has served as General Chair for the Programming conference in 2018, Program Co-Chair for Programming 2024-2025, and is currently serving as PC Chair for ICFP 2026. His conference service spans over two decades across numerous programming language venues including ICFP, SPLASH, ECOOP, and specialized workshops on Scheme and dynamic languages. As a creator of multiple programming tools and languages, he has developed Bigloo (an optimizing Scheme compiler), Hop (a language for web 2.0 programming), HipHop (an asynchronous programming language), and Flyspell (an on-the-fly Emacs spell checker). His Cold project with University of Montreal focuses on compilation and optimization techniques for dynamic languages like JavaScript and Python.

Official University Profile