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

Huanyu Liمشاهده پروفایل

استادیار

• Semantic Web
• Ontology Engineering
• Data Integration
• +۴ مورد دیگر

Huanyu Li is an Assistant Professor at the Department of Computer and Information Science (IDA) of Linköping University, Sweden, within the Human-Centered Systems (HCS) division. His research focuses on Semantic Web and Ontologies, particularly ontology engineering, ontology-driven data integration, and applications in materials design and circular economy domains. Education : PhD in Computer Science, Linköping University (2022) MEng in Software Engineering, Harbin Institute of Technology (2016) BEng in Software Engineering, Harbin Institute of Technology (2014) Research Interests : Ontology engineering and alignment methodologies Domain-specific ontology development (materials science, semiconductor technologies) Interoperability frameworks for heterogeneous data sources Circular economy applications through ontology networks Service Roles : Co-chair of VOILA!, OM, and SeMatS workshops Program committee member for ESWC, ISWC, and other conferences Management committee member of EU COST Action EuMINe Reviewer for journals like Nature Scientific Data and Advanced Engineering Materials Awards : Recipient of the Lawson Stipendium (2022) for contributions to ontology matching and materials science communities Collaborations : Swedish e-Science Research Centre (SeRC) - DCMD group OPTIMADE discussion group on ontologies

• Artificial Intelligence
• Building Information Modeling (BIM)
• Digital Twinning
• +۳ مورد دیگر

Nepomuk Wolf is a researcher at the Chair of Computing in Civil and Building Engineering at the Technical University of Munich. His work focuses on integrating heterogeneous data systems using GraphQL for Building Information Modeling (BIM) and digital twinning applications. Research Interests: Artificial Intelligence, Digital Twinning, Construction Simulation, and Pedestrian Dynamics. Email: nepomuk.wolf@tum.de Wolf has published on topics such as IFC-to-GraphQL schema mapping and web-based sensor data integration for infrastructure. His recent work emphasizes API development for civil engineering applications and data interoperability.

• Web Engineering
• Performance Optimization
• Data Management
• +۳ مورد دیگر

Benjamin Wollmer is a Researcher at the Visual Systems (VSIS) department within the Faculty of Mathematics, Informatics and Natural Sciences at the University of Hamburg. He is actively involved in research projects such as Baqend and HADeS , focusing on web performance optimization and scalable data management. Research Focus : Web Engineering, Performance Optimization, Polyglot Data Management Key Publications : Explored delta encoding for web compression, scalable test data generation, and caching strategies Teaching : Supervised 15+ theses on topics including real-time databases and client-side performance

Juan Pablo Galeottiمشاهده پروفایل

استاد

• Automatic Test Generation
• Program Verification
• Specification Inference
• +۵ مورد دیگر

Juan Pablo Galeotti is a Professor at the University of Buenos Aires (UBA) in the Department of Computer Science within the Faculty of Exact and Natural Sciences . He is also a researcher at CONICET and a member of the LaFHIS and LIA-INFINIS laboratories. His research focuses on automatic test generation , program verification , specification inference , and decision procedures like SMT and SAT. Education & Background: While specific degrees are not mentioned, his PhD thesis was titled "Software Verification using Alloy" , advised by Marcelo Fabian Frias . Research Interests: His work spans: Search-based software testing REST API fuzzing and testing Smart contract verification Dynamic and static analysis Testability transformations Loop invariant inference Publications & Trends: Galeotti has published extensively in top-tier venues like ICSE, FSE, ASE, ISSTA, IEEE TSE , and ACM TOSEM . His recent work ( 2020–2025 ) focuses on tools like EvoMaster for REST API testing, EvoSuite for Java unit testing, and TACO for SAT-based verification. Awards & Service: He has served as PC Co-Chair for SBST@ICSE 2017–2018 , PC Member for ICSE, ISSTA, ICST , and reviewer for journals like TOSEM, TSE . He co-organized ISSTA 2016 and ICSE 2017 . Students & Projects: He currently supervises 3 PhD and 4 Master’s students. He has co-directed CONICET and UBA-funded projects on bounded verification and memory analysis. Labs & Collaborations: He leads research at LaFHIS and collaborates with LIA-INFINIS , working on tools like EvoMaster , DynaMate , and TACO .

• Software Engineering
• Data Engineering
• Information Systems
• +۴ مورد دیگر

Carles Farré Tost is an Associate Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Facultat d'Informàtica de Barcelona (FIB) and the Departament d'Enginyeria de Serveis i Sistemes d'Informació. He leads research in software engineering, data engineering, and information systems through the inSSIDE and GESSI groups. His work focuses on agile methodologies, software quality, data-driven decision-making, and green AI. With over 92 professional activities, including 39 conference presentations and 17 competitive R&D projects, he has contributed to tools like QaSD and GLiDE for education and industry. Notable awards include the Best Forum Paper Award at RCIS 2023 and the Best Paper Award at CIbSE 2021. His research spans decades, from foundational database query validation (CQC method) to modern applications in gamified learning dashboards and sustainability in AI. Research Interests: Software Engineering: Agile development, quality assurance, and team-based project management Data Engineering: Schema validation, data-driven decision-making frameworks, and API design Green AI: Investigating environmental impacts and ethical considerations in AI systems Educational Technology: Tools for learning analytics and collaborative software education Grants & Projects: "Human-centred collaborative framework for accelerating software development" (2024) "Transición hacia sistemas de software verdes basados en IA" (2023) "Digital and Emerging Technologies for Competitiveness" (EU-funded, 2021) Lab/Teams: Active contributor to the inSSIDE (integrated Software, Services, Information and Data Engineering) and GESSI (Group of Software and Service Engineering) research groups at UPC.

• Software Design and Development
• Object Oriented Design
• Functional Programming
• +۱۱ مورد دیگر

John Hunt is an Associate Lecturer in the Department of Computer Science and Creative Technologies at the University of the West of England (UWE Bristol). He holds a B.Sc. and Ph.D., with extensive experience spanning academia and industry. His expertise encompasses software engineering, programming languages, and agile methodologies. John's research interests focus on: Software design paradigms including Object-Oriented and Functional Programming Enterprise system architecture and service-based solutions Mobile development (Android with Kotlin) Data modeling, analytics, and business process optimization Software testing methodologies and agile practices He has authored influential textbooks on programming languages including C#, Java, and Python. His Python programming books were downloaded over 35 million times during Springer's 2020 pandemic initiative. John teaches undergraduate and postgraduate courses covering Python, Java, Kotlin, Android development, Service-Based Architectures, and Enterprise Systems Development.

• Cloud Computing
• Educational Technology
• Computer Networks
• +۴ مورد دیگر

Sławomir Zieliński is a Lecturer at the Institute of Computer Science within the Faculty of Computer Science at AGH University of Science and Technology in Kraków. His academic role involves teaching and research focused on cloud technologies and educational informatics. He maintains an office at D-17, ul. Kawiory 21, and can be contacted via email at slawek@agh.edu.pl or phone at +48 12 328 33 77. Zieliński's research explores intersections between cloud computing and educational technology, particularly: Cloud-native applications and serverless architectures for environmental monitoring Automated orchestration of educational services in cloud environments IoT-enhanced collaborative learning platforms Software-defined networking optimizations Remote teaching methodologies and pandemic-responsive education systems Performance evaluation frameworks for distributed systems His work demonstrates consistent innovation in adapting cloud infrastructure to educational challenges. Recent publications (2015-2024) reveal strong thematic focus on cloud-based educational technologies, distributed systems optimization, and pandemic-era teaching solutions. Dominant research threads include: Cloud infrastructure for remote education (6+ publications) Performance evaluation methodologies for networks and cloud services (4 publications) IoT integration in educational ecosystems (3 publications) Serverless computing applications in environmental systems

• Building Information Modeling
• Digital Twinning
• Information Management
• +۵ مورد دیگر

Prof. Dr.-Ing. Sebastian Esser serves as Group Lead for Information Management at the Chair of Computing in Civil and Building Engineering at Technical University of Munich. His research focuses on advancing Building Information Modeling (BIM) methodologies, particularly in infrastructure and railway applications. He contributes significantly to international standardization efforts including IFC-Road and IFC-Rail projects, and leads research initiatives such as RIMcomb and BauPuls360. Dr. Esser's research spans several critical areas in digital construction: Graph-based version control systems for BIM collaboration Digital twin development for infrastructure management Semantic modeling of built environments BIM-based regulation checking for railway infrastructure Interdisciplinary model coordination techniques Knowledge representation in civil engineering His work bridges theoretical computer science with practical civil engineering applications, focusing on improving data interoperability and workflow efficiency in construction projects. Analysis of his recent publications reveals a strong emphasis on graph-based approaches to BIM challenges. His research has evolved from foundational work on BIM programming interfaces to sophisticated implementations involving knowledge graphs, semantic reasoning, and digital twin architectures. Key trends include increasing integration of semantic web technologies with BIM standards, development of specialized query interfaces like GraphQL for construction data, and application of formal methods to infrastructure modeling problems. Dr. Esser actively supervises numerous bachelor's and master's theses annually, with recent topics covering graph-based entity alignment, BIM-GIS integration for flood assessment, incremental model updates, and digital twin implementations. His teaching portfolio includes courses such as Bau- und Umweltinformatik, BIM.fundamentals, BIM.infra, and Semantic Modeling of the Built World, demonstrating his commitment to educating the next generation of digital construction professionals. He is involved in multiple research initiatives including DFG FOR 5672 (The information backbone of robotized construction), SPP 2187 (Adaptive modularized constructions), and AM2PM (Additive to Predictive Manufacturing). His laboratory work spans the BIM-Lab and related computational infrastructure supporting his research in digital construction technologies.