استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۱-۱۵ از ۱۶۹ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
Christoph Koch is a Full Professor in the School of Computer and Communication Sciences at EPFL (Ecole Polytechnique Federale de Lausanne) , Switzerland. He has held academic positions at Cornell University (2007-2010, 2006), Saarland University (2005-2007), and TU Vienna (2001-2005). His research focuses on database systems, logic, programming languages, and data management.
Fabian Suchanek is a full professor at Institut Polytechnique de Paris, specifically affiliated with Télécom Paris. He leads research in the Data, Intelligence, and Graphs (DIG) team within the Computer Science department. His academic career focuses on bridging artificial intelligence with structured knowledge representations. Suchanek's research interests span artificial intelligence, knowledge bases, and natural language processing, with particular emphasis on knowledge graph construction , rule mining , knowledge-based language models , and explainable AI . His work demonstrates how structured knowledge can enhance machine learning systems, particularly large language models, by providing factual grounding and interpretability. The research group he leads develops practical systems that address real-world knowledge management challenges. His recent publications showcase a strong trajectory in knowledge-intensive AI, with notable contributions to knowledge graph completion, rule mining techniques, and neural approaches to knowledge base validation. The research demonstrates increasing integration between symbolic and neural approaches to AI. Best Student Paper Award at KR 2024 for work on contextual reasoning Best Demo Award of IJCAI 2024 for rule mining in knowledge graphs French Open Research Award for the YAGO project Best Paper Award of ESWC 2021 for Neural Knowledge Base Repairs Suchanek has secured significant research funding, evidenced by his active recruitment of PhD students for knowledge-based language model research. He has held visiting positions, including at Nanyang Technological University (June-September 2023), and is recognized internationally through keynote invitations such as the Singapore ACM SIGKDD Symposium 2023. He has deliberately stepped back from administrative duties at Institut Polytechnique de Paris to focus on research. His laboratory maintains strong industry connections through open-source software projects including the YAGO knowledge base, AMIE for rule mining, STACI for explainable AI, and several other tools that have become standard in knowledge representation research.
Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA
Stefania Dumbrava is an Associate Professor of Computer Science at ENSIIE (École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise) and a permanent member of the ACMES team in the SAMOVAR laboratory at Télécom SudParis, Institut Polytechnique de Paris. She is also actively involved in the Property Graph Schema Working Group and the European Research Network on Formal Proofs (EuroProofNet). Education PhD in Computer Science, Université Paris-Sud (2016) MSc in Computer Science, Jacobs University Bremen (2012) BSc in Mathematics, Jacobs University Bremen (2010) Research Interests Dumbrava's research lies at the intersection of formal methods and data management . She designs and verifies algorithms and systems for graph databases , with emphasis on property graphs , schema discovery , query optimization , and distributed graph processing . Recently, her work focuses on certifying large-scale distributed graph systems under the ANR JCJC VERDI project (2025–2029). Awards & Honors SIGMOD Best Paper Award 2023 – “PG-Schema: Schemas for Property Graphs” SIGMOD Research Highlight Award 2023 – “Threshold Queries” VLDB 2022 Best Regular Research Paper Runner-Up – “Threshold Queries in Theory and in the Wild” SIGMOD 2025 Distinguished Reviewer Award ICDE 2025 Best Program Committee Member Award EASST Best Software Science Paper Award, ICGT 2025 Students & Grants Dumbrava has supervised numerous research interns and is actively recruiting PhD students for her ANR VERDI project on verified foundations of large-scale distributed graph systems. She has also served on six PhD thesis committees as examiner since 2021. Labs & Teams She leads the ACMES research group within the SAMOVAR laboratory (Télécom SudParis, Institut Polytechnique de Paris), where her team develops formally verified graph-database engines and tools such as GRASP, VerDILog, and DatalogCert.
Andrew Rice is a Professor of Computer Science at the University of Cambridge's Department of Computer Science and Technology, and holds the Hassabis Fellowship in Computer Science. He is also the Director of Studies in Computer Science at Queens' College. His research focuses on programming languages, software engineering, and machine learning applications in software development. He leads projects like Isaac Computer Science and ALTA (Automated Language Teaching and Assessment), advancing adaptive learning technologies. His work includes static analysis tools such as Error Prone at Google, energy efficiency studies in computing infrastructure, and contributions to the Computing for the Future of the Planet initiative. His teaching emphasizes practical skill development through flipped classrooms and video lectures, earning him the 2014 Pilkington Prize for teaching excellence. He has held visiting roles at Google and collaborated on energy consumption research for mobile devices and data centers. His research spans systems, networking, and natural language processing, with a strong focus on applying computational methods to real-world challenges. Key Projects: Isaac Physics/Computer Science, ALTA, Error Prone Static Analysis Research Themes: Programming Languages, Machine Learning, Energy Efficiency Awards: Pilkington Prize (2014)
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.
Dan Suciu is a Microsoft Endowed Professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. His research focuses on data management, query optimization, probabilistic databases, parallel data processing, and information theory applications to databases. Awards : ACM Fellow (2011), American Academy of Arts and Sciences (2024), ACM SIGMOD Codd Innovation Award (2022), NSF Career Award (2001), Alfred P. Sloan Fellow (2001-2002). Research Trends : Recent work emphasizes cardinality estimation using Lp-norms, submodular width for query evaluation, dynamic query processing, and tensor program optimization. His publications highlight intersections between database systems and formal methods, driven by mathematical rigor. Key Collaborators : Mahmoud Abo Khamis, Dan Olteanu, Amir Shaikhha, Maximilian Schleich, Kyle Deeds, Moe Kayali. Advising : PhD students Gerome Miklau (2006), Christopher Re (2010), Paris Koutris (2016), Nilesh Dalvi (2008 runner-up), Yisu Remy Wang (2024 runner-up) have excelled in dissertation awards.
Albert Atserias is a Professor in the Department of Computer Science at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Informatics of Barcelona (FIB) and the ALBCOM research group (Algorithms, Bioinformatics, Complexity, and Formal Methods). He is also associated with the Institut de Matemàtiques de la UPC-BarcelonaTech. His research is central to theoretical computer science, with a strong emphasis on logic and complexity. Atserias's research interests span Computational Complexity, Logic in Computer Science, Finite Model Theory, Proof Complexity, and Constraint Satisfaction Problems . His work explores the fundamental limits of computation, the expressive power of logical languages over finite structures, and the complexity of proving mathematical statements. He investigates the algebraic and combinatorial properties of proof systems, the limits of efficient algorithms for constraint solving, and the theoretical foundations of databases. His research often bridges logic, algebra, and combinatorics to provide deep insights into computational phenomena. The trends in his recent publications show a sustained focus on the logical and algebraic underpinnings of computational problems. Key themes include the consistency and complexity of database queries , the power and limitations of proof systems (like resolution and sum-of-squares), and the expressive power of homomorphism counts in graph theory. His work on the hardness of automating resolution and the development of circular proof systems are particularly significant contributions to proof complexity. The 2024 PODS Best Paper Award for work on relational consistency underscores the impact and timeliness of his research. Among his notable scientific awards are the prestigious ICREA Acadèmia , the PODS 2024 Best Paper Award , the Premi Extraordinari de Doctorat (Extraordinary Doctoral Prize), and the Kleene Award for Best Student Paper . These accolades reflect both the excellence of his early work and his continued leadership in the field. Atserias has been a principal investigator on numerous competitive research projects, including funding from the European Research Council (ERC) and the Spanish Ministry of Science. He has advised doctoral students, such as Toni Hakoniemi, whose thesis on proof complexity he supervised. His extensive collaborative network includes leading researchers like Phokion Kolaitis, Anuj Dawar, and Victor Dalmau. He has also served on the scientific committees of major conferences, contributing to the academic community. He is a core member of the ALBCOM research group , a leading team at UPC focused on theoretical aspects of computer science, which provides a vibrant environment for research in algorithms, complexity, and formal methods. His work is also connected to the broader Institut de Matemàtiques de la UPC, fostering interdisciplinary collaboration between computer science and mathematics.
Antonella Poggi is an Associate Professor in the Department of Computer, Control and Management Engineering (DIAG) at Sapienza University of Rome, holding the position in Computer Science and Engineering (IINF-05/A). She recently obtained the National Scientific Qualification as full professor in July 2024. Her research interests include: Database theory, data integration, and exchange Knowledge representation and reasoning Ontologies, knowledge graphs, and Description Logics Data governance and personal information management Metamodeling and semi-structured data Recent publications (2021-2025) demonstrate a consistent focus on ontology-based data access, with key contributions in query answering, data abstraction, and knowledge graph semantics. Her work bridges theoretical foundations with practical applications, as evidenced by co-founding OBDA Systems Srl. Dr. Poggi has led the MODEUS research project (MIUR SIR) and participated in international collaborations. She is an active member of the academic community, serving as General Chair for IRCDL 2024 and CIKM 2026, and Program Co-Chair for multiple conferences including KEOD and ODOCH. Her academic service includes extensive program committee memberships for top conferences (ICDT, EDBT, AAAI, etc.) and leadership in organizing workshops and conferences in digital libraries and knowledge engineering.
Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.
Emanuel Sallinger is a Full Professor at TU Wien's Databases and Artificial Intelligence Group and Vice Dean of Academic Affairs for Business Informatics and Data Science. He leads the Knowledge Graph Lab, focusing on scalable knowledge-based systems, reasoning in knowledge graphs, and AI integration. His research spans computational logic, database theory, and blockchain applications. Education: PhD in Computer Science (awarded 'sub auspiciis praesidentis rei publicae'), Master's degrees in Computational Intelligence and Informatics Management, and a Bachelor's in Software and Information Engineering. Research Interests: Knowledge graphs (construction, reasoning, scalability), logic-based systems, AI/ML integration with databases, enterprise architecture modeling, and financial knowledge systems. His work emphasizes practical applications like enterprise modeling, sustainable waste management, and regulatory compliance. Grants & Projects: Lead Vienna Science and Technology Fund (WWTF)-funded Knowledge Graph Lab. Involved in projects like 'Knowledge Graph-driven Tour Management' (sustainability), 'SustainGraph' (waste processing), and 'Enterprise Architecture Knowledge Graphs'. Teaching: Offers courses on Knowledge Graphs, Generative AI, Database Systems, and research methodology. Supervises doctoral and master's students in AI, databases, and knowledge representation. Labs/Teams: Knowledge Graph Lab at TU Wien, collaborating with industry on blockchain-based systems, financial AI, and enterprise architecture frameworks.
Diego Calvanese is a Full Professor in Computer Engineering at the Faculty of Engineering of the Free University of Bozen-Bolzano, Italy. He serves as Spokesperson of the Institute of Computer Science and Artificial Intelligence and Director of the Smart Data Factory technology transfer lab at NOI Techpark. As Coordinator of the Intelligent Integration and Access to Data (In2Data) research group, part of the Research Centre for Knowledge and Data (KRDB), he leads significant research initiatives in knowledge representation and data management. Calvanese's research focuses on virtual knowledge graphs for data access and integration, ontology-based data access, description logics, semantic web technologies, graph data management, and verification of data-aware processes. His work bridges theoretical foundations with practical applications through the Ontop framework, which enables SPARQL query answering over OWL 2 QL ontologies connected to external data sources. His research has substantial practical impact, powering the South Tyrol Open Data Hub Knowledge Graph and supporting numerous European and national research projects. With more than 400 refereed publications and over 39,000 citations (h-index 80), Calvanese's recent work demonstrates continued leadership in virtual knowledge graphs, ontology-based data federation, explainable AI through knowledge representation, and integration of complex data types including 3D city models and raster data. His publications show a clear trajectory from theoretical foundations toward increasingly practical and applied research addressing real-world data integration challenges across multiple domains. ACM Fellow (2019) EurAI Fellow (2015) AAIA Fellow Program Chair of PODS 2015 and KR 2020 General Chair of ESSLLI 2016 Calvanese has secured significant research funding through numerous competitive projects including EU H2020 INFRAEOS Project (INODE), Italian PRIN Project (HOPE), FESR Project (IDEE), and EU FP7 IP Project (Optique), totaling close to 6.4M Euro. As an originator and co-founder of Ontopic, the first spin-off of the Free University of Bozen-Bolzano, he has successfully translated research into commercial applications. He serves as Associate Editor of Artificial Intelligence (AIJ) and has participated in over 200 program committee roles for international conferences. As Director of the Smart Data Factory technology transfer lab and coordinator of the In2Data research group, Calvanese bridges academic research with industry applications, focusing on practical implementations of knowledge graph technologies. His work with the KRDB Research Center has established Bozen-Bolzano as a significant hub for knowledge representation and data management research in Europe.
Dan Olteanu is a Professor of Computer Science at the University of Zurich (since 2020) and holds a part-time role as a Computer Scientist at RelationalAI. Previously, he was a Professor at the University of Oxford (2016–2020) and had visiting roles at UC Berkeley (2013–2014) and LogicBlox (consulting, 2013–2017). His research focuses on database systems, probabilistic data management, and theoretical foundations of data processing. Education: PhD in Computer Science from Ludwig Maximilian University of Munich (2005), Diplom (M.Sc.) from Polytechnic University of Bucharest (2000). Additional roles include Fellow and Director of IT at St Cross College, Oxford. Research Interests: Factorized databases (FDB), probabilistic databases (SPROUT, ENFrame), Datalog engines (RDFox), query optimization (Distributed Query Optimization), and machine learning over relational data. Publications highlight contributions to incremental query processing, probabilistic inference, and scalable algorithms. Notable work includes the SPROUT query engine, FDB system, and theoretical results on query tractability. Awards: Best Paper Award at ICDT 2019. Grants from ERC, EPSRC, Google, and industry partnerships with Amazon, Microsoft, and others. Students advised include Robert Fink, Maximilian Schleich, and Haozhe Zhang. Active in academic service, editing journals, and organizing conferences like BNCOD and SIGMOD workshops.
Professor Kirk R. Pruhs is a full Professor in the Department of Computer Science at the University of Pittsburgh's School of Computing and Information. He holds editorial roles at journals such as the Journal of Scheduling and ACM Transactions on Algorithms. His research focuses on algorithmic problems in green computing, scheduling, online optimization, and resource management. Pruhs has advised numerous PhD students and has a strong publication record in top venues like SODA, STOC, and FOCS. His work often addresses energy-efficient algorithms and computational resource management. Notable contributions include studies on stochastic scheduling, energy-efficient routing, and competitive analysis of online algorithms. Education: BS in Mathematics and Computer Science from Iowa State University (1984), PhD in Computer Science from University of Wisconsin-Madison (1989). Research Interests: Algorithmic challenges in green computing, fair allocation mechanisms, scheduling under uncertainty, and online optimization techniques. He explores how computational methods can improve energy efficiency and resource allocation in distributed systems. Recent articles focus on robust scheduling strategies, stochastic systems, and algorithmic approaches to network design and resource optimization. His work bridges theoretical computer science with practical applications in sustainable computing. Students: Includes Jonathan Beaver (2006), Mohamed Aly (2008), Christine Chung (2009), Daniel Cole (2013), Neal Barcelo (2015), Michael Nugent (2015), and Alireza Samadian Zakaria (2021). Labs/Teams: Engaged in algorithm design and analysis within the Department of Computer Science, contributing to initiatives in computational sustainability and high-performance computing.
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
