Find Academic Supervisors

Wim VanhoofView profile

Professor

• Logic Programming
• Constraint Programming
• Software Testing
• +4 more

Wim Vanhoof is a Professor at the Faculty of Computer Science, University of Namur, leading the Research Group on the Foundations of Computer Science. He holds a Doctor of Science degree from KU Leuven (2001), specializing in clustering and instance-based learning in first-order logic. His research focuses on logic programming, constraint solving, software testing methodologies, concurrency in programming, and educational technology. Key projects include Sandbox4CS (2024–2025), a research infrastructure for computer science, and collaborative efforts like Silverkit (2019–2022), aimed at improving senior citizens' interaction with digital tools. His research interests span formal methods, program analysis, automated testing, and educational innovations in computer science. Notable contributions include frameworks for relational symbolic execution of SQL, semantic clone detection in CLP, and tools like Moulinog for generating Prolog assignments. Vanhoof has authored over 90 publications and supervised 83 students, reflecting his extensive academic leadership. He received the IBM Belgium Prijs informatica (1996) and remains active in academic activities, including organizing workshops and conferences like FOCUS Research Seminar (2019) and participating in events such as Computer Science Logic 2022. His work bridges theoretical foundations with practical applications, emphasizing software quality, concurrency management, and educational pedagogy.

Rajiv BagaiView profile

Professor

• Data Privacy
• Web Anonymity
• Incomplete Databases
• +5 more

Dr. Rajiv Bagai is a Professor of Computer Science and PhD Graduate Coordinator at Wichita State University's College of Engineering, School of Computing. He holds a B.Sc. from Birla Institute of Technology & Science, Pilani, India, and M.Sc. and Ph.D. from the University of Victoria, Canada. His research focuses on Data Privacy, Web Anonymity, and prior work spans Incomplete/Inconsistent Databases, Deductive Systems, and Logic Programming. Education: Bachelor's in Computer Science: Birla Institute of Technology & Science, Pilani, India Master's and Ph.D. in Computer Science: University of Victoria, Canada Dr. Bagai emphasizes collaborative research with students across BS, MS, and PhD levels, adopting a hands-off mentoring style to nurture self-motivated learners. His research group’s outputs are listed in his publications section. Outside academia, he enjoys global travel, programming in multiple languages, chess, racquetball, and recently exploring stage singing.

• Knowledge Representation
• Description Logics
• Ontology Engineering
• +4 more

Sanja Lukumbuzya is a PostDoc Researcher at the Knowledge-Based Systems group (E192-03) of Vienna University of Technology. Her work bridges formal logic and practical data systems, focusing on ontology-mediated data management, description logics, and business process challenges. Research Interests Ontology-Based Data Access (OBDA) Description Logics and Datalog Rewriting Process Mining and Workflow Analysis Hybrid Reasoning Systems Incomplete Data Handling Computational Complexity in Knowledge Bases Affiliations Vienna University of Technology, Austria Researcher in projects KtoAPP (2018–2025) and OMEGA (2017–2022) Publications Trends Her recent work addresses algorithmic complexity in expressive logics (2024), coNP expressiveness in ontology queries (2023), and practical BPM challenges (2023). Earlier studies focused on bounded predicates (2021), hybrid ASP-ontology frameworks (2020), and dishonesty modeling (2018).

• Automated Deduction
• Program Synthesis
• Logic Programming
• +4 more

Richard J. Waldinger is a distinguished researcher at SRI International in Menlo Park, California, with a career spanning over five decades in the fields of automated deduction, program synthesis, and artificial intelligence. His work has significantly influenced the theoretical foundations of computer programming and automated reasoning. Waldinger's research focuses on deductive question answering, program synthesis, and applying logical methods to artificial intelligence problems. His work bridges theoretical computer science with practical applications in knowledge representation, natural language processing, and semantic web technologies. He has been particularly influential in developing methods for translating natural language queries into formal logical representations that can be processed by automated reasoning systems. His recent publications demonstrate a continued focus on natural language access to structured data, health informatics applications, and semantic web technologies. Waldinger's work has evolved from foundational program synthesis research to contemporary applications in question answering systems and semantic technologies. Herbrand Award (2016) - Recognizing his significant contributions to automated deduction Waldinger has maintained a prolific research career through extensive collaborations with leading researchers in artificial intelligence and automated reasoning. His work with Zohar Manna represents one of the most influential collaborations in the field of program synthesis. He has also worked with researchers on projects involving health information systems, semantic web technologies, and natural language interfaces to databases. His research has been supported by various funding sources including DARPA, as evidenced by his work on DAML (DARPA Agent Markup Language). Waldinger has been associated with SRI International's Artificial Intelligence Center, where he has contributed to numerous projects involving automated reasoning, knowledge representation, and natural language processing. His work has helped establish formal methods for program synthesis and deductive question answering that continue to influence contemporary research in artificial intelligence.

