جستجوی استاد راهنمای دانشگاهی

Riccardo Tommasiniمشاهده پروفایل

دانشیار

• Stream Processing
• Knowledge Graphs
• Query Languages
• +۳ مورد دیگر

Riccardo Tommasini is an Associate Professor at INSA Lyon , a leading engineering institution in France. He leads the Stream Processing and Knowledge Graphs research within the DB Team at LIRIS laboratory under Professor Angela Bonifati. His academic journey began with a PhD in Computer Science from Politecnico di Milano under Emanuele Della Valle, with a dissertation titled Velocity on the Web to be published as a Springer book. Research Interests : Advancing stream processing for real-time data systems Extending knowledge graphs with dynamic data Designing graph databases for big data applications Creating query languages for heterogeneous data environments Building data engineering pipelines with Apache Airflow Enabling big graph processing in distributed settings Key Contributions : Developed Zodiac framework for Datalog reasoning under rule amendments (ICDE 2025) Co-authored foundational Streaming Linked Data book with Springer (2023) Created RSP4J API for RDF stream processing (ESWC 2021) Designed challenge-based learning curriculum for Data Engineering courses Scientific Recognition : Received ANR JCJC grant for POLYFLOW project (2024) Awarded Best Resource at ESWC 2021 Managed industrial collaborations with Neo4j, InfluxData, and Confluent Advising & Teaching : Supervises Mohamed Ragab (PhD candidate at University of Tartu) Course Leadership : Foundational Data Engineering course at INSA Lyon and University of Tartu Structured around Apache Airflow , Docker, and graph databases

Dietmar Seipelمشاهده پروفایل

استاد

• Logic Programming
• Deductive Databases
• Knowledge Engineering
• +۵ مورد دیگر

Dietmar Seipel is a Professor at the University of Würzburg, affiliated with the Department of Computer Science within the Faculty of Mathematics and Computer Science. He has held this position since November 1995, establishing a distinguished academic career spanning over 25 years with significant contributions to logic-based computer science. Professor Seipel's research focuses on Logic Programming and Deductive Databases, with substantial expertise in Knowledge Engineering and Artificial Intelligence. His scholarly work bridges theoretical foundations with practical applications, particularly in rule-based systems, knowledge representation, and declarative programming paradigms. He has consistently advanced the field through both theoretical developments and practical implementations, creating tools that enable more effective knowledge management and reasoning systems. His publication trajectory demonstrates a clear evolution from foundational work in disjunctive logic programming to contemporary applications in knowledge representation and semantic technologies. Recent research shows continued innovation in integrating logic programming with modern programming languages and systems, including Python and JavaScript implementations. His work spans theoretical contributions to practical tool development, with applications across diverse domains including space systems, medical informatics, and business process management. Professor Seipel has made extensive contributions to the academic literature, with publications appearing consistently from the 1980s through to the present. His work has influenced both theoretical developments in logic programming and practical applications in knowledge-based systems. He has been actively involved in academic community building through conference organization, particularly for events related to declarative programming and knowledge management.

Hamid Bagheriمشاهده پروفایل

دانشیار

• Software Engineering
• Security of Mobile Devices and IoT Systems
• Formal Methods
• +۴ مورد دیگر

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln, where he conducts cutting-edge research at the intersection of software engineering, security, and formal methods. He also serves as a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine, and co-directs the ESQuaReD Lab (Engineering Software Quality and Reliability through Deductive methods), which focuses on ensuring software quality through rigorous engineering approaches. Dr. Bagheri's research spans several critical areas including security of mobile devices and IoT systems, scaling formal verification with machine learning, software analysis and testing, dependable cyber-physical systems, and automated program repair and fault localization. His work combines theoretical rigor with practical applications, addressing real-world challenges in software security and reliability through publications in top venues like ICSE, FSE, ASE, and IEEE/ACM Transactions journals. His recent publications demonstrate a strong trend toward integrating machine learning techniques with formal methods to enhance software analysis capabilities. This includes leveraging transformers for database design optimization, neuro-symbolic approaches for certified software synthesis, and large language models for repairing formal specifications, reflecting his ability to adapt to emerging technologies while maintaining a strong theoretical foundation. Dr. Bagheri has received numerous prestigious awards including the EPSCoR FIRST Award, the NSF CISE Career Research Initiation Initiative Award, multiple Distinguished Paper Awards from top conferences, and teaching honors such as the SoC Student Choice Outstanding Teaching Award (2023-2024) and the CSE Outstanding Teaching Award (2020-2021). As an advisor, Dr. Bagheri has mentored several successful PhD students including Mohannad Alhanahnah (who joined Chalmers University as a tenure-track faculty member in Fall 2024) and Clay Stevens (who joined Iowa State University as a tenure-track faculty member in Fall 2023). His research has been supported by significant grants from NSF and other funding agencies, with recent work focusing on automated specification repair, security analysis of IoT systems, and verification of network protocols. The ESQuaReD Lab, which Dr. Bagheri co-directs, brings together a multidisciplinary team focused on addressing critical challenges in software quality and reliability through innovative engineering approaches and formal analysis techniques, with applications spanning mobile security, IoT systems, and cyber-physical systems.

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

پژوهشگر

• Artificial Intelligence
• Data Mining
• Deductive Databases
• +۵ مورد دیگر

