Find Academic Supervisors

Martin GreplView profile

Professor

• Numerical Methods for Partial Differential Equations (PDEs)
• Model Order Reduction
• Reduced Basis Methods
• +4 more

Professor Dr. Martin Grepl is a faculty member at RWTH Aachen University, where he holds the Lehr- und Forschungsgebiet Optimierung mit partiellen Differentialgleichungen (Teaching and Research Area in Optimization with Partial Differential Equations). He has been affiliated with RWTH Aachen since 2009, first as a Professor (W1) and since 2014 as a Professor (W2). Education: Diplom-Ingenieur (Aerospace Engineering), University of Stuttgart (2000) Master of Science (Mechanical Engineering), MIT (2001) Doctor of Philosophy (Mechanical Engineering), MIT (2005) His research focuses on numerical methods for partial differential equations (PDEs) , particularly model order reduction , reduced basis methods , finite element methods , and optimal control for parametrized PDEs. He also investigates parameter estimation , inverse problems , and control constraints in elliptic and parabolic PDE systems. The scientific awards he has received include the Studienstiftung des deutschen Volkes (1997-2000), a Fellowship from the Dr. Jürgen Ulderup-Stiftung (1998-1999), and the Lehrpreis der Fachschaft Mathematik/Physik/Informatik (2011). His work spans applications in manufacturing , medical physics , and fluid dynamics , as evidenced by his patents and collaborative research. His publications demonstrate expertise in reduced basis methods for nonaffine/nonlinear PDEs , trust region optimization , and error bounds for real-time and many-query scenarios. His collaborations often involve interdisciplinary applications, including thermal conduction , welding processes , and glomerular filtration modeling .

Tej ChajedView profile

Assistant Professor

• Formal verification of systems software
• Concurrent systems verification
• Crash-safe file systems
• +5 more

Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.

Jakob BeetzView profile

Professor

• Building Information Modeling (BIM)
• Digital Twins
• Artificial Intelligence in Construction
• +3 more

Prof. Dr. Jakob Beetz serves as a University Professor at RWTH Aachen University's Faculty of Architecture, leading the Design Computation (DC) research group. His work addresses critical challenges in sustainable built environments through digital innovation, focusing on integrating knowledge, information, and data across disciplines to reduce the sector's energy and material consumption—which accounts for over one-third of global totals—while advancing climate goals under the European Green Deal. His research spans Building Information Modeling (BIM), digital twins, and artificial intelligence, with emphasis on graph-based data federation, semantic web technologies, and large language models in construction. Key interests include evidence-based planning, parametric design optimization, building physics simulation, and networked knowledge modeling. Recent projects explore federated digital twin ecosystems for infrastructure management, intelligent damage assessment systems, and AI-driven solutions for wood structure preservation, directly contributing to sustainable development targets. Analysis of his 2024-2025 publications reveals a cohesive trajectory toward decentralized data environments and AI integration in Architecture, Engineering, and Construction (AEC). His work bridges theoretical foundations in knowledge representation with practical applications in bridge maintenance, road infrastructure, and timber construction, demonstrating consistent innovation in spatial data querying, federated issue management, and ontology-based process modeling. Prof. Beetz actively supervises PhD candidates, as evidenced by DC.Promotions 2024, and drives international collaboration through events like the Forum Construction Informatics 2025 and CIB W78 conferences. His research group engages with industry standards including Industry Foundation Classes (IFC) and Common Data Environments (CDEs), emphasizing open data principles and interoperability to transform construction workflows.

Danh Le PhuocView profile

Researcher

• Autonomous Information Systems
• RDF Stream Processing
• Semantic Web
• +4 more