Fabio PapacchiniView profile

Senior Lecturer

• Non-classical Logics
• Automated Theorem Proving
• Knowledge Representation and Reasoning
• +12 more

Dr. Fabio Papacchini is a Senior Lecturer in Computer Science at Lancaster University Leipzig, affiliated with the School of Computing and Communications and research groups Security Lancaster (Systems and Software Security). He holds a PhD from the University of Manchester, where he was awarded a Doctoral Prize Fellowship, and previously conducted research at the University of Liverpool on projects involving robotics, artificial intelligence, and software systems for nuclear and offshore energy applications. His research centers on non-classical logics in computer science, with key interests in model theory, automated theorem proving, knowledge representation and reasoning, ontological reasoning, and formal verification. He has made significant contributions to modal logic, spatial logics, and ontology-mediated querying, particularly through reduction techniques and finite model analysis. The recent publications highlight a strong trend in logical foundations for AI and formal methods, focusing on efficient translations in modal logic, runtime verification of multi-agent systems, and integration of formal techniques with robotics and autonomous systems. His work bridges theoretical logic with practical applications in safety-critical domains. Doctoral Prize Fellowship, University of Manchester Dr. Papacchini has collaborated extensively with researchers such as Ullrich Hustadt, Clare Dixon, Cláudia Nalon, Michael Fisher, and Alessandro Ferrando. While no direct mention of student advising or grants is found, his active publication record and leadership in research projects suggest significant involvement in mentoring and collaborative research. He is associated with formal verification of autonomous systems and has explored applications in robot inspection and battery health management. He has contributed to the development of declarative languages for agent platforms and has participated in the Multi-Agent Programming Contest, showcasing applied work in automated planning and agent coordination.

• Data Management
• Computational Logic
• Database Theory
• +10 more

Michael Benedikt is Professor of Computer Science at the Department of Computer Science, University of Oxford, and a Fellow of University College, Oxford. His research lies at the intersection of computational logic, database theory, and theoretical computer science, with a focus on query answering, logic-based data management, and formal methods for data integration. Institution: University of Oxford, Department of Computer Science Position: Professor of Computer Science Email: michael.benedikt@cs.ox.ac.uk Office: 355 Wolfson Building, Parks Road, Oxford OX1 3QD, UK His primary research interests include data management, computational logic, model theory, query reformulation, integrity constraints, existential rules, and fixpoint logics. He investigates theoretical foundations of querying Web and social network data, ontology-based data integration, and finite model reasoning. His recent publications span top venues such as VLDB, PODS, LICS, ICALP, and IJCAI, covering topics like scalable querying of nested data, interpolation in fixpoint logics, finite open-world query answering, and rewriting recursive queries. A unifying theme across his work is the application of logical methods to ensure correctness, decidability, and efficiency in data access and transformation. Best Paper Award, ICALP 2017 (Track B) EPSRC Established Career Fellowship (2015–2020) He has supervised numerous PhD students and postdoctoral researchers, including Jaclyn Smith, Djordje Zivanovic, Antonia Kormpa, and Benjamin Spencer. His research group has been supported by grants from EPSRC and Microsoft Research. He actively contributes to the academic community through service on program committees (e.g., LICS, PODS, IJCAI, VLDB) and editorial boards (e.g., Journal of Computer and System Sciences). He co-authored a book on interpolation-based query reformulation published by Morgan Claypool.

• Medical and Scientific Imaging
• Algorithm Design and Analysis
• Computational Complexity
• +1 more