Daniel Weidner is a researcher at the Chair of Computer Science VI (Artificial Intelligence and Knowledge Systems) within the Faculty of Mathematics and Computer Science at the University of Würzburg. His work spans declarative programming, database systems, and artificial intelligence applications. Primary affiliation: Chair of Computer Science VI, University of Würzburg Research focus: AI-driven database systems and logic programming His research interests include declarative technologies, logic programming, and their applications in data mining, tennis analytics, and NoSQL databases. He has extensively contributed to the development of tools that bridge Prolog and Python environments. Weidner has supervised multiple theses and seminar papers, including works on tennis trajectory recognition, heating system data analysis, and declarative program evaluation. His projects often involve Python-based implementations of deductive database systems. Supervised: 4 bachelor's, 2 master's theses Teaching roles: Logic programming, database exercises, and advanced database seminars Scientific awards: No explicit honors mentioned in available records.

• Semantic Web
• Ontology-Based Data Access
• Knowledge Graphs
• +۳ مورد دیگر

Martin Giese is affiliated with the University of Oslo (Department of Informatics) and the University Clinic Tübingen (Department of Cognitive Neurology). He is a researcher with a focus on semantic technologies, ontology-based data access, and visual query systems. Research Themes : Semantic Web, Ontology Engineering, Knowledge Graphs, Geological Informatics, Probabilistic Logic, Automated Reasoning Key Collaborations : Siemens, Statoil, Norwegian Petroleum Directorate, and various European research institutions Technical Contributions : Developed visual query systems (OptiqueVQS), ontology-driven geological modeling (GeoFault), and semantic data integration frameworks for industrial applications. His work spans both theoretical logic and practical implementations in big data environments. Publications : Recent articles focus on fault ontologies, process representation, and semantic embeddings. Earlier work includes foundational research in automated theorem proving and UML formalization.

Einar Broch Johnsenمشاهده پروفایل

استاد

• Computer Science
• Formal Methods
• Distributed Systems
• +۷ مورد دیگر

Einar Broch Johnsen is a Professor at the Department of Informatics, University of Oslo, where he has established himself as a leading researcher in formal methods and their application to distributed systems, cloud computing, and digital twins. His work bridges theoretical computer science with practical engineering challenges in complex systems. His research interests span formal methods, distributed and concurrent systems, programming models, digital twins, and robotics. He has made significant contributions to the ABS modeling language for asynchronous distributed systems and the SMOL programming language for digital twins. His approach emphasizes lightweight analysis techniques, type systems, testing, and deductive verification to ensure system reliability. His recent publications reveal a strong focus on applying formal methods to digital twin technology, with particular emphasis on healthcare applications, pandemic modeling, and robotics. His work demonstrates how formal verification techniques can enhance the reliability of AI-driven systems, especially in critical domains like underwater robotics and pandemic response. Johnsen actively contributes to the academic community through leadership roles including co-Editor-in-Chief of Formal Aspects of Computing , membership in IFIP WG2.2, and service on numerous conference program committees. He has chaired major conferences including FM 2015 and DisCoTec 2008. He leads and participates in numerous research projects including Sirius (as strategy director), Envisage (as coordinator), HyVar (as scientific coordinator), and REMARO (as co-initiator). His current projects include DART: Digital Arctic Twins, A Digital Twin for Vaccination Strategies, A Digital Twin of the Oslo Fjord, and NebulOuS: A Meta Operating System for Cloud Computing Continuums. Johnsen teaches courses including IN2031 – Project in Programming, IN2080: Computability and Complexity, and IN5170: Models of Concurrency, mentoring the next generation of computer scientists in formal methods and systems engineering.

• Formal Methods
• Graph Databases
• Property Graph Schema
• +۵ مورد دیگر

Ştefania-Gabriela Dumbravă is an Associate Professor at Institut Polytechnique de Paris (ENSIIE/Samovar Laboratory). Her research focuses on formal methods for graph database algorithms , including schema design, query processing, and verification. She contributes to international standards through co-chairing VLDB 2026 Demonstration Track and organizing workshops like VLDB Summer School 2025 . Dumbravă serves on editorial boards (e.g., ACM Transactions on Database Systems ) and program committees for top-tier conferences ( SIGMOD , ICDE ). Research Interests include formal verification of graph databases , property graph schema constraints , certified inference engines , and distributed graph systems . She integrates proof assistants (Coq, Isabelle) with practical database development, emphasizing reliability and mechanical correctness . Her work spans theoretical foundations (e.g., category theory , type theory ) and real-world applications (e.g., transit accessibility analysis , SDN controllers ). Selected Scientific Awards : EASST Best Software Science Paper Award (ICGT 2025) SIGMOD Best Paper Award (2023) VLDB Best Regular Paper Runner-Up (2022) D4Gen Hackathon 3rd Prize Teaching includes Graph Databases , Functional Programming , and Formal Languages at ENSIIE, with additional roles at Université Paris-Saclay, ENS Lyon, and Université Rennes 1. She supervises research internships and participates in gender parity initiatives (e.g., Paris-Saclay Women & Science Mentorship Program).

• Automated Deduction
• Program Synthesis
• Logic Programming
• +۴ مورد دیگر

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

مدرس ارشد

• Non-classical Logics
• Automated Theorem Proving
• Knowledge Representation and Reasoning
• +۱۲ مورد دیگر

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
• +۱۰ مورد دیگر

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.

Sophie Tourretمشاهده پروفایل

پژوهشگر

• Automated Reasoning
• Formal Logic
• Artificial Intelligence
• +۸ مورد دیگر

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.

• Databases
• Information Systems
• Semantic Web
• +۳ مورد دیگر

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 .