جست‌وجوی استاد و پژوهشگر

Patrick Lambrixمشاهده پروفایل

استاد

• Semantic Web
• Databases
• Knowledge Engineering
• +۳ مورد دیگر

Patrick Lambrix is a Professor and Head of the Division for Database and Information Techniques at Linköping University's Department of Computer and Information Science (IDA). He holds a MSc in Mathematics and Computer Science from KU Leuven and a PhD from Linköping University. His expertise spans semantic web technologies, ontology engineering, and sports analytics. He leads the Database and Web Information Systems group and co-founded the Sports Analytics research group at IDA. Research interests include knowledge engineering applications in materials science and life sciences, ontology alignment, and performance metrics in sports. He coordinates the Master in Computer Science program and serves as Director of Studies. Notable contributions include award-winning systems in ontology debugging and completion, and organizing the Linköping Hockey Analytics Conference (LINHAC). Education: MSc (Mathematics & Computer Science, KU Leuven, 1988/1990), PhD (Linköping University, 1996) Leadership Roles: Head of ADIT Division, Director of Studies, WASP program participant Research Groups: Database & Web Info Systems, Semantic Web, Sports Analytics Publications focus on ontology engineering advancements and sports analytics innovations, with recent work on hockey performance metrics and ontology alignment methodologies. His teams collaborate with industry and sports organizations to apply semantic technologies in real-world scenarios.

Marina De Vosمشاهده پروفایل

مدرس ارشد

• Answer Set Programming
• Normative Multi-Agent Systems
• Knowledge Representation
• +۳ مورد دیگر

Dr. Marina De Vos is a Senior Lecturer in the Department of Computer Science at the University of Bath. She leads research in knowledge representation and normative systems, with affiliations to multiple research centers including the Centre for Mathematical Biology and UKRI CDT in Accountable AI. Education: Postgraduate Certificate in Learning and Teaching in Higher Education, University of Bath (2010) Doctor of Science in Computer Science, Vrije Universiteit Brussel (2002) Master of Computing, Vrije Universiteit Brussel (1998) Research focuses on declarative programming paradigms, particularly Answer Set Programming (ASP) and normative multi-agent systems. Her work enables intuitive problem description in knowledge representation languages, with applications spanning structural engineering, music composition, legal reasoning, and policy modeling. Additional research interests include inductive machine learning, explainable AI, hybrid AI systems, and game theory. Recent publications demonstrate strong focus on norm synthesis in multi-agent systems, contextual reasoning, and governance frameworks for autonomous systems. This reflects a consistent pattern of applying formal computational methods to social and ethical dimensions of AI. Professional activities include keynote presentations at international conferences, workshop chair roles for major AI events, and external PhD examination responsibilities across European institutions.

• Spatial Data Infrastructure (SDI)
• GIS Applications
• Machine Learning in Geoinformatics
• +۳ مورد دیگر

Iwona Kaczmarek is a Professor in the Department of Systems Research at the Wrocław University of Science and Technology's Faculty of Spatial Management and Landscape Architecture. Her work focuses on advancing spatial data infrastructure (SDI), geoinformatics, and machine learning applications in urban and regional planning. She leads interdisciplinary research integrating GIS, natural language processing (NLP), and graph neural networks to address challenges in spatial planning, policy analysis, and socio-economic modeling. Research interests include: Spatial data integration and interoperability Machine learning for geospatial analysis Semantic web technologies for open data Urban sustainability and transit-oriented development Policy text mining and stakeholder analysis Recent work emphasizes: 1. Combining media sentiment analysis with economic indicators during crises (2025) 2. GeoAI-driven quality of life predictions using graph neural networks (2023) 3. Knowledge graph extraction from spatial development plans (2023) 4. Harmonizing local planning documents via NLP (2022) Collaborations include projects like the EYE initiative analyzing remote sensing for economic trends and SDI implementations in academic contexts. Over 75 documented outputs highlight her contributions to geospatial innovation and policy-relevant research.