Jim Cox is a Professor in the CIS Department at Brooklyn College. His research spans Medical and Scientific Imaging , Algorithm Design and Analysis , Computational Complexity , and Constraint Programming and Operations Research . Medical Imaging : Focused on anatomical modeling and volume data analysis. Algorithm Design : Contributions to digital Morse theory and surface reconstruction. Computational Complexity : Theoretical work on logic programming languages and complexity hierarchies. His publications highlight advancements in 3D image segmentation , digital geometry , and constraint programming , with key applications in biomedical computing and robotics. Awards and student advising details are not publicly listed in the provided materials.

• Internet of Things
• Business Process Modeling
• Information Modeling Ontologies
• +3 more

Ernest Lopez is a full professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Facultat d'Informàtica de Barcelona (FIB) and the Departament d'Enginyeria de Serveis i Sistemes d'Informació. His research focuses on Internet of Things (IoT), business process modeling, information modeling using ontologies, and automated reasoning. He holds a PhD in Computer Science (Software) and has extensive experience in database systems and semantic integration. He leads the IMP (Information Modeling and Processing) research group and collaborates with inLab FIB and AGROTECH-UPC. His work spans over 300 academic activities including articles, projects, and presentations. Notable contributions include frameworks for database updates, IoT semantic integration, and automated reasoning systems. Research interests emphasize IoT infrastructure monitoring, semantic data integration, and business process modeling with a focus on artifact-centric systems. Recent projects involve smart transportation systems, ciberseguretat (cybersecurity), and AI-based incident response systems. He has received the Rafael de Campalans award and contributed to over 50 indexed journal articles and 90 conference presentations. Grants and collaborations include projects on mobility analysis, demand forecasting, and intelligent transportation systems. His work bridges theoretical foundations with practical applications in areas like data integrity, test data generation, and edge-cloud computing.

Sophie TourretView profile

Researcher

• Automated Reasoning
• Formal Logic
• Artificial Intelligence
• +8 more

Sophie Tourret is a Researcher at Inria (Nancy & LORIA, France) and a guest researcher in the Automation of Logic group at the Max Planck Institute for Informatics (MPII, Germany). Her research focuses on extending automated reasoning techniques to higher-order logic, improving SMT solvers, and generating prime implicates in equational logic. Education: PhD in Computer Sciences, Grenoble Alpes University (2016) Master in Web and Artificial Intelligence, Joseph Fourier University (2012) Engineering Degree, Grenoble INP - Ensimag (2012) Research Interests include automated reasoning, formal logic, artificial intelligence, and logic programming. She leads projects like Matryoshka (extending superposition to higher-order logic) and CPEC (explanation generation in description logics). Recent Publications span topics such as superposition calculus, prime implicate generation, and neural-to-symbolic learning. Her work bridges symbolic reasoning and machine learning in formal logic contexts. Scientific Awards: ILP Best Paper Award (2019) Lise Meitner Award (2018) 2 Minutes Madness Best Poster and Presentation (2014) Teaching Experience includes formal languages theory, database management, and communication networks at Grenoble INP - Ensimag. She also served on program committees for conferences like CADE, IJCAI, and IJCAR.

Paul FodorView profile

Associate Professor

• Artificial Intelligence
• Natural Language Processing
• Logic Programming
• +4 more

Dr. Paul Fodor is an Associate Professor of Practice in the Department of Computer Science at Stony Brook University. He holds a Ph.D. (2011) and M.S. (2006) from Stony Brook University, and a B.Eng. (2002) from Technical University of Cluj-Napoca, Romania. His research focuses on logic programming, complex event processing, knowledge representation, and natural language processing. He contributed to projects like IBM Watson, OpenRuleBench, and ETALIS. Fodor teaches numerous courses, including CSE 114, 160, 215, 305, and 307. He leads the Computer Science Undergraduate Program and coordinates the Accelerated BS/MS Program. Research Grants & Collaborations : SILK language (Vulcan Inc.), Knowledge representation (XSB Inc./DARPA), and collaborations with Prof. Michael Kifer. His work spans rule-based systems, semantic web, and AI applications. Awards : 2019 SUNY Chancellor's Award for Excellence in Teaching, multiple undergraduate teaching awards, and the RuleML 2013 Challenge award. His research emphasizes declarative rule languages and their applications in knowledge bases and event processing. Labs & Projects : Co-developed ErgoAI, ETALIS, and contributed to the IBM Watson team. Active in rule-based benchmarking (OpenRuleBench) and logic-based systems for event processing.

• Security
• Privacy
• Cryptography
• +7 more