Danh Le Phuoc is a Principal Computer Scientist at Technical University of Berlin, leading research at the PICOM.AI lab where his team develops autonomous information systems for robotics, autonomous vehicles, and IoT systems through pervasive intelligence in complex networks. With over 70 publications and significant academic impact (6811 citations, H-index 31), he has established himself as a notable researcher in semantic technologies. His educational background isn't explicitly detailed in the provided text, but his research expertise spans multiple domains requiring advanced technical knowledge. Le Phuoc's research focuses on bridging theoretical concepts with practical system implementation, particularly in RDF Stream Processing, Semantic Web technologies, and IoT middleware. His work emphasizes building real-world systems that process linked streams and data in real-time, enabling applications in intelligent transportation systems and connected vehicles. His research trajectory shows consistent innovation from foundational work on semantic mashups (2009) through to advanced stream processing frameworks (2017). His publications reveal strong trends toward processing real-time semantic data streams, with increasing focus on scalability, performance optimization, and integration of IoT systems with knowledge graphs. The progression shows movement from basic semantic web pipes to complex, elastic cloud-based stream processing systems. 22 Awards, Honours, Fellowships and Grants 10+ awards for innovative Semantic Web applications Multiple honors for IoT applications As an obsessive builder, Le Phuoc has developed numerous influential systems including The Graph of Things, CQELS (Continuous Query Evaluation over Linked Streams), Semantic Web Pipes, and Linked Sensor/Stream Middleware. His current focus is on ASAP (Autonomous Semantic Stream Processing), a platform for connected vehicles and intelligent transportation systems. His lab appears to maintain active GitHub repositories for several of these systems, suggesting ongoing development and community engagement.

Zhenchang XingView profile

Research Professor

• Software Engineering
• Responsible AI
• Human-Computer Interaction

Zhenchang Xing is a Research Professor at CSIRO's Data61 and holds a Hans Fischer Senior Fellowship at TUM-IAS. With a Ph.D. in Computer Science from the University of Alberta (2008), he previously served as Associate Professor at Australian National University and Assistant Professor at Nanyang Technological University. His research focuses on software engineering for AI systems and human-centered computing. Current projects include: Automated Software-Hardware Co-Design for AI Systems Software Supply Chain Security frameworks Data Bill of Materials (DataBOM) for verifiable data ecosystems Software Testing Knowledge Graph development Professor Xing has received 10 Distinguished Paper Awards from ACM and IEEE, including the 2005 Most Influential Paper Award for UMLDiff. His work combines software engineering with responsible AI development.

• Database Systems
• Distributed Computing
• Cloud Computing
• +2 more

Bettina Kemme is a faculty member at McGill University in Montreal, Canada. Her research focuses on database systems , distributed computing , and cloud data management . She has made significant contributions to database replication, consistency models, and middleware frameworks for scalable applications. Research Themes : Database replication, distributed systems, cloud computing, and software engineering. Notable Collaborations : Jörg Kienzle, Joseph Vinish D'silva, Yunjia Zheng, and Marta Patiño-Martínez. Publications span critical areas such as graph database view management, transactional recovery in key-value stores, and latency-aware publish/subscribe systems. Her work is published in venues like VLDB , ICDE , Middleware , and SRDS .

• Database Systems
• Data Management
• Scientific Data Processing
• +5 more

Dr. Martin L. Kersten is a leading figure in database systems research at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, Netherlands. With over three decades of contributions, his work focuses on column-oriented database architectures, scientific data management, and query optimization. Key Research Areas: Database systems, big data processing, query performance analysis, data-intensive scientific applications Projects: MonetDB, SciQL, TELEIOS, ExaNeSt His recent publications emphasize in-database machine learning , query log mining , and exascale computing . He pioneered database cracking and intermediate recycling techniques to enhance query processing efficiency. 2014 SIGMOD Edgar F. Codd Innovations Award for groundbreaking contributions to database technology Collaborations span institutions like ICDE , VLD , and EuroSys workshops. His work bridges theoretical advancements with practical implementations for scientific and industrial applications.

• Process Mining
• Business Process Management
• Stochastic Processes
• +4 more

Dr. Sander Leemans is a Professor at RWTH Aachen University leading the Business Process Management Foundations and Engineering research group. His work focuses on advancing process mining theory and practice with emphasis on stochastic modeling and conformance verification. Leemans' research centers on process mining, business process management, and stochastic process modeling. He investigates conformance checking techniques for probabilistic models, process discovery algorithms, and the integration of exogenous data into process analysis. His work bridges theoretical foundations with practical applications in healthcare, robotic process automation, and inter-organizational systems. Recent publications reveal a concentrated research trajectory in stochastic conformance checking, where Leemans develops methods for matching observed traces to stochastic process models using alignment techniques, entropy metrics, and partial-order reasoning. He also pioneers object-centric process mining frameworks and explores silent transitions in labeled Petri nets, significantly enhancing the precision and applicability of process mining in real-world scenarios. The Business Process Management Foundations and Engineering group under Leemans' leadership drives innovation in process mining through rigorous theoretical development and open-source tooling, maintaining RWTH Aachen's position at the forefront of business process intelligence research.

Stefan WildermannView profile

Professor

