Distributed Reasoning 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 128 supervisors

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

Cezary KaliszykView profile

Professor

InriaFrance

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.

Official University Profile

Mingsheng YingView profile

Professor

InriaFrance

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.

Official University Profile

Bryan ParnoView profile

Professor

InriaFrance

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

Official University Profile

Loris D'AntoniView profile

Associate Professor

InriaFrance

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.

Official University Profile

Mikhaïl XifarasView profile

Professor

Sciences PoFrance

Mikhaïl Xifaras serves as Professor of Public Law at Sciences Po's Law School since September 2008, holding a secondment position at New York University Abu Dhabi since 2021. His academic appointments include Visiting Professorships at Harvard Law School (since 2011) and Keio Law School in Japan (since 2012). His educational background spans multiple disciplines: Agrégation de l'enseignement supérieur in Public Law (2004), Agrégation in Philosophy (1993), and Doctorate in Philosophy from Besançon (2001). He graduated from the École Normale Supérieure of Fontenay-Saint Cloud in 1990. Xifaras specializes in the intersection of legal philosophy and political theory, with particular focus on property theory, critical legal studies, and the historical evolution of legal thought. His research examines how philosophical frameworks from Kant to contemporary critical theorists shape legal institutions, with recurring themes in global governance, democratic theory, and the critique of presidential systems. He explores property not merely as an economic institution but as a site of political struggle and emancipatory potential. His scholarly output demonstrates consistent engagement with structuralist and post-structuralist methodologies, particularly through Barthesian semiotics applied to legal doctrine. The articles reveal a trajectory moving from national legal theory toward global constitutionalism, with increasing focus on transnational commons and post-capitalist property models. Prix Ouverture Internationale of the Université Libre de Bruxelles (2003) Marie-Curie Grant from the European Commission (2003) Fulbright Scholarship at Harvard Law School (2000) Fondation Thiers Grant (1999) Junior Member of the Institut Universitaire de France (2006-2011) Xifaras has secured significant competitive research funding including European Commission grants and Fulbright support. His academic leadership includes directing doctoral programs and co-editing the journal Jurisprudence. His international collaborations span institutions in the United States, Japan, and across Europe, reflecting his transnational research focus. While specific lab affiliations aren't documented, his work with the Law School's Research Centre and participation in cooperative projects like Digilaw and Environmental Justice initiatives indicate active engagement with interdisciplinary research teams.

Official University Profile

Jean-Marc JezequelView profile

Professor

InriaFrance

Jean-Marc Jezequel is a Professor of Software Engineering at University of Rennes , affiliated with CNRS , Inria , IRISA , and Institut Universitaire de France (IUF) . His research focuses on Model-Driven Engineering , Software Product Lines , Dynamic Adaptation , and Executable Meta-languages . Key Contributions : Pioneering work in aspect-oriented and model-driven approaches for software evolution Foundational research on model transformations (e.g., UMLAUT framework) Advances in testing and validation of distributed systems Research Trends from his recent publications include: Intelligent modeling assistance integrating machine learning Contextual variability modeling for complex systems Runtime model execution for self-adaptive systems Formal methods and constraint resolution for UML validation Collaborations include researchers from Luxembourg, Montreal, Colorado State University, and INRIA.

Official University Profile

Jamal AtifView profile

Professor

Paris-Dauphine UniversityFrance

Jamal Atif is a Professor at Paris-Dauphine University and holds multiple significant leadership positions including Project Manager for 'Data Science and Artificial Intelligence' at the Institute of Information Sciences and their Interactions (INS2I) of the CNRS, Deputy Scientific Director of 3IA PRAIRIE, Head of the MILES team/project at LAMSADE (UMR CNRS-Université Paris-Dauphine), Co-leader of the Transverse Artificial Intelligence Program at PSL University, and Director of the Dauphine Numérique program. Professor Atif's primary research focuses on the foundations of responsible artificial intelligence, with specific expertise in privacy preservation in machine learning, robustness of deep learning algorithms to malicious attacks, causality, and explainability. His work bridges theoretical foundations with practical applications in security and reliability of AI systems. He has developed innovative approaches to address adversarial vulnerabilities in machine learning models and has made significant contributions to privacy-preserving techniques in data analysis. His publication record demonstrates a consistent focus on robust and trustworthy AI systems, with recent work exploring differential privacy in clustering, adversarial robustness, and explainable AI. The research spans theoretical foundations in logic and knowledge representation to practical applications in finance, healthcare, and computer vision. His publications appear in top-tier venues including Machine Learning journal, Neural Information Processing Systems, and International Joint Conferences on Artificial Intelligence. Scientific Awards: Recipient of two awards from the North American Society of Radiology for his thesis work Professor Atif has co-supervised or is currently supervising around fifteen doctoral students, demonstrating his commitment to mentoring the next generation of AI researchers. His leadership extends to directing major institutional programs including Dauphine Numérique and the Transverse Artificial Intelligence Program at PSL University, where he shapes strategic research directions in AI. He leads the MILES team/project at LAMSADE, which focuses on foundational aspects of machine learning and artificial intelligence. The team's research spans theoretical aspects of learning algorithms to practical applications requiring robust and reliable AI systems, with particular emphasis on security and privacy considerations in modern machine learning deployments.

Official University Profile

Tej ChajedView profile

Assistant Professor

InriaFrance