Uli Sattlerمشاهده پروفایل

استاد

• Description Logics
• Automated Reasoning
• Ontology Engineering
• +۴ مورد دیگر

Uli Sattler is a Professor in the Computer Science Department at the University of Manchester, specializing in logics for knowledge representation and automated deduction. He holds a PhD from RWTH Aachen (1998) and a habilitation from TU Dresden (2003). His research focuses on Description Logics, ontology engineering, and their applications in fields like molecular biology. He contributes to ontology languages such as OWL and develops practical inference algorithms. Research Interests: Description Logics, automated reasoning, ontology engineering, and their integration with AI systems. His work addresses challenges like module extraction, entailment explanation, and decision procedures using automata and tableau techniques. Awards: Best Paper Award (2008) ISWC Best Student Paper Award (2011) SWSA Ten-Year Award (2018) Advising & Grants: Supervised 17 students and participated in initiatives like Gender Advancement through Transforming Institutions. Active in organizing conferences and peer-review panels. Labs/Teams: Part of the Information Management Group and the Data Science Institute at the University of Manchester.

Sabrina Azziمشاهده پروفایل

مدرس

• Digital Health
• Artificial Intelligence
• Health Informatics
• +۶ مورد دیگر

Sabrina Azzi is a Lecturer in Digital Business at the University of the West of Scotland’s School of Business & Creative Industries. She holds a PhD in Computer Science from the University of Quebec in Outaouais, specializing in Health Informatics and Ontology Engineering, with a research fellowship at the Canadian House of Commons. Her expertise spans telehealth evaluation, digital health for seniors, user experience design, ontology engineering, and AI-driven decision systems. She contributes to UN Sustainable Development Goals related to health and innovation. External roles include PhD examiner at Glasgow Caledonian University (2025), University College Birmingham (2025–2029), and Heriot-Watt University (2023). She leads the Desinformation Applications Lab-Canada and serves as an examiner at Université du Québec en Outaouais since 2024. Research interests focus on smart homes for assisted living, parliamentary analytics, and digital health policy. Notable awards include the 2024 Innovative Teaching Award and 2018 Two Cities, Curious Minds recognition. Her work bridges technology and societal challenges, particularly in aging populations and healthcare system modernization. Collaborations span Canada, Algeria, and the UK, addressing global health and digital transformation challenges.

Josiah Wangمشاهده پروفایل

استاد آموزشی

• Artificial Intelligence
• Computer Vision
• Natural Language Processing
• +۳ مورد دیگر

Josiah Wang is a Senior Teaching Fellow in the Department of Computing at Imperial College London, where he also serves as the degree coordinator and admissions tutor for the MSc Computing program. He teaches Python Programming and Introductory Machine Learning courses. Previously, he held postdoctoral research positions at Imperial College London and the University of Sheffield, focusing on Artificial Intelligence with specializations in Computer Vision and Natural Language Processing. He earned his PhD in Computer Science from the University of Leeds (2013), advised by Katja Markert and Mark Everingham. His research explored cross-modal learning, including pioneering work on learning object recognition from textual descriptions and multimodal machine translation. Notable contributions include the MultiSubs dataset and methods for phrase localization without paired training examples. Education: PhD in Computer Science, University of Leeds (2013) MSc in Computing, University of Leeds (2007), supervised by David Hogg Research Interests: Josiah's work bridges AI and human cognition, emphasizing systems that learn from limited data and integrate multiple modalities. His contributions span visually descriptive language annotation, image captioning, and multimodal translation. Though no longer active in active research, his legacy includes foundational papers on object recognition from text (BMVC 2009) and unsupervised phrase localization (ICCV 2019). Grants & Projects: MultiMT and MMVC projects (Imperial College London) CHIST-ERA ViSen project (University of Sheffield) Labs & Teams: Collaborated extensively with interdisciplinary teams at Imperial, Sheffield, Lyon, and Barcelona, including work on multimodal machine translation and visual grounding systems.

Albert Qiaochu Jiangمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning
• Theorem Proving
• Artificial Intelligence
• +۳ مورد دیگر

Albert Qiaochu Jiang serves as a Visiting Research Fellow at the Department of Computer Science and Technology, University of Cambridge. His research integrates machine learning with formal theorem proving, focusing on neural theorem provers and mathematical reasoning systems. He leads the reasoning team at Mistral AI while maintaining academic supervision at Cambridge. His research interests center on machine learning for theorem proving , with specific expertise in neural-symbolic integration, autoformalization, and large language models for mathematical reasoning. His work bridges artificial intelligence with formal verification, developing systems that enhance automated reasoning capabilities through neural networks. Current projects involve improving premise selection for theorem provers, multilingual mathematical formalization, and creating efficient architectures for mathematical language models. Analysis of his recent publications reveals a strong focus on advancing neural theorem proving through innovative architectures like Target-Based Automated Conjecturing and Magistral. His research trajectory shows increasing sophistication in integrating language models with formal verification systems, with significant contributions to datasets like Numinamath and frameworks like Llemma. Key trends include optimizing compute efficiency in proof generation, enhancing multilingual mathematical reasoning, and developing interactive human-AI collaboration systems for formal mathematics. While no scientific awards are currently documented in available sources, his research output demonstrates significant impact in the intersection of AI and formal methods. As leader of Mistral AI's reasoning team, Jiang directs research on neural theorem proving systems while contributing to academic supervision at Cambridge. His work involves substantial industrial-academic collaboration, leveraging resources from both institutional contexts to advance mathematical AI. Current projects focus on creating practical systems for mathematical automation with real-world verification applications. His research operates at the intersection of academia and industry through Mistral AI's reasoning team, where he develops neural theorem proving systems with practical applications in formal verification. This dual affiliation enables rapid translation of theoretical advances into deployable tools for mathematical automation.

Nicholas Carمشاهده پروفایل

استاد مدعو

• Semantic Web
• Linked Data
• Graph Data Structures
• +۷ مورد دیگر

Nicholas Car is an Adjunct Professor at the School of Computing, Australian National University. Previously a CSIRO research engineer, he now primarily works in the private sector developing Semantic Web-based products and consulting. His research focuses on improving Semantic Web tools and theory, including data validation, API auto-generation, model profiling, and fuzzy spatial data models. He holds qualifications of BEng (Elec) from the University of Sydney and a PhD from the University of Melbourne. Nicholas is actively involved in international standards development through ISO, OGC, and W3C, as well as Australian government data committees like the IT-004 Standards Australia group. He maintains open-source tools such as Python's RDFlib to support research and development.

• Human-Computer Interaction (HCI)
• User Experience (UX)/Usability
• Domain Analysis
• +۳ مورد دیگر

Michaela Bačíková is an Assistant Professor at the Faculty of Electrical Engineering and Informatics (FEI) of the Technical University of Košice (TUKE). Her research focuses on Human-Computer Interaction (HCI), domain usability, and domain analysis, with an emphasis on graphical user interfaces (GUIs), domain-specific languages (DSLs), and gesture-driven interaction. She leads the development of the DEAL tool, a domain analysis framework for extracting domain models from software systems. Her teaching includes courses on component-based programming, web technologies, and user interface design. Research Projects: DEAL (Domain Extraction ALgorithm) : A tool for analyzing GUIs to generate DSLs, ontologies, and usability metrics. EU Project: 'Evolving Architectural Knowledge in the Edge-to-Cloud Continuum' (participant). Educational initiatives: Integrating gesture-driven IDEs and social networks for mentoring in programming courses. Research Interests : Automated domain usability evaluation using DEAL. DSL-driven GUI generation and feature modeling. Innovations in teaching software development and user experience design. Grants & Labs : Recipient of FEI TUKE Grant no. FEI-2015-16 for domain usability metrics research. Active in the FEI lab developing DEAL and related tools.

Dalia Suliemanمشاهده پروفایل

دانشیار

• Search Algorithms
• Machine Learning
• Knowledge Graphs
• +۲ مورد دیگر

Dalia Sulieman is an Associate Professor in the Department of Mathematics, Computer Science, and Data Science at John Carroll University , where she joined in Fall 2022. Previously, she served as an Assistant Professor at Metropolitan State University in Saint Paul, Minnesota, for seven years. Her academic focus is on teaching computer science, curriculum development, and research in search algorithms, machine learning, and knowledge graphs applied to social network analysis and recommender systems. Ph.D. in Computer Science, Cergy-Pontoise University, France (2014) M.S. in Computer Science, Lille 1 University of Science and Technology, Lille, France (2009) B.S. in Computer Engineering, Aleppo University, Syria (2007) Her research explores the intersection of machine learning , knowledge graphs , and social network analysis , aiming to enhance recommender systems through semantic-social methodologies. She has contributed to curriculum design and educational innovation, including the publication of a SIGCSE case study on data science pedagogy. Dalia has served as Vice-Chair of the Twin Cities ACM professional chapter since 2019, fostering computing events and collaborations in the Upper Midwest. Her work bridges theoretical advancements in graph searching algorithms with practical applications in student-centric AI tools, such as virtual assistants for academic support.

Jeffrey D. Heflinمشاهده پروفایل

استاد

• Semantic Web
• Ontologies
• Artificial Intelligence
• +۳ مورد دیگر

Jeffrey D. Heflin is a Professor in the Department of Computer Science & Engineering at Lehigh University, leading the Semantic Web and Agent Technologies (SWAT) lab. His research focuses on semantic interoperability, ontology reasoning, and distributed knowledge systems. He is a pioneer in Semantic Web research, having authored the first Ph.D. dissertation on the topic. Heflin contributed to key Semantic Web languages like SHOE, DAML+OIL, and OWL, and developed the Lehigh University Benchmark (LUBM), a standard for evaluating large-scale Semantic Web systems. He holds a Ph.D., M.S., and B.S. in Computer Science from the University of Maryland and the College of William and Mary. His service includes editorial roles for the Journal of Web Semantics and organizing ISWC conferences, including co-chairing ISWC 2012. He received the 2004 NSF CAREER Award for his work on distributed ontology systems. Heflin's research addresses challenges in data discovery, table search, and neural-symbolic integration. His lab explores scalable solutions for semantic integration, including projects like the 'Google for research data' initiative and advancements in contextual tag clouds for linked data exploration.

Georgios Siolasمشاهده پروفایل

پژوهشگر

• machine learning
• text mining
• information retrieval
• +۶ مورد دیگر

Georgios Siolas is a Senior Researcher at the Artificial Intelligence and Learning Systems Laboratory (NTUA-ISLab), part of the School of Electrical & Computer Engineering at the National Technical University of Athens (NTUA). He holds a BSc in Electrical & Computer Engineering from NTUA (1998), an MSc in Cognitive Science from Sorbonne Université (1999), and a PhD in Computer Science (2003). His research focuses on machine learning, text mining, information retrieval, and semantic web technologies, with applications in computer vision, recommender systems, and social network analysis. He develops intelligent systems for cultural heritage management, smart tourism platforms, and sign language recognition. Key contributions include innovations in neural architecture search, deep learning for hyperspectral imagery, and plagiarism detection in imbalanced datasets. His work integrates semantic technologies with pervasive computing for smart home environments.

Andrea D'Ambrogioمشاهده پروفایل

دانشیار

• Software and Systems Engineering
• Systems and Software Performance Engineering
• Model-Driven Systems Engineering
• +۳ مورد دیگر

Prof. Andrea D'Ambrogio is an Associate Professor of Software and Systems Engineering at the Department of Enterprise Engineering, University of Roma 'Tor Vergata' (Italy). He previously held roles such as Assistant Professor of Computer Science and Research Associate at the same university, and contributed to projects in Europe and internationally. His research focuses on software/systems performance, model-driven engineering, business process management, and distributed simulation. He has led over 20 international conferences and initiated workshops like CoMetS and Mod4Sim. He currently serves as President of the Society for Modeling & Simulation International (SCS), and is a member of IEEE, ACM, and INCOSE. Research Contributions: Prof. D'Ambrogio has authored over 150 publications in journals and conferences. His work emphasizes simulation engineering processes, MSaaS (Modeling & Simulation as a Service), and the integration of IoT with business processes. Recent studies address distributed simulation interoperability, pandemic impact analysis on healthcare systems, and low-code simulation frameworks. Leadership & Editorial Roles: He has served as General Chair for major events like SpringSim'19 and SummerSim'18. He is an Associate Editor of the SIMULATION journal and editorial board member of IAENG International Journal of Computer Science. His leadership in SCS advances global standards in modeling and simulation practices. Teaching: Teaches courses such as Service-Oriented Software Engineering, Software Systems, and Internet-Based Distributed Simulation. His academic contributions span both theoretical advancements and practical applications in enterprise systems engineering.

Tilmann E. Kuhnمشاهده پروفایل

پژوهشگر

• Solar Energy
• Building Integrated Photovoltaics (BIPV)
• Thermal Engineering
• +۴ مورد دیگر

Dr. Tilmann E. Kuhn is the Deputy Head of the Department Energy Efficient Buildings at Fraunhofer ISE, specializing in energy-efficient building systems and solar technologies. He holds a PhD in Physics from the National and Kapodistrian University of Athens and has been with Fraunhofer ISE since 1999. His research focuses on building-integrated photovoltaics (BIPV), solar thermal systems, and smart building technologies. He has led the Solar Building Envelope Group (2004-2022) and coordinated numerous national and international projects. His work emphasizes interdisciplinary collaboration, standardization, and practical implementation of renewable energy solutions. Education: PhD in Physics: Design, Development, and Testing of Innovative Solar-Control Facade Systems (University of Athens) Studies in Physics (University of Heidelberg) Research Interests: Dr. Kuhn’s work spans BIPV integration, thermal performance of building envelopes, and digital tools for energy-efficient design. His innovations include anti-glare PV modules, solar thermal facade systems, and semantic web-based building data frameworks. He advocates for standardized methodologies to bridge research and industry needs, ensuring practical adoption of sustainable technologies. Projects & Grants: He has coordinated projects like SolConPro and contributed to initiatives like BIPV Baden-Württemberg . His teams develop prototypes (e.g., MorphoColor PV modules) and testing protocols (e.g., GWERT-TRACKER) to advance BIPV and solar thermal applications. Labs & Teams: His division collaborates across Fraunhofer ISE’s R&D infrastructure, focusing on energy-efficient building systems, materials science, and digital simulation tools. Key areas include facade innovation, thermal management, and interdisciplinary energy solutions.

Peter Gorm Larsenمشاهده پروفایل

استاد

• Digital Twins
• Cyber-Physical Systems
• Robotics
• +۲ مورد دیگر

Peter Gorm Larsen is Professor in the Department of Electrical and Computer Engineering at Aarhus University, affiliated with the DIGIT Center. With over 300 research outputs since 1989, his work centers on digital twins, cyber-physical systems, and embedded AI. Current projects include RoboSAPIENS (robotic adaptation), CP-SENS (cyber-physical sensing), and DIGIT-BENCH (digital twins for wind industry test benches). Research focuses on developing reusable digital twin platforms and autonomous reconfiguration frameworks. Recent publications demonstrate advancements in semantic interoperability for coupled digital twins and service-oriented architectures. Since 2018, Professor Larsen has received international recognition including the Reviewer Recognition award. His work spans robotics, sustainable energy systems, and healthcare applications. Professor Larsen maintains active collaborations across Europe and serves on multiple program committees. Teaching activities include Discrete Mathematics and supervision of graduate students in software engineering and embedded systems.