Cédric Fournet serves as Senior Principal Research Manager at Microsoft Research in Cambridge, UK, where he leads the Constructive Security research team. He also directs the Secure Distributed Computations project at the MSR-INRIA Joint Center in collaboration with INRIA Paris's Prosecco team. With over two decades of experience since joining Microsoft Research in 1998, Fournet maintains active collaborations across academic and industrial research communities. His educational background includes graduation from École Polytechnique in 1992, followed by a year working on deductive databases at BULL. He obtained a second engineering degree from École Nationale des Ponts et Chaussées in 1995 and completed his PhD in computer science at INRIA Rocquencourt, where he applied concurrency theory to distributed programming through a variant of the pi calculus. Fournet's research spans multiple interconnected domains in computer security and programming languages. His primary focus involves building, verifying, and deploying secure components for critical infrastructure, most notably through the Everest project which aims to create verified replacements for HTTPS components like miTLS. His work integrates formal methods with practical security concerns, addressing challenges in cryptographically-verifiable computing, TLS security, secure cloud outsourcing using trusted hardware (SGX, TPM), side-channel resistance, and information-flow security. A unifying thread throughout his career is the application of dependent types, particularly through the F* programming language, to create provably secure systems. Analysis of his recent publications reveals a consistent trajectory toward verified security implementations across diverse platforms and protocols. His work has evolved from theoretical foundations in cryptographic protocol verification to practical, production-ready systems like EverCrypt and EverParse. The research demonstrates increasing sophistication in handling real-world constraints while maintaining formal guarantees, with recent work addressing microarchitectural security, confidential computing in AI accelerators, and media provenance for combating synthetic media. CCS Distinguished Paper Award (2024) for Principled Microarchitectural Isolation on Cloud CPUs Best Paper Award Nominee (2023) for Confidential Consortium Framework Distinguished Paper Award (2015) for A Messy State of the Union: Taming the Composite State Machines of TLS As leader of the Constructive Security team at Microsoft Research, Fournet oversees multiple significant research initiatives with substantial funding from both internal Microsoft resources and external collaborations. His team's work on Everest has received sustained support for developing verified cryptographic implementations, while the MSR-INRIA Joint Center provides a framework for international collaboration on secure distributed systems. The team maintains strong industry partnerships that facilitate the transition of research prototypes into deployed systems. The Constructive Security research team operates at the intersection of theory and practice, maintaining close connections with both the INRIA Prosecco team in Paris and various Microsoft product groups. Their work environment emphasizes formal verification techniques applied to real-world security challenges, with particular focus on creating tools and frameworks (like F*) that enable building systems with strong security guarantees. The team's approach combines deep theoretical insights with practical engineering considerations to produce solutions that are both formally verified and deployable in production environments.

Jay W. SummetView profile

Senior Lecturer

• Human-Computer Interaction
• Robotics
• Interactive Projected Displays
• +7 more

Jay W. Summet is a Senior Lecturer and OMSCS Associate Director for Academic Affairs at the Georgia Institute of Technology's College of Computing . His career spans research and teaching in computer science, robotics, and interactive display technologies. Ph.D. in Computer Science (HCI specialization), Georgia Tech (2007) MS in Computer Science (End-User Visual Programming), Oregon State (2001) BS in Computer Science (Software Design, Scientific Computing), Central Washington (1999) Dr. Summet's research focuses on Human-Computer Interaction , Interactive Projected Displays , and Robotics , particularly in educational contexts. His work includes developing the Virtual Rear Projection system and BurningWell micro-controller localization technology. Recent publications explore GPS-based urban reconstruction , projector-camera systems , and capture-resistant environments using infrared interference. His teaching impacts courses like CS 6400 (Database Systems) and CS 7638 (AI for Robotics), and he pioneered CS1 with Robots curriculum at Georgia Tech. Scientific Awards Class of 1940 & 1934 Teaching Effectiveness Awards Outstanding Instructor, Georgia Tech College of Computing (2011, 2015) Presidential & Dean's Fellowships (2001-2006) As a Institute for Personal Robots in Education research scientist, he contributed to curriculum development and evaluation. His work appears in top venues like IEEE Pervasive Computing, ACM SIGGRAPH, and CHI.

• Databases
• Information Systems
• Semantic Web
• +3 more