• Reconfigurable Systems
• Edge Computing
• Organic Computing
• +7 more

Stefan Wildermann is a Professor at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), where he leads the Reconfigurable Computing Group within the Chair of Computer Science 12 (Hardware-Software Co-Design) in the Department of Computer Science. He has maintained continuous research activity at FAU since 2006, progressing from researcher to his current leadership position. Dr. Wildermann earned his Diploma degree in Computer Science from FAU in 2006 and completed his doctorate (Dr.-Ing.) in Computer Science at the same institution in July 2012. His academic career has been entirely rooted at FAU, demonstrating a strong institutional commitment and progression through the ranks. His research spans multiple cutting-edge areas in computer science and engineering, with particular emphasis on reconfigurable systems and hardware-software co-design. Wildermann's work in edge computing explores efficient processing at the network periphery, while his research in organic computing investigates self-organizing systems that can adapt to changing environments. His expertise extends to optimization techniques for embedded systems, applying game theory principles and convex optimization methods to solve complex resource allocation problems. More recently, he has integrated reinforcement learning approaches to enhance system adaptability and performance. His teaching portfolio includes courses on event-driven systems, computer engineering fundamentals, embedded systems, and hardware-software co-design. Analysis of Wildermann's publication record from 2021-2025 reveals a strong focus on hardware acceleration, security, and embedded systems. His work demonstrates consistent evolution from foundational research in reconfigurable architectures toward practical applications in IoT, robotics, and secure computing. A significant portion of his recent work addresses near-data processing using FPGAs for database acceleration, while maintaining parallel research streams in side-channel security analysis and energy-efficient embedded systems design. His publications frequently appear in top-tier conferences including DATE, FPL, ASP-DAC, and HOST, reflecting strong recognition within the computer architecture and embedded systems communities. Wildermann has held significant leadership roles including Head of the Reconfigurable Computing Group since 2015 and previously served as Head of the Self-organizing Systems Group (2012-2015) and Lab Leader of the Automotive Lab within the Embedded Systems Initiative (2016-2020). His research has been consistently funded through multiple projects investigating invasive computing, reconfigurable architectures, and embedded systems design methodologies. Currently based in Room 02.116 at Cauerstr. 11, 91058 Erlangen, Wildermann continues to lead active research in the Hardware-Software Co-Design group, supervising projects that bridge theoretical computer science with practical hardware implementation challenges.

Hans UszkoreitView profile

Professor

• Artificial Intelligence
• Natural Language Processing
• Information Extraction
• +3 more

Hans Uszkoreit is a German AI researcher and Honorary Professor at Technische Universität Berlin, specializing in language and knowledge technologies. He serves as Scientific Director at the German Research Center for Artificial Intelligence (DFKI) Berlin and co-founder of the Artificial Intelligence Technology Center (AITC) in Beijing. He is also Chief AI Advisor at Lenovo Corporation. His roles include leading initiatives like the Berlin Big Data Center and the German Smart Data Forum, funded by German federal ministries. Uszkoreit’s research focuses on natural language processing, machine translation, and knowledge-based systems, with contributions to projects such as the Multilingual Europe Technology Alliance and spin-off companies like Sematell and Acrolinx. He has supervised over 40 PhD theses, emphasizing computational linguistics and computer science. His work bridges academic research and industry applications, fostering innovation in AI and language technologies.

• Data Quality
• Database Systems
• Data Profiling
• +7 more

Felix Naumann is a Professor at the Hasso Plattner Institute in Potsdam, Germany, specializing in data management and database systems. His research focuses on data quality, data profiling, entity resolution, functional dependencies, and database optimization. He has authored over 300 publications in top-tier conferences and journals, including VLDB, SIGMOD, and ICDE. His work bridges theoretical foundations with practical systems, such as TASHEEH for data cleaning and PRISMA for privacy-preserving schema matching. He serves as an editor for the ACM Journal of Data and Information Quality and has led initiatives on hybrid conference formats and inclusive computing. Key contributions include: Data Quality: Pioneered studies on data quality's impact on machine learning and developed tools like AutoTSAD for anomaly detection. Data Dependency Discovery: Advanced functional and inclusion dependency mining algorithms, including Hitting Set Enumeration methods. Schema Matching & Integration: Created systems like BrewER and Frost for entity resolution and schema alignment. Educational Impact: Led massive open courses in data engineering with over 10,000 participants. His work emphasizes practical applications in cultural heritage data (ReCLAIM), Wikipedia table analysis, and cross-platform data systems (RHEEMix). He collaborates extensively with industry and academia, addressing challenges in dynamic datasets and data governance.

