Nicole Schweikardt is a Professor at the Institute of Computer Science within Humboldt University of Berlin . Her research focuses on Theoretical Computer Science , particularly in Database Theory , Formal Logic , and Algorithmic Meta-Theorems . Academic Rank: Professor Contact: schweikn@informatik.hu-berlin.de Research Interests : Nicole investigates logical characterizations of database query languages, algorithmic meta-theorems for sparse graphs, and efficient enumeration techniques. Her work bridges formal logic, computational complexity, and practical database systems. Scientific Awards : 2018 ACM PODS Alberto O. Mendelzon Test-of-Time Award Recent Article Trends : Nicole's recent publications emphasize schema matching , spanner evaluation , first-order logic extensions , and query enumeration . Her work spans theoretical foundations (e.g., counting quantifiers, Hanf normal forms) and practical applications (e.g., event stream analysis, document compression).
Zhiyuan Chen is a Professor and Chair of the Information Systems Department at the University of Maryland Baltimore County (UMBC). He holds a PhD in Computer Science from Cornell University, with prior work experience including a postdoc at Microsoft Research and research roles at AT&T and IBM. His research focuses on data privacy, adversarial machine learning, database systems, and semantic web technologies. Education: - PhD in Computer Science, Cornell University (2002) - MS and BS in Computer Science, Fudan University, China (1995-1997) Research Interests: - Privacy-preserving data mining and security - Adversarial learning and cybersecurity defenses - RDF triple stores and semantic data integration - Database query optimization and compression techniques Grants & Collaborations: - Principal Investigator on a $1.2M ONR grant (2018-2021) for secure federated data sharing - Collaborations with US Naval Academy on Rya triple-store enhancements Teaching: - Courses include Advanced Database Projects (IS 620), Database Management Systems (IS 633), and specialized topics in XML/Privacy Key Projects: - Developed MITRE-funded anonymization techniques for network traces - Designed a situation-aware access control framework for coalition environments - Led NSF-funded work on privacy-preserving classification methods
Pietro Sala is an Associate Professor at the University of Verona , Department of Computer Science. His research intersects Temporal Data Mining , Biomedical Decision Support Systems , and Formal Verification of temporal logic specifications. Key Research Areas: Interval Temporal Logic and Model Checking Temporal BPMN for healthcare processes Data fusion in clinical environments Algorithm design for repetitive task automation Notable Projects: Dioxin impact analysis on cardiovascular development Open-source clinical data warehousing (DW-SAN) Real-time system verification frameworks Teaching: Lecturer for Biomedical Decision Support Systems (Master's) Instructor for Data Mining and Software Engineering courses The articles highlight his work in temporal logic verification (2025), clinical process modeling (2024-2025), and data integration for NLP pipelines (2023). His publications span theoretical computer science conferences (LICS, ICALP) and healthcare informatics journals (ICHI, CBM).
Junkang Feng is a Senior Lecturer in the School of Computing, Engineering and Physical Sciences, with visiting professor roles at Beijing Union University and Donghua University in China. He is a core member of the Database and Knowledge Management Research Group, focusing on database theory, information systems, and soft systems methodology. His research emphasizes complex system alignment, smart manufacturing frameworks, and information flow theory applications. His research spans over two decades, with 228 publications (including 129 refereed papers) and significant funded projects such as the EU-funded NCEC collaboration (€1M, 2000-2002). He has supervised 8 PhD students to completion, currently guiding 3 more, and examined 3 theses. Collaborations include Fraunhofer IPA (Germany), the James Hutton Institute (UK), and Tantrum XYZ London. Key research areas include database systems (relational/NoSQL), information theory applications, and soft systems thinking in education management. He explores big data solutions, interoperability in smart manufacturing, and conceptual knowledge discovery via information channels.
Lisa Ehrlinger is a Senior Researcher at the Information Systems Research Group within the Digital Engineering Faculty of the University of Potsdam. She holds a PhD in Engineering Sciences ("passed with distinction") and an MSc in Computer Science from Johannes Kepler University Linz (JKU), both with distinction. Her work bridges academic research and industrial application. Her research focuses on Data Quality , Knowledge Graphs , Ontologies , Semantic Technology , Data Catalogs , and Data Integration , particularly with NoSQL databases. She has over 7 years of applied research experience at the Software Competence Center Hagenberg GmbH (SCCH), including project management and team leadership. Her recent publications emphasize SHACL validation , Data Stream Pollution , Dashboard Design , and Ontology-Driven Analysis , reflecting trends in data quality automation , semantic modeling , and industrial data governance . She co-chaired the Quality of Databases (QDB) workshop (2023, 2024) and serves on the MIT CDOIQ Symposium review board (since 2023). Her outreach includes lecturing at JKU and reviewing for journals like ACM Journal of Data and Information Quality (JDIQ) and Elsevier Journal of Information Fusion .
James A. Hendler is a Professor at Rensselaer Polytechnic Institute, renowned for pioneering work in Artificial Intelligence, Semantic Web, and Web Science. His research spans knowledge graphs, explainable AI, and biomedical informatics Rensselaer Polytechnic Institute, Troy, NY, USA Research Interests : Hendler's work bridges AI and Semantic Web technologies, focusing on knowledge integration, quantum machine learning applications, and mental health prediction through NLP. He develops explainable systems for medical imaging and contributes to open government data frameworks Publications & Collaborations : Recent articles highlight collaborations in quantum ML for climate modeling, clinical decision support semantics, and chest X-ray pathology explainability. He explores active learning architectures and human-in-the-loop AI systems Scientific Recognition : AAAS Fellow ACM Fellow AAAI Fellow Advising & Grants : Co-authored over 100 publications with researchers in biomedical NLP, quantum computing, and social network analysis. Key grants include NIH and NSF funding for semantic health data projects
Dong Deng is an Associate Professor in the Department of Computer Science at Rutgers University, School of Arts and Sciences. He joined Rutgers University in 2019 as an Assistant Professor and has since been promoted to Associate Professor. His research is conducted through the Data Curation Lab within the Database Group. Dong Deng received his PhD from Tsinghua University and completed postdoctoral training at MIT CSAIL. His academic journey has positioned him as a leading researcher in database systems and data management. Dong Deng's research focuses on data management, data science, and database systems, with an emphasis on developing novel algorithms and building practical systems to address data problems. His primary research areas include scalable data curation (covering textual, structured, and feature data curation), data manipulation and wrangling at scale, data integration, data cleaning, data discovery, and scientific dataset management. His work bridges theoretical foundations with practical implementations, particularly in the areas of similarity search, approximate nearest neighbor algorithms, and data integration techniques. His research has significant applications in big data processing, entity resolution, and data lake management. Dong Deng has published extensively in top venues including SIGMOD, PVLDB, and ICDE. His recent publications demonstrate a strong focus on near-duplicate detection, efficient algorithms for similarity search, and data curation techniques. His work shows a consistent trajectory toward more complex and scalable solutions for data management challenges, with increasing emphasis on high-dimensional data and large language model applications. NSF III: Small: Large-Scale High Dimensional Dense Vector Management (2022) NSF CDSE: Computation-Informed Learning of Melt Pool Dynamics for Real-Time Prognosis (2022) SIGMOD Student Programming Contest 2022 Second Place Dong Deng has secured significant research funding and actively mentors students. He has served in various leadership roles within the academic community including Digital Platform Chair for VLDB 2023 and Student Mentorship co-Chair for SIGMOD 2022 and 2021. He teaches advanced courses in database systems and data management at Rutgers University. Dong Deng leads the Data Curation Lab, which focuses on developing innovative solutions for data management challenges. The lab has produced influential research with practical applications across multiple domains requiring sophisticated data processing capabilities.
Qian WANG is a Lecturer at the Faculty of Law of Université de Montréal, contributing to both teaching and interdisciplinary research. Her work bridges legal education with advanced computational methods, though her recent publications primarily focus on artificial intelligence and computer science. Research interests span a broad spectrum including artificial intelligence, machine learning, natural language processing, and computer vision. Her work often intersects with systems-level challenges such as operating system control and cognitive modeling, demonstrating a unique interdisciplinary approach. Publications reflect a trajectory from foundational contributions in graph theory and saliency detection (2020-2021) to cutting-edge advancements in large language models and reasoning frameworks (2023-2025). Key themes include improving AI capabilities through dynamic reasoning mechanisms and exploring the ethical dimensions of autonomous systems. No academic awards or grants are explicitly noted in the provided materials, though her prolific publication record indicates active research engagement. She currently holds no listed advisees or doctoral supervision roles. Labs or collaborative teams associated with her research are not detailed in the available information.
Mantas Simkus is an Assistant Professor at TU Wien's Institute of Logic and Computation, affiliated with the Database and Artificial Intelligence Group. He previously held an Associate Professor position at Umeå University (Sweden) within the Wallenberg AI, Autonomous Systems and Software Program (WASP). He leads the FWF-funded project 'KtoAPP: Compiling Knowledge into Applications' and contributes to the Cluster of Excellence 'Bilateral Artificial Intelligence'. His research focuses on logic-based data management, knowledge representation, and nonmonotonic reasoning, with applications in semantic web technologies and ontology engineering. Education: Bachelor's in Computer Science from Vilnius University. Research interests include logic programming, computational complexity, description logics, and their integration with databases. He explores techniques for efficient query answering, schema validation (e.g., SHACL), and reasoning under incomplete information. His work bridges theoretical foundations (e.g., complexity analysis, formal semantics) with practical systems (e.g., ontology-mediated query processing). Key projects include 'KtoAPP' (2018–2025), investigating automated knowledge compilation, and contributions to the 'SemDat' and 'OMEGA' initiatives. He teaches courses on deductive databases and semi-structured data at TU Wien. He actively participates in academic service: co-chair of RuleML+RR 2024, editorial board member of the Artificial Intelligence journal, and former co-chair of DL 2019. His research group collaborates on topics like graph databases, answer set programming, and hybrid knowledge representation systems.
Maxime Jakubowski is a PostDoc Researcher at TU Wien's Faculty of Informatics, affiliated with the Databases and Artificial Intelligence research group. Based in Room HA0320 at Favoritenstrasse 9, he can be contacted at maxime.jakubowski@tuwien.ac.at and maintains an ORCID profile (0000-0002-7420-1337). His research centers on graph data management within the Semantic Web ecosystem, specializing in RDF validation through shape constraint languages like SHACL and ShEx. He investigates formal foundations, expressiveness boundaries, and practical implementations including SQL compilation and neighborhood-based graph description. Current projects include FRESH (2021–2026), KtoAPP (2018–2025), and TARGET (2024–2028), focusing on graph data theory and implementation. Recent publications (2021–2025) demonstrate consistent contributions to RDF validation standards, with 14 articles addressing shape language formalization, compilation techniques, and provenance tracking. His work bridges theoretical database concepts with industrial applications in knowledge graph validation. Dr. Jakubowski supervises bachelor theses and teaches courses including Management of Graph Data (192.161) and Project in Computer Science. His research collaborations span international projects and the Dagstuhl Seminar 24102 on Shapes in Graph Data. He is an active member of the Databases and Artificial Intelligence research group, contributing to TU Wien's leadership in graph data management and Semantic Web technologies through both theoretical research and practical tool development.
Claudio Sacerdoti Coen is an Associate Professor in Computer Science at the Department of Computer Science and Engineering , University of Bologna. His research focuses on Mathematical Knowledge Management , Interactive Theorem Proving , and their applications to functional programming languages and markup languages like XML and MathML. He has led the DAMA project for didactic applications of theorem provers. Employment: Associate Professor (2017–present), previously Lecturer (2007–2017) Education: Ph.D. in Computer Science (University of Bologna, 2004), Master’s in Computer Science (2000) Research Interests include: Integration of XML-based Mathematical Knowledge Management with Interactive Theorem Provers (e.g., Coq, Matita) Reduction strategies in the Calculus of (Co)Inductive Constructions Formal verification of algorithms and compilers Constructive analysis and formal topology User interface design for proof assistants Publications over the last decade highlight advancements in: Efficient substitution mechanisms for lambda calculi Formalization of mathematical theorems (e.g., Lebesgue’s Dominated Convergence Theorem) Development of proof assistant frameworks (Matita kernel, ELPI interpreter) Mathematical document structuring and search engine design
Jeffrey F. Naughton is a Professor at the University of Wisconsin and works at Google Inc in Madison, WI, USA. His academic career spans decades with significant contributions to database systems, data mining, and privacy-preserving analytics. Research Interests : Distributed query processing and optimization Machine learning integration with relational databases Differential privacy in data analysis Scalable data warehousing systems Energy-efficient database architectures Temporal data management Article Trends : Over the past decade, Naughton's publications demonstrate a trajectory from foundational database optimization to modern challenges in scalable analytics and privacy-preserving techniques. Key themes include query execution prediction, workload summarization, and system design for big data environments. Scientific Awards : ACM Software System Award (2008) - Recognizing his contributions to database software systems Collaborative Network : He has collaborated with leading researchers including AnHai Doan (entity matching), Somesh Jha (privacy), and Stratis Viglas (query optimization), producing impactful work in SIGMOD, VLDB, and ICDE venues.
Radosław Klimek serves as a Professor at AGH University of Science and Technology in Kraków, affiliated with the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering within the Department of Applied Computer Science . His office is located in room C-2 404, and he maintains active contact through email and office hours (Thursdays 11:00-12:00). His research centers on formal methods and software verification , with significant contributions to context-aware systems , logical specifications , and process mining . Key areas include: Deduction-based verification of behavioral models Automatic generation of logical specifications Smart environment applications for rescue operations and tourism Temporal logic applications in software engineering His work bridges theoretical computer science with practical implementations in environmental monitoring and public safety systems. His publication record demonstrates consistent output in high-impact venues, with recent focus on LLM integration for model verification (2025) and context-aware systems for forest monitoring (2024). The research trajectory shows evolution from foundational work in temporal logic (1990s) to contemporary applications in smart environments and AI-assisted verification. No scientific awards were explicitly mentioned in the source materials. Professor Klimek maintains active teaching responsibilities with defined office hours for student consultations. His research spans multiple domains including smart city infrastructure, environmental monitoring systems, and formal verification frameworks. Current projects involve context-aware systems for mountain rescue operations and police interventions, leveraging sensor networks and real-time data processing. His laboratory work focuses on contextual data modeling and deduction-based verification systems , with practical implementations in: Forest monitoring networks Intelligent queue management Tourist assistance applications Smart contract validation These projects integrate formal methods with real-world environmental and public safety challenges.
Dr. Abdolreza Haririan is a Professor of Medicine in the Division of Nephrology at the University of Maryland School of Medicine, serving as Medical Director of the kidney and pancreas transplant programs and Director of the Transplant Nephrology Fellowship Training Program at the University of Maryland Medical Center. His educational background includes: MD from Tehran University of Medical Sciences MPH from Johns Hopkins Bloomberg School of Public Health Internship and Residency at Detroit Medical Center/Wayne State University Nephrology Training at Johns Hopkins Hospital Transplant Nephrology Fellowship at University of Maryland Medical Center Dr. Haririan's research centers on transplant nephrology with emphasis on antibody-mediated graft injury in kidney transplantation, BK virus nephropathy, non-traditional risk factors for poor outcomes, pancreas allograft rejection, and immunosuppression optimization. His work investigates mechanisms of rejection, risk factor identification, and therapeutic strategies to improve long-term graft and patient survival in kidney and pancreas transplantation. Analysis of his publication record reveals dominant themes in antibody-mediated rejection diagnostics (including Banff classification systems), serological/histological markers, and management protocols. His research also explores metabolic factors like uric acid, infectious complications such as BK virus nephropathy, and novel treatments including Acthar for transplant glomerulopathy, demonstrating consistent focus on improving transplant outcomes through mechanistic understanding and clinical innovation. No scientific awards were mentioned in the provided text. As principal investigator for multiple investigator-initiated cohort studies and clinical trials, Dr. Haririan has mentored numerous residents, fellows, and junior faculty in renal and transplant medicine. He currently leads a single-center trial investigating Acthar for transplant glomerulopathy treatment, reflecting his commitment to translating research into clinical practice. He serves on editorial boards for Clinical Nephrology and Transplantation journals while reviewing for approximately 20 major publications including the Journal of the American Society of Nephrology and American Journal of Transplantation. His professional affiliations include the American Society of Nephrology, International Society of Nephrology, American Transplant Society, and Transplantation Society, underscoring his active role in advancing transplant medicine through scholarly contribution and collaboration.
Anton Dignös is a professor at the Free University of Bozen-Bolzano , specializing in temporal databases , time series analysis , and database systems . His research focuses on efficient query processing for interval data, temporal joins, and schema design, with significant contributions to in-memory and time series databases. Key research areas include: Temporal Data Management : Advanced techniques for interval and duration queries. Time Series Analytics : Machine learning integration and pattern detection. Schema Optimization : Automated design and tuning of database schemas. Visual Analytics : Tools for period data comparison and correlation analysis. His work spans collaborations with researchers like Johann Gamper and Michael H. Böhlen , addressing challenges in healthcare systems, industrial applications, and financial data analytics. Notable contributions include algorithms for temporal anti-joins , range-duration queries , and machine learning-based anomaly detection .