Tej Chajed is an Assistant Professor in the Department of Computer Sciences at the University of Wisconsin-Madison, focusing on formal verification of systems software. His research bridges theoretical foundations and practical implementations to ensure software correctness in concurrent and crash-safe systems. Research interests include formal verification, concurrency, crash safety, and programming languages, particularly using Coq, Perennial, and Goose frameworks. He has contributed to systems like DaisyNFS, a verified file system with sequential reasoning, and Verus, a foundation for systems verification. His work appears in top venues like SOSP, OSDI, and PLDI. 2025: Dafny PC Member 2024: PLDI Committee Member, CoqPL Co-chair 2023: CoqPL Co-chair, POPL Program Committee He actively mentors students and develops tools for systems verification education, including extensive Coq-based course materials.

Official University Profile

Yacine SamView profile

Lecturer

University of ToursFrance

Dr. Yacine Sam is a Lecturer in Computer Science at the Polytechnic School of the University of Tours (EPU), affiliated with the Fundamental and Applied Computer Science Laboratory of Tours (LIFAT). His research focuses on databases, knowledge representation & reasoning, web services, and semantic web technologies. Doctorate in Computer Science, Paul Cézanne University Aix-Marseille 3 (2008) Master 2 Research in Computer Science, Claude Bernard University Lyon 1 (2005) Dr. Sam's research spans multiple subfields including: Trustworthy execution of adaptive business processes Privacy ontologies for Web of Things Deep learning applications in personalized service recommendations Linked open data frameworks for semantic integration Blockchain implementations in distributed systems Health analytics using collaborative IoT data Contact: yacine.sam@univ-tours.fr

Official University Profile

Umang MathurView profile

Assistant Professor

InriaFrance

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.

Official University Profile

Aws AlbarghouthiView profile

Researcher

InriaFrance

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

Official University Profile

Brigitte PientkaView profile

Professor

InriaFrance

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, where she leads the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and previously studied at the University of Edinburgh and Technical University of Darmstadt. Her educational background includes: PhD from Carnegie Mellon University (2003) Studies at the University of Edinburgh Studies at Technical University of Darmstadt Dr. Pientka's research focuses on developing theoretical and practical foundations for building and reasoning about reliable, safe software systems. She combines theoretical research on logical foundations of computer science in programming languages and verification with system building. Her work spans logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks. She has made significant contributions to the field of contextual types and mechanized metatheory. Her recent publications demonstrate a strong trend toward modal type theory, contextual types, and session types, with applications to functional programming, verification, and meta-programming. She has made significant contributions to the Beluga system, which explores how to combine functional programming with dependently-typed, higher-order data specified in the logical framework LF. Her work often bridges theoretical foundations with practical implementations for mechanized reasoning. Dr. Pientka has received several notable awards: Humboldt Fellowship Test of Time Award @ PPDP'18 for 'Programming with proofs and explicit contexts' Best student paper award at ICLP'03 She is actively involved in mentoring and academic service, having served as PC Chair for ICFP'24, CPP'23 and CPP'24, and as General Chair for POPL'20. She is an Executive Editor of Logical Methods in Computer Science and serves on the editorial boards of the Journal of Functional Programming and ACM Transactions of Computational Logic. She leads the Computation and Logic group at McGill University, which focuses on developing theoretical and practical foundations for reliable software systems through research in logical frameworks, type theory, and programming language design.

Official University Profile

Binoy RavindranView profile

Professor

InriaFrance

Binoy Ravindran is a Professor at Virginia Tech’s College of Engineering, Department of Electrical and Computer Engineering, leading the Systems Software Research Group (SSRG). His research focuses on computer systems, emphasizing security, performance, concurrency, distributed systems, and real-time computing, with recent work in software verification and heterogeneous-ISA platforms. Key projects: Low-level Reasoning Machine (LLRM), Popcorn Linux, LibrettOS, Hyflow, HermiTux, SlimGuard, HydraVM, KairosVM. He has co-authored 15+ papers from 2025 to 2022, spanning venues like ASPLOS, POPL, PLDI, VEE, PPoPP, and MIDDLEWARE, with awards including ACM Distinguished Scientist and eight Best Paper Awards. Service roles: Editorial Boards (IEEE Transactions on Cloud Computing, ACM TECS), Program Co-Chair (ACM Systor 2025), Committee memberships across ASPLOS, PLDI, and more.

Official University Profile

Asta Halkjær FromView profile

Researcher

InriaFrance

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Official University Profile

Yassine LakhnechView profile

Professor

Grenoble Alps UniversityFrance

Yassine Lakhnech is a Professor at the University Joseph Fourier (Grenoble 1), leading the 'Distributed and Complex Systems' research team within the VERIMAG laboratory. His work focuses on computer security, cryptography, formal verification, and programming language semantics. He has been actively involved in coordinating major interdisciplinary research initiatives like the PERSYVAL-lab, which addresses cyber-physical systems (CPS) challenges. His research bridges computational and formal approaches, with contributions to cryptographic protocol analysis, information flow control, and automated theorem proving. Key projects include the development of tools like HERMES for cryptographic protocol verification and involvement in ANR-funded projects such as Verso, PROSE, and AVOTE. He has also organized international conferences and workshops, including the Canada-France MITACS Workshop on Foundations & Practice of Security and the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. His publications span over 147 papers, with an h-index of 25 and g-index of 42, reflecting significant contributions to formal methods, security protocols, and hybrid systems. Despite his role as Vice President of Research, he maintains active scientific productivity, emphasizing the integration of theoretical and practical advancements in CPS and security.

Official University Profile