• Databases
• Spatial Data Management
• Geospatial Systems
• +3 more

Mohamed Sarwat is an Associate Professor at Arizona State University specializing in databases , spatial data management , and recommender systems . His research focuses on GeoSpark —a cluster computing framework for spatial data—and its extensions like GeoSparkViz for visualization and GeoSparkSim for traffic simulation. Key Contributions: LARS* (Location-Aware Recommender System), Horton* (Graph Reachability), Sindbad (GeoSocial Platform), and Riso-Tree (Graph Database Indexing) Research Themes: Integration of spatial/temporal data with machine learning, efficient indexing for big geospatial datasets, and scalable frameworks for mobility data science His work spans collaborations with 23+ co-authors across institutions like University of Minnesota, University of Melbourne, and University of Salzburg. Current projects emphasize GeoTorchAI —a spatiotemporal deep learning system—and mobility data science infrastructure.

Daniel HernándezView profile

Researcher

• Semantic Web
• SPARQL
• RDF
• +3 more

Daniel Hernández is a Postdoctoral Researcher at the Institute for Artificial Intelligence (KI) under the Cluster of Excellence IntCDC at the University of Stuttgart. He is part of the Analytic Computing group within the Institute for Parallel and Distributed Systems (IPVS). His work focuses on Semantic Web technologies , particularly SPARQL , RDF , and knowledge graph applications in interdisciplinary design workflows . Research Trends : His publications (2015–2025) emphasize semantic query processing , provenance computation , and interoperability between architectural data and knowledge graphs . Key innovations include the eSPARQL language for epistemic queries, NPCS for native provenance in SPARQL, and BHoM to bhOWL for integrating building data with ontologies. Teaching & Collaborations : He has held teaching roles at the University of Stuttgart ( Human-Computer Interaction with Knowledge Graphs ), University of Aalborg ( Group Supervisor ), and University of Chile ( Lecturer for The Web of Data ). Collaborations span institutions like Buro Happold , TU Wien , and INRIA , with publications in journals like Proceedings of the VLDB Endowment and conferences such as WWW and ISWC .

• Database Systems
• Stream Processing
• Distributed Data Management
• +5 more

Volker Markl is a Professor at Technische Universität Berlin in the Institute of Software Engineering and Theoretical Computer Science, with additional affiliations at the Berlin Institute for the Foundations of Learning and Data (BIFOLD) and the German Research Center for Artificial Intelligence (DFKI). His research spans database systems, stream processing, and distributed data management with significant contributions to both theoretical foundations and practical implementations. Markl's research interests focus on next-generation data management systems, particularly for streaming and IoT environments. His work addresses critical challenges in distributed query processing, system integration, and performance optimization. He has pioneered approaches for stream processing in volatile infrastructures and developed innovative techniques for GPU-accelerated database operations. His NebulaStream project represents a major contribution to distributed stream processing systems. His publication record demonstrates consistent impact across top database venues including VLDB, SIGMOD, and ICDE. Recent work shows increasing focus on machine learning integration with database systems, privacy-preserving query processing, and educational approaches for teaching large-scale data management. Markl has mentored numerous researchers who have become prominent in the database community, with frequent collaborators including Steffen Zeuch, Tilmann Rabl, and Philipp Grulich. His leadership extends to major research initiatives and collaborations across European institutions.

• Database Systems
• Query Optimization
• Index Tuning
• +7 more

Surajit Chaudhuri is a Researcher at Microsoft , with a career spanning decades in database systems and data management . He has received the prestigious SIGMOD Edgar F. Codd Innovations Award (2011) for his contributions to query optimization , index tuning , and data lakes . Research Interests : His work focuses on database tuning , approximate query processing , fuzzy similarity joins , automated data transformations , and machine learning integration for scalable data systems. Recent Publications : In 2025, his research includes Auto-Test for unsupervised error detection in tables, Esc for budget-aware index tuning, and MMTU for multi-task table understanding benchmarks. Earlier works in 2024–2023 address spreadsheet formula recommendation , low-overhead index filtering , and time-series pattern recognition . Scientific Impact : He has co-authored influential papers in SIGMOD , VLDB , and IEEE Transactions , shaping practices in cloud databases , query optimization , and self-service BI . His collaborations span institutions like Microsoft, MIT, and ETH Zurich.