Logic Programming Professors and Supervisors in France | ApplySharif

فیلترهای فعال:

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

استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشی‌تان را پیدا کنید و با او ارتباط بگیرید.

نمایش ۱-۱۵ از ۴۳۰ استاد راهنما

اطلاعات این پروفایل‌ها از صفحات عمومی دانشگاه‌ها جمع‌آوری شده و ممکن است به‌روز نباشد.

Joseph Eremondiمشاهده پروفایل

استادیار

InriaFrance

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

پروفایل رسمی دانشگاه

Daniel Varroمشاهده پروفایل

استاد

InriaFrance

Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.

پروفایل رسمی دانشگاه

Cezary Kaliszykمشاهده پروفایل

استاد

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.

پروفایل رسمی دانشگاه

Raphaël Beuzart-Plessisمشاهده پروفایل

پژوهشگر ارشد

Paris Sciences et Lettres UniversityFrance

Raphaël Beuzart-Plessis is a CNRS Research Fellow affiliated with Aix-Marseille University and the Institute of Mathematics of Marseille (I2M) at Luminy Campus. He specializes in advanced areas of mathematics, including harmonic analysis, automorphic forms, representation theory, and number theory, with a focus on unitary groups and conjectures like Gan-Gross-Prasad. His work bridges algebraic geometry, differential geometry, and operator theory. Arithmetic, Geometry, Logic and Representations Group (AGLR) 2022-2027 ERC RELANTRA grant recipient Research interests span automorphic representations, L-functions, periods of automorphic forms, and harmonic analysis on real spherical spaces. He works extensively on the local and global Gan-Gross-Prasad conjectures, endoscopy, and supercuspidal representations. His recent publications analyze Plancher1el formulas, spherical characters, and congruences of automorphic forms. His 15 most recent publications (2014-2022) address topics such as the Gan-Gross-Prasad conjecture, Jacquet-Rallis's fundamental lemma, and the Asai Rankin-Selberg integrals. These works reflect his expertise in automorphic forms, representation theory, and number theory, often involving collaborations with leading mathematicians. 2016-2017 Peccot Prize for young mathematicians under 30 2022-2027 ERC RELANTRA grant for research in automorphic forms and representation theory Beuzart-Plessis has no listed students or laboratory teams but participates in the AGLR-RGR (Reduction Group Representations) team and has been an invited speaker at the 2022 International Congress of Mathematicians. His career includes guest lectures at Collège de France, including four sessions on Period factorizations and Plancherel formulas in 2017.

پروفایل رسمی دانشگاه

Mingsheng Yingمشاهده پروفایل

استاد

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.

پروفایل رسمی دانشگاه

Limin Jiaمشاهده پروفایل

استاد پژوهشی

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

پروفایل رسمی دانشگاه

Caterina Urbanمشاهده پروفایل

پژوهشگر

École Normale SupérieureFrance

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مشاهده پروفایل

استاد

InriaFrance

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.

پروفایل رسمی دانشگاه

Conrad Wattمشاهده پروفایل

استادیار

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.

پروفایل رسمی دانشگاه

Ana Paulina Leeمشاهده پروفایل

استادیار

The American University of ParisFrance

Ana Paulina Lee is an Assistant Professor of Writing and Digital Humanities in the Comparative Literature, English, and Creative Writing Department at the American University of Paris. She joined AUP in 2025 after teaching Latin American literature and culture at Columbia University for eight years and serving as a Mellon Postdoctoral Fellow at Tulane University. Her interdisciplinary scholarship bridges literature, history, law, and urban studies with particular focus on marginalized narratives in the Americas. Ph.D. from University of Southern California M.A. from New York University B.A. from Binghamton University Professor Lee's research examines how stories—archival, fictional, oral—shape legal imagination, social life, and urban experience in the Americas. She specializes in the intersections of magic, law, and literature in Latin America, with particular focus on Asian and African diasporas in Brazil. Her work traces how narrative functions as both historical record and catalyst for social transformation, exploring themes of slavery, emancipation, colonial legacies, and urban memory. She approaches these topics through interdisciplinary lenses combining literary analysis with histories of labor, migration, and performance. Lee's recent publications reveal a consistent focus on marginalized narratives and their impact on social structures. Her scholarship connects legal history with cultural production, showing how magical thinking and narrative practices shape urban spaces and social relations. Works like 'Urban Sorcery, Segregation, and Spectacle in Twentieth-Century Rio de Janeiro' and 'Black Magic City' demonstrate her innovative approach to understanding the relationship between occult logics and legal frameworks in Brazilian contexts. Her research on diasporic communities, particularly Chinese and Japanese experiences in Latin America, contributes significantly to transnational and comparative race studies. David B. Larson Fellowship in Health and Spirituality, Kluge Center, United States Library of Congress (2025-2026) National Endowment for the Humanities Fellowship (2025) Social Sciences Research Council, Inaugural Recipient of Interdisciplinary Projects in the Social Sciences (2020-2023) Institute for Ideas and Imagination Fellowship, Columbia University in Paris, France (2021-2022) Provost's Tsunoda Senior Fellowship, Visiting Scholar, Waseda University, Tokyo, Japan (2019) Heyman Center Fellow, The Heyman Center for the Humanities, Columbia University (2017-2018) Fulbright, Lisbon, Portugal (2013-2014) Professor Lee's scholarly activities have been generously supported by major research grants from the National Endowment for the Humanities, the Social Sciences Research Council, and the Library of Congress. Her work demonstrates a commitment to interdisciplinary approaches that bridge humanities and social sciences, particularly through projects examining intersections of race, migration, and cultural production in the Americas. Her publication 'Socially Engaged Oral History Pedagogy Amid the COVID-19 Pandemic' indicates a strong commitment to innovative teaching methods and community-based research. While specific details about current advisees aren't provided, her research program suggests engagement with graduate students interested in diaspora studies, urban history, and literary-cultural analysis. Though not explicitly mentioned in the available information, Professor Lee's research on urban spaces, magic, and law in Brazil likely involves collaborative work with scholars across disciplines. Her participation in centers like the Institute for Ideas and Imagination at Columbia University suggests engagement with interdisciplinary research communities focused on global cultural production and social transformation. Her work contributes to ongoing conversations about how narrative practices shape legal frameworks and social structures in the Americas, particularly regarding racial formation and diasporic experiences.