UnivProf. Dr. Wolfgang May is a Professor at the University of Göttingen's Department of Databases and Information Systems within the Institute of Computer Science. His teaching responsibilities include courses such as Deductive Databases, Semistructured Data and XML, and internships in Databases and SQL, as well as Linked Data and Semantic Web. He holds a professorship and is actively involved in academic instruction and research in his field. Education details are not explicitly listed, but his academic role implies advanced qualifications in computer science. Research interests focus on databases, information systems architecture, and semantic technologies. No specific grants, labs, or future projects are mentioned in the provided text. No scientific awards or advising records are listed. His professional presence includes a university webpage at http://user.informatik.uni-goettingen.de/~may .

• Fuzzy Logic Programming
• Fuzzy Deductive Databases
• Automatic Program Transformation
• +4 more

Pascual Julián-Iranzo is an Associate Professor in the Information Technologies and Systems Department at the Higher School of Computer Science, University of Castilla-La Mancha (UCLM), where he has served since April 2003. He is a founding member and current co-director of the DEC-tau research group focused on Declarative Programming and Automatic Program Transformation. His academic career includes over 27 years of university teaching experience across various positions, with significant contributions to curriculum development including the Degree Curriculum in Computer Engineering (2008/09 and 2009/10). Education Background: Doctor in Computer Science (1994-2000) from Universitat Politècnica de València, Department of Computer Systems and Computation His research centers on declarative programming languages with emphasis on fuzzy logic programming, functional-logic paradigm integration, and automatic program transformation. He pioneered work in proximity-based reasoning systems like Bousi-Prolog and FASILL, developing novel approaches for similarity-based unification, thresholded tabulation, and fuzzy deductive databases. His publications demonstrate consistent innovation in fuzzy logic semantics, particularly in handling truth degrees and semantic similarity measures for knowledge representation. Analysis of his 15 most recent publications reveals a strong trajectory in formalizing fuzzy logic programming frameworks, with increasing focus on practical implementations (2018-2023) after establishing theoretical foundations (2015-2017). Key thematic clusters include proximity-based unification algorithms (2018-2021), semantic frameworks for truth degree management (2016-2017), and real-world applications in natural language processing (2021) and security systems (2017). Research Recognition: Positive evaluation by CENAI for three consecutive research periods: [1997-2002], [2003-2008], and [2009-2014] Consistent publication record with 24 scientific journal articles (16 JCR-indexed) As an academic leader, Julián-Iranzo has supervised 2 doctoral theses and chaired the PROLE 2021 Conference Program Committee. His grant portfolio includes significant European funding, notably the MERINET project (2016-2019) supported by ERDF and MINECO. He has served on 12 conference program committees and reviewed for top journals including Journal of Theory and Practice of Logic Programming. His DEC-tau research group maintains active international collaborations, evidenced by coordination of the UCLM node in the ALFA Lernet Project (2005-2009) and partnership with Argentina's National University of San Luis (2009-2013).

Vesna MarinkovićView profile

Associate Professor

• Automated Reasoning
• Geometry
• Formal Theorem Proving
• +3 more

Dr. Vesna Marinković is an Associate Professor at the Department of Computer Science, Faculty of Mathematics, University of Belgrade. She is actively involved in teaching courses such as Computer Graphics, Algorithms and Data Structures, Database Programming, and Construction and Analysis of Algorithms (both undergraduate and Master's level). Her research focuses on automated reasoning in geometry and coherent logic. Education: Graduated from Faculty of Mathematics, University of Belgrade (2006, GPA 9.45/10) PhD in Computer Science (2015): Automated solving of construction problems in geometry under Professor Predrag Janičić Her research combines formal theorem proving with automated reasoning, particularly applied to geometric construction problems. She has developed systems like ArgoTriCS for automated triangle construction and contributed to coherent logic frameworks for readable proofs. Her work also extends to algorithm design and educational tools for teaching computational geometry. Recent publications highlight her focus on geometric problem-solving automation, including methods for Wernick's list of problems and constructibility classes in triangle location. Her work bridges theoretical mathematics with practical algorithm implementation. Academic Affiliations: Member of ARGO (Automated Reasoning GrOup) Department of Computer Science, Faculty of Mathematics, University of Belgrade She teaches courses at both undergraduate and graduate levels, including Computer Graphics , Algorithms and Data Structures , and Construction and Analysis of Algorithms . Her teaching emphasizes practical implementation and theoretical foundations.