Serge Abiteboul is a prominent researcher affiliated with INRIA (France) specializing in database systems, data management, and distributed computing. His work spans foundational research in XML technologies, active XML systems, probabilistic databases, and ethical data science. He has contributed to influential projects like the Active XML framework and pioneered research on distributed data management systems. Holds the SIGMOD Edgar F. Codd Innovations Award (1998) Co-authored over 300 publications across journals like ACM TODS , VLDB Journal , and conferences such as SIGMOD, PODS, and ICDE Key research areas include: XML query languages and architectures Probabilistic and uncertain data management Workflow systems and collaborative computing Ethical considerations in data systems Notable contributions include the WebdamLog system for distributed data management and foundational work on Active XML . His recent focus on responsible data science addresses transparency, fairness, and regulatory compliance challenges.
Álvaro González is a Researcher in Section 2.6 (Seismic Hazard and Risk Dynamics) at Deutsches GeoForschungsZentrum (GFZ) in Potsdam. His research focuses on seismic hazard assessment, earthquake mechanics, and geophysical modeling. His investigations span diverse areas including thermal controls on seismogenesis, seismic catalog analysis, slow-slip earthquakes, and induced seismicity. González employs advanced statistical methods and 3D modeling techniques to study earthquake processes globally, with regional foci on Caribbean, Iberian, and Central American tectonics. His publication record demonstrates consistent contributions to understanding seismic source characterization, subduction zone dynamics, and innovative approaches in probabilistic seismic hazard analysis. Recent work emphasizes the integration of slow-slip earthquake phenomena into hazard models.
Prof. Dr. Erich Grädel is a full professor in the Mathematical Foundations of Informatik group at RWTH Aachen University, where he conducts research at the intersection of logic, computer science, and mathematics. His work lies in the Department of Mathematics, Computer Science and Natural Sciences, focusing on logic and theoretical computer science. Institution: RWTH Aachen University Department: Mathematical Foundations of Informatik Research Focus: Logic in Computer Science, Algorithmic Model Theory, Semiring Semantics, Dependence Logic His primary research interests include logic and games, algorithmic model theory, fixed-point logics, and semiring semantics for provenance analysis. He has pioneered work in logics of dependence and independence, extending classical logical frameworks to model information flow and uncertainty. His recent publications emphasize semiring-based provenance in first-order and fixed-point logic, Büchi games, and team semantics, often in collaboration with Val Tannen and Matthias Naaf. The trend in his recent articles (2021–2025) reveals a deep and sustained investigation into the algebraic and semantic foundations of logic, particularly through semiring semantics. His work applies logical methods to database theory, verification, and game theory, focusing on how information and strategies can be tracked and analyzed via algebraic structures. Topics include provenance in infinite structures, locality theorems, zero-one laws, and logical characterizations of computational phenomena. Erich Grädel has held significant editorial responsibilities in the logic community: Editor, Logical Methods in Computer Science (since 2004) Editor, Mathematical Logic Quarterly (since 2012) Editorial Board Member (Corner Editor for Logic and Games), Journal of Logic and Computation (since 2007) Editor, Journal of Symbolic Logic (2008–2013) He chaired the European GAMES Research-Training Network (2002–2013) and has co-edited five books, including Lectures in Game Theory for Computer Scientists (Cambridge University Press, 2011). He has advised numerous PhD students, including Faried Abu Zaid, Łukasz Kaiser, and Wied Pakusa. His research group has included long-term collaborators and former members such as Dietmar Berwanger, Martin Otto, and Richard Wilke. He has received no explicitly listed scientific awards in the provided text, but his sustained editorial roles and leadership in major research networks indicate high recognition in the field. His research group, associated with the Mathematical Foundations of Informatik, has been active for decades, with current members including Sophie Brinke and former members forming a substantial list of researchers in logic and theoretical computer science. The group has contributed significantly to algorithmic model theory, automata, and logic games.
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.
Marcelo Arenas is a Professor at the Department of Computer Science and the Institute for Mathematical and Computational Engineering at the Pontifical Catholic University of Chile. He is a Fellow of the Association for Computing Machinery (ACM), former director of the Millennium Institute for Foundational Research on Data, and co-founder of the Center for Semantic Web Research. His Ph.D. in Computer Science was obtained from the University of Toronto in 2005. Research interests include data management , applications of logic in computer science , and Semantic Web technologies. He has published extensively on topics such as SPARQL query complexity , graph database systems , and incomplete database theory , with notable works like MillenniumDB and Foundations of Data Exchange . Scientific accolades: 2016 SWSA Ten-Year Award for "Semantics and Complexity of SPARQL" IBM Ph.D. Fellowship (2004) Nine Best Paper Awards across PODS, ISWC, ICDT, ESWC, WWW, and NeurIPS His work on approximate counting algorithms (e.g., FPRAS for #NFA) and explainable AI frameworks has influenced database theory, while serving on program committees for ICDT 2015, ISWC 2015, and PODS 2018 demonstrates leadership in the field. Current projects focus on probabilistic explanations for decision trees and temporal regular path queries in knowledge graphs.
Emilio Jesús Gallego Arias is a non-tenured Research Fellow at the French National Center for Scientific Research (CNRS), hosted at the Institute of Fundamental Computer Research (IRIF) of CNRS and University of Paris Cité. He is also a member of the PiCube Inria team. Previously, he held postdoctoral positions at the University of Pennsylvania (2012–2014) and MINES ParisTech (2014–2019). His research spans mechanically-verified functional and logic programming , with a focus on the Coq proof assistant and the Mathematical Components Library . He develops tools like coq-lsp (language-server for Coq IDEs) and jsCoq (web interface), replacing earlier projects like SerAPI . His work bridges programming language theory , digital signal processing , and formal verification , particularly in the ANR FEEVER project for verifying Faust programs. His 15 most recent works (2014–2024) address type systems , differential privacy , and formal verification in domains like audio processing and mechanism design . Publications span journals (e.g., Journal of Privacy and Confidentiality), conferences (ICML, POPL, FARM), and workshops (CoqPL, UITP). He contributes to open-source projects (GitHub), including DFuzz (linear dependent types), DualQuery (privacy algorithms), and RAM (relational machine). He uses formal methods in collaborative development platforms (Gitter, GitLab) and advocates for free software and accessible audio technology .
Dr. Leopold Parts is a Group Leader at the Wellcome Sanger Institute, where he leads the Parts Group within the Human Genetics Programme and the Generative and Synthetic Genomics Programme. His research focuses on understanding human DNA function through genome engineering approaches, combining experimental and computational methods to study how genetic variation affects cellular traits. Parts received his undergraduate education at MIT, double majoring in Computer Science and Mathematics, before earning his PhD in Molecular Biology from the University of Cambridge in 2011 under Richard Durbin. His doctoral work on sources of variation in gene expression earned him the Grand Prize of life sciences PhDs in Estonia. He then completed postdoctoral training as a Canadian Institute for Advanced Research Global Scholar at the University of Toronto with Brenda Andrews and Charles Boone, followed by a Marie Curie Fellowship at EMBL Heidelberg and Stanford University with Lars Steinmetz. His research program integrates genome engineering, high-throughput screening, and computational modeling to understand how DNA sequence variation affects cellular phenotypes. The Parts Group develops tools for genetic perturbations using CRISPR/Cas, prime editing, and recombinase systems to create cell lines for randomization, screening, and evaluation. They combine these experimental approaches with probabilistic modeling to analyze large-scale genetic screens and their outputs. The analysis of Parts' recent publications reveals a strong focus on genome engineering technologies, particularly CRISPR-based approaches. His work spans multiple applications including predicting editing outcomes, developing tools for structural variant engineering, and applying these techniques to understand human disease mechanisms, particularly in cancer. His research bridges computational biology and experimental genomics, with increasing emphasis on single-cell technologies and clinical applications. Grand Prize of life sciences PhDs in Estonia Parts leads a diverse research team including postdoctoral fellows, advanced research assistants, and PhD students, with current members including Dr. Alistair Dunham, Mr. Gareth Girling, Elin Madli Peets, and Isabelle Zane. His group collaborates extensively with other research teams at the Sanger Institute, including the Cancer Dependency Map, Cellular Generation, and Cellular Screening groups. The Parts Group is part of the broader Human Genetics Programme, which aims to understand the genetic causes and biological mechanisms of disease susceptibility. The Parts Group maintains strong collaborations with external partners including the Open Targets consortium and the Cancer Dependency Map initiative. Their work combines laboratory-based genome engineering with computational analysis to address fundamental questions about human genome function.
Achim Rettinger is a full professor at Trier University, leading the research group krAil (Knowledge Representation Learning). He specializes in machine learning, natural language understanding, and human-centered AI. His work focuses on expressive knowledge representations and their applications in semantic technologies. Education: Studied Computer Science at Universität Koblenz (Germany), University of Georgia (USA), and University of Alberta (Canada). PhD in machine learning at TU Munich/Siemens AG, followed by habilitation at KIT (2016). Served as interim professor at Karlsruhe Institute of Technology (2018/19). Research interests include knowledge graphs, cross-lingual semantic annotation, and data-driven analysis in political and medical domains. Notable contributions include the X-LiSA framework and work on semantic web technologies. Awards include best paper and challenge awards at ISWC and ESWC conferences. Leadership roles include senior PC member at ISWC, track chair at ESWC, and membership in AI for Good Foundation. Active in EU projects, DFG grants, and large-scale collaborative initiatives. Key projects: BreXearch (cross-lingual Brexit analysis), xLiMe System (semantic search), and medical decision support systems for liver surgery. Collaborates with interdisciplinary teams on cognition-guided surgery and data integration. Publications span top venues like ISWC, NeurIPS, ICLR, and CVPR, with a focus on semantic web, machine learning, and applied AI solutions.
Dr. Kinga Lipskoch is a Distinguished Lecturer of Computer Science at the School of Computer Science & Engineering, Constructor University Bremen. She holds a Ph.D. in Computer Science from Carl von Ossietzky University of Oldenburg (2008–2012), a Master's in Computer Science from Transilvania University of Brașov (2005–2006), and a Diploma in Mathematics and Computer Science from the same institution (2001–2005). Her professional experience includes postdoctoral research at Jacobs University Bremen and visiting lectureships at Hamburg University of Applied Sciences and Transilvania University of Brașov. Her research focuses on distributed systems, data management, probabilistic algorithms, and big data analytics in earth sciences. Key areas include probabilistic quorum systems for improving data consistency and operation availability, array analytics for geospatial data, and algorithm design for optimization problems. She has also contributed to software engineering projects, such as text parsing tools for bilingual dictionaries and desktop applications for institutional resource management. Her work bridges theoretical computer science with practical applications, addressing challenges in distributed computing, environmental data analysis, and educational software development.
Lukas Laskowski is a researcher at the Hasso Plattner Institute (HPI) in Potsdam, Germany, affiliated with the Information Systems Group under Prof. Felix Naumann. His work bridges database systems, machine learning, and real-world applications, with publications in premier venues including SIGMOD, NeurIPS, and BTW. He maintains an active research profile with multiple forthcoming publications through 2026. His research concentrates on data matching and integration , where he pioneers explainable methods and active learning frameworks. He significantly contributes to ontology learning from relational databases through benchmark development and explores event sequence modeling with mixed data types. His interdisciplinary work extends to computer vision for ecological conservation, specifically developing open-set re-identification systems for wildlife monitoring in natural habitats. Analysis of his publication trajectory (2022-2026) reveals a cohesive evolution from foundational platform development (Frost) to sophisticated benchmarking (Burr) and explainability in data matching. His research increasingly integrates machine learning with database systems to address data quality challenges for AI applications, while maintaining strong connections to ecological and biomedical domains through projects like GorillaVision. Scientific Awards: No awards listed in available information Advising and Grants: No specific information regarding advised students or secured grants appears in the provided materials, though he participates in master's thesis supervision through group activities. Labs and Teams: Laskowski operates within the Information Systems Group at HPI, contributing to major initiatives including Metanome (large-scale data profiling), KITQAR (data quality for AI applications), and Metis (data quality assessment). The group emphasizes open-source tool development, reproducibility, and cross-institutional collaboration in data management research.
Anthony Widjaja Lin is a Full Professor (W3) in Theoretical Computer Science (Automated Reasoning) and Max-Planck Fellow at University of Kaiserslautern-Landau, Germany. Previously, he was an Associate Professor in Programming Languages at Oxford University Department of Computer Science and Governing Body Fellow at Kellogg College (2016-2019), and an Assistant Professor at Yale-NUS, Singapore (2014-2016). He completed his PhD in Informatics at University of Edinburgh in 2010 under Leonid Libkin (supervisor) and Richard Mayr (co-advisor). Dr. Lin's educational background includes: PhD in Informatics, University of Edinburgh (2010) MSc, University of Toronto BSc (Honours), Melbourne University Dr. Lin's research focuses on automated reasoning, particularly over strings, formal language theory, learning/synthesis, and foundations of machine learning. His work has significant applications in software verification, program synthesis, querying graph databases, and computer security. He leads the development of the OSTRICH string solver, which won the QF_S (Single Query Track) in SMT-COMP 2023. His research has evolved from foundational work on string constraint solving to applications in verification of string-manipulating programs and more recently to connections with machine learning models like transformers. Dr. Lin has received numerous prestigious awards including an ERC Consolidator Grant (2023), Amazon Research Award (2021), ERC Starting Grant (2017), Google Faculty Award (2017), and the LICS Kleene Award (2010). Dr. Lin has advised several PhD students to completion, including Pascal Bergsträßer, Chih-Duo Hong, and Xuan-Bach Le, who have gone on to become Assistant Professors at institutions like National Chingchi University and Nanyang Technical University. He currently supervises multiple PhD students and postdocs working on string solving, automated reasoning, and verification. Dr. Lin leads the AV-SMP project (Algorithmic Verification of String-Manipulating Programs), which was supported by an ERC Starting Grant (2017-2022) and an Amazon Research Award (2021). His research group develops tools like OSTRICH, SLOTH, and CertiStr for string constraint solving and verification.
Saeed Amizadeh is a prominent researcher specializing in artificial intelligence and machine learning, currently affiliated with Microsoft's research division. His work spans multiple domains of AI including speech processing, natural language understanding, computer vision, and time series analysis, with a particular focus on developing novel frameworks that bridge symbolic reasoning with neural approaches. Over the past decade, he has established himself as a significant contributor to the field through publications in top-tier conferences including ICASSP, ICLR, AAAI, KDD, and IJCAI. Dr. Amizadeh's research interests primarily center around advancing the theoretical foundations and practical applications of machine learning systems. His work on neuro-symbolic visual reasoning has contributed to understanding how to effectively disentangle visual perception from logical reasoning in AI systems. He has made significant contributions to differentiable programming, particularly in making classical machine learning pipelines fully differentiable, which enables end-to-end optimization of complex ML workflows. His research on speech enhancement using GANs represents cutting-edge work in audio processing, while his time series anomaly detection frameworks have practical applications in numerous industry settings. Analysis of his publication trends reveals a consistent trajectory from theoretical machine learning foundations toward increasingly applied research with practical industrial relevance. His early work (2010-2015) focused on fundamental algorithms and probabilistic modeling approaches, while his more recent publications (2019-2025) demonstrate a shift toward practical AI systems with direct applications in speech processing, audio separation, and enterprise machine learning. A notable theme throughout his career is the development of frameworks that enable more efficient, scalable, and interpretable AI systems. As a key contributor to Microsoft's ML.NET framework, Dr. Amizadeh has played an important role in developing tools that make machine learning more accessible to enterprise developers. His collaborative work spans academia and industry, with notable partnerships with researchers from various institutions as well as within Microsoft Research.
Sharad Kumar Gupta is a Guest Scientist at the Helmholtz-Centre for Environmental Research - UFZ in Leipzig, Germany, and a Scientist at the Center for Advanced Systems Understanding (CASUS) in Görlitz. His research focuses on remote sensing , environmental informatics , and geospatial data analysis with applications in ecological modelling , UAV technology , and environmental risk assessment . Education Ph.D. in Remote Sensing (2015) - Indian Institute of Technology Mandi M.Tech in Geoinformatics (2014) - NIT Bhopal B.Tech in Computer Science (2011) - Uttar Pradesh Technical University Research Highlights Developed Drone4Tree cloud platform for UAV-based tree canopy detection Specialized in hyperspectral data scaling and agricultural stress monitoring Published extensively on environmental data integration , geophysical inversion , and urban green infrastructure Affiliations Dept. Monitoring and Exploration Technologies, UFZ Dept. Earth Systems Research, CASUS (HZDR) Key Publications address landslide susceptibility mapping , UAV-based environmental monitoring , machine learning applications in agriculture, and multi-method data integration for subsurface analysis. His work appears in journals like EGU General Assembly , Permafrost Periglacial Processes , and Environmental Earth Sciences .
Gianmaria Silvello is a researcher at the University of Padua , Department of Information Engineering. His work spans data science, biomedical informatics, algorithmic fairness, and digital libraries. Research Interests : Knowledge Graph Accuracy Estimation Ethical AI & Data Governance Biomedical Data Curation Algorithmic Fairness & Bias Auditing Digital Library Systems Provenance Tracking in Research Notable Contributions : Co-developer of the CoreKB medical knowledge base platform, TBGA gene-disease dataset, and MedTAG biomedical annotation tools. His 2025 work on database impact metrics with Buneman et al. redefines data citation analysis. Collaborative Networks : Partnerships with institutions across Italy, Switzerland, and Spain, including projects like BRAINTEASER for ALS/MS patient data and iDPP@CLEF for disease progression prediction challenges.
Stanley B. Zdonik is a Professor at Brown University , Providence, USA. His research focuses on Database Systems , Stream Processing , and Data Management , with recent work addressing challenges in Observability , Encrypted Databases , and Time-Series Anomaly Detection . He has contributed to systems like Borealis, C-Store, and SciDB, emphasizing scalability and real-time processing. Key themes in his work include Stream-Oriented Query Languages , High-Frequency Telemetry , and Transactional Systems . His 15 most recent publications span topics in Polystore Architectures , Database Encryption , and Interactive Data Exploration , reflecting a career-long commitment to advancing database theory and practice. As a principal investigator, Zdonik has collaborated with leading researchers like Michael Stonebraker , Nesime Tatbul , and Ugur Çetintemel . His work often intersects with Distributed Systems , Uncertainty Modeling , and Performance Optimization .