پروفایل رسمی دانشگاه

Bryan Parnoمشاهده پروفایل

استاد

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

پروفایل رسمی دانشگاه

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

دانشیار

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.

پروفایل رسمی دانشگاه

IIham ALLOUIمشاهده پروفایل

مدرس

University of Savoie Mont BlancFrance

IIham ALLOUI is a permanent Lecturer in Computer Science (CNU 27 section) at Savoie Mont Blanc University since 1998, based at Polytech Annecy-Chambéry. She leads research in intelligent software systems at the LISTIC laboratory. Her roles include managing the Competency-Based Approach (CBA) mission for Polytech and overseeing the Pix Digital Skills project for the university. Education : PhD in Computer Science from Université Grenoble II (1992-1996), DEA in Computer Science from Université Grenoble II (1989-1990). Research Themes : Focuses on evolving software systems, model-driven engineering, distributed intelligent systems, and adaptive architectures using formal methods like modal logic, process algebra, and Markov Decision Processes. Her recent work (2015–present) involves designing adaptive 'Wise Object' frameworks for autonomous learning in software systems, with applications in fraud detection and microservice optimization. She co-supervised multiple theses on software architecture refinement, remodularization, and knowledge representation. Grants & Projects : Led or contributed to projects such as OpenCloudware (FUI), EcoCitoyen (AAP), and McWO/COMDA (USMB AAPs), addressing cloud architectures, home automation modeling, and educational innovation. Teaching : Specializes in model-driven engineering, software quality, and formal programming methods. Initiated educational projects like Reflexpro and APC By Karuta to enhance student professionalization and skill-based learning.

پروفایل رسمی دانشگاه

Oliver Nashمشاهده پروفایل

پژوهشگر

InriaFrance

Oliver Nash is a researcher at Imperial College London, actively engaged in the formalisation of advanced mathematical concepts. His work bridges geometry and computational logic, with a focus on rigorous proof systems. Research Interests: Oliver's research lies at the intersection of geometry and the formalisation of mathematics. He specialises in using proof assistants to verify deep mathematical results, including topics such as the h-principle, sphere eversion, and Lie algebras. His work contributes to the growing field of certified mathematics, ensuring correctness through machine-checked proofs. Publication Trends: His recent publications at the CPP conference demonstrate a consistent focus on formalising foundational results in differential geometry and algebra. These works reflect a trend toward computational trust in mathematical proofs, particularly in complex geometric transformations and algebraic structures. Professional Activities: Oliver is an active contributor to the Certified Programs and Proofs (CPP) conference, presenting cutting-edge work in formal verification. He maintains a personal website detailing both his academic contributions and early explorations in computer graphics, such as raytracing and radiosity rendering from the early 2000s. Labs and Projects: While specific lab affiliations are not mentioned, his work is closely aligned with research groups in formal methods and interactive theorem proving, likely involving tools like Lean, Coq, or Isabelle.

پروفایل رسمی دانشگاه

Fahiem Bacchusمشاهده پروفایل

استاد

University of OrléansFrance

Fahiem Bacchus is a Professor in the Department of Computer Science at the University of Toronto, within the Faculty of Arts and Science. His research is centered on foundational problems in Artificial Intelligence, particularly in reasoning, representation, and algorithm design. Institution: University of Toronto School: Faculty of Arts and Science Department: Department of Computer Science Email: fbacchus@cs.toronto.edu His work spans key areas including constraint satisfaction, satisfiability (SAT), automated planning, Bayesian inference, and constraint optimization. He focuses on developing algorithms that exploit domain-specific knowledge and structural properties to improve performance. His research has led to significant contributions such as the TLPlan planning system, which won the AIPS2002 international planning competition, and the 2clseq SAT solver, which demonstrated that extensive binary clause reasoning can dramatically improve solver efficiency. His work on preprocessors like Hypre further advanced formula simplification techniques. The recent articles reflect a strong focus on improving search algorithms through richer reasoning mechanisms, particularly in SAT solving and non-clausal logic. His publications show a consistent trend toward enhancing DPLL-based solvers with advanced inference techniques, reducing search space through preprocessing, and leveraging structural knowledge in logical theories. No scientific awards are explicitly mentioned in the provided text. Bacchus has supervised research and developed educational materials, with involvement in teaching and academic conference organization. While specific grants are not listed, his software releases (2clseq, Hypre, NoClause) suggest externally supported research activity. He has contributed tutorials, talks, and online teaching resources, indicating an active role in academic dissemination and mentoring. His research group has produced several software systems available for non-commercial research use, including 2clseq, Hypre, and NoClause, reflecting a strong applied and experimental component to his work. These tools are used in SAT solving, preprocessing, and non-clausal reasoning, and are documented with detailed technical information and usage instructions.

پروفایل رسمی دانشگاه