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

Tim Holzheimمشاهده پروفایل

پژوهشگر

• Knowledge Graphs
• Semantic Web
• RDF
• +۵ مورد دیگر

Tim Holzheim is a researcher at the Department of Computer Science, Faculty of Mathematics, Computer Science and Natural Sciences, RWTH Aachen University, affiliated with Lehrstuhl Informatik 5 (Database and Information Systems Group). He is actively involved in teaching and research, particularly in the areas of Knowledge Graphs, Semantic Web, and data integration technologies. Institution: RWTH Aachen University School: Faculty of Mathematics, Computer Science and Natural Sciences Department: Department of Computer Science Research Group: Lehrstuhl Informatik 5 (DBIS) Email: holzheim@dbis.rwth-aachen.de His research focuses on Knowledge Graphs , Semantic Web technologies , Wikidata , RDF , and GraphQL for semantic data access . He explores methods for knowledge extraction, data integration, and enabling efficient querying and hosting of large-scale semantic datasets. His work bridges theoretical semantic modeling with practical implementation in data systems. The recent publications highlight a consistent research trajectory in semantic data engineering, particularly in making knowledge graphs more accessible, interoperable, and usable through tools for bootstrapping APIs, analyzing property structures, and semantifying academic data. His contributions appear in workshops co-located with top-tier conferences such as ISWC and ESWC. There are no listed scientific awards or honors in the provided information. Tim Holzheim is involved in academic advising and teaching, offering courses such as Datenbanken und Informationssysteme and Knowledge Graph Lab . While no formal students are listed, his supervision likely includes thesis projects and lab participants. He is also engaged in research projects such as NFDI4DS, contributing to national data infrastructure initiatives. He is a member of the Database and Information Systems (DBIS) research group led by Prof. Dr. S. Decker, which focuses on scalable and semantic data management solutions. The group is active in developing tools and methodologies for knowledge graphs, data spaces, and semantic integration.

Federico Olmedoمشاهده پروفایل

استادیار

• Program Verification
• Probabilistic Programming
• Language-Based Security
• +۵ مورد دیگر

Federico Olmedo is an Assistant Professor at the Computer Science Department of the University of Chile, where he teaches courses like Program Analysis and Verification ( CC4101 ) and Discrete Mathematics for Computer Science ( CC3101 ). His research focuses on the semantics and verification of probabilistic programs , with applications in language-based security , differential privacy , and formal verification of cryptographic systems . Previously, he was a postdoctoral researcher at RWTH Aachen University and earned his PhD from the Technical University of Madrid in 2014. Research Interests : Program Verification Probabilistic Programming Language-Based Security Theorem Provers Quantum Computing Cryptographic Proofs Publications span formal methods for probabilistic programs, including weakest precondition calculi , runtime analysis of quantum programs , and machine-checked proofs for cryptographic protocols . Notable works include the Best Theory Paper Award at ECOOP 2016 and foundational research on conditioning in probabilistic programming . He co-developed the CertiCrypt and CertiPriv frameworks for verifying cryptographic proofs and differential privacy in Coq. Scientific Awards : ECOOP 2016 Best Theory Paper Award

István Korenمشاهده پروفایل

پژوهشگر

• Societal Software Engineering
• Web-based Information Infrastructures
• Community-driven Development
• +۶ مورد دیگر

István Koren is a PostDoc Research Associate and Scientific Assistant at the Chair of Process and Data Science, RWTH Aachen University, where he contributes to interdisciplinary research at the intersection of computer science and production engineering. He is also the deputy coordinator of the infrastructure area within the Cluster of Excellence Internet of Production , leading computer science initiatives involving around 50 researchers. His educational background includes a PhD from RWTH Aachen University (2013–2019) in the Advanced Community Information Systems group under Priv.-Doz. Dr. Ralf Klamma, with a thesis titled DevOpsUse: Community-Driven Continuous Innovation of Web Information Infrastructures . He holds a Master’s and Bachelor’s degree in Computer Science and Media from Technische Universität Dresden, with a focus on mobile software engineering and computer networks. Dr. Koren's research centers on societal software engineering and empowering professional communities of practice through accessible, user-driven software development. He investigates how evolving web technologies—such as WebRTC, WebAssembly, and GraphQL—can be stabilized through sustainable methodologies to support long-term information infrastructure development. His work emphasizes the role of end users in shaping systems that affect their work and well-being. Although no recent publications or awards are listed in the provided text, his research direction aligns strongly with community-driven innovation, web infrastructure, and digital collaboration in complex industrial environments. He has international research experience from internships in Japan (Shizuoka University), Brazil (PUC-Rio), and industry work in India (Amadeus Labs). He actively engages in interdisciplinary collaboration and welcomes discussions on emerging web technologies and their societal impact. His work supports the integration of computer science into advanced manufacturing within Industry 4.0 contexts.

• 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

Andre Borrmannمشاهده پروفایل

استاد

• Building Information Modeling
• Point Cloud Engineering
• Digital Twin
• +۴ مورد دیگر

Andre Borrmann is Professor and Chair of Computing in Civil and Building Engineering at the Technical University of Munich (TUM), where he leads cutting-edge research at the intersection of computer science and construction engineering. His work spans over two decades with consistent publication output since 2003, demonstrating sustained academic leadership in computational methods for the built environment. His research focuses on: Building Information Modeling (BIM) and its advanced applications Digital Twin development for infrastructure management Point cloud processing and semantic enrichment Artificial intelligence integration in construction workflows Construction automation and robotics systems Analysis of his 2023-2025 publications shows a clear trend toward sophisticated AI applications in construction engineering, with increasing emphasis on graph neural networks, transformer models, and large language models. His work bridges theoretical computer science with practical construction challenges, particularly in model automation, code compliance checking, and digital documentation of existing structures. Scientific recognition includes: Konrad Zuse Medal (2024) Professor Borrmann leads multiple significant research initiatives including AM2PM (Additive to Predictive Manufacturing for Multistorey Construction), AI4CADCAM (AI-based CAD processing), and BauPuls360 (a public service platform for the construction industry). His research group maintains extensive international collaborations across academia and industry, contributing to UN Sustainable Development Goals related to sustainable cities, industry innovation, and climate action through their technological advancements in construction engineering.

• 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.