Find Academic Supervisors

Dennis SäringView profile

Professor

• Deep Learning
• Medical Image Analysis
• Artificial Intelligence
• +5 more

Prof. Dr. Dennis Säring is a faculty member at the University of Applied Sciences Wedel , specifically affiliated with the School of Engineering. His academic and research activities focus on Deep Learning , Medical Image Analysis , and applications of Artificial Intelligence in healthcare and biomedical imaging. He has led seminars on Deep Learning topics and supervised student projects in Autonomous Driving at Audi's AADC 2018 competition. Research Highlights : Cardiovascular imaging, forensic age estimation via MRI, neural network-based bone segmentation, and cerebrovascular aneurysm analysis. Technical Expertise : Cardiac MRI, 3D/4D image processing, parametric mapping, and spatiotemporal data fusion. His recent publications (2018-2023) emphasize 3D MR segmentation for age assessment, CMR strain analysis in athletes, and T1/T2 mapping for myocarditis. Key collaborations include institutions like the University Medical Center Hamburg-Eppendorf and Wedler Hochschulbund, with funding for autonomous vehicle research. While no explicit scientific awards are listed, his work spans clinical cardiology, forensic radiology, and AI-driven medical diagnostics.

Assia MahboubiView profile

Researcher

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +3 more

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

• Building Information Modeling (BIM)
• Civil Engineering Informatics
• Tunneling and Underground Construction
• +5 more

Markus König is a Professor of Informatics in Civil Engineering at Ruhr University Bochum, where he has been researching and teaching since October 2009. His work focuses on Building Information Modeling (BIM), digital construction technologies, and civil engineering informatics, with significant contributions to the development and implementation of digital methods in German construction industry. Dr. König earned his degree in civil engineering with a focus on applied computer science at Leibniz University Hannover, where he also completed his doctorate on cooperative building planning at the Institute for Building Informatics. He subsequently held a junior professorship for Theoretical Methods of Project Management at Bauhaus University Weimar before joining Ruhr University Bochum. His research spans multiple cutting-edge areas including Building Information Modeling (BIM), construction process simulation, tunneling informatics, infrastructure asset management, and the application of artificial intelligence and computer vision in civil engineering. As chair of the Building Informatics Working Group from 2012-2016, he played a key role in developing the first national BIM curriculum for German universities and serves as editor of the book 'Building Information Modeling: Technological Foundations and Industrial Practice.' Analysis of his recent publications reveals a strong trend toward semantic technologies, digital twins, automated compliance checking, and the integration of AI in construction processes. His work increasingly focuses on information containers, ontology development, and the application of large language models to infrastructure data, reflecting the evolving landscape of digital construction. Dr. König's significant contributions to digital construction have been recognized with prestigious awards: Lower Saxony-Bremen Construction Industry Award (2017) for 'services in the development and introduction of digital construction in Germany' Konrad Zuse Medal (2020) While specific details about his advising and grant activities aren't explicitly mentioned in the provided text, his extensive publication record with numerous co-authors suggests active supervision of doctoral students and research staff. His involvement in multiple collaborative research projects is evident from his publication history. At Ruhr University Bochum, Professor König leads a research group focused on civil engineering informatics, with particular emphasis on BIM, digital construction technologies, and their application across the building lifecycle. His team appears to work at the intersection of computer science and civil engineering, developing innovative solutions for construction process optimization, infrastructure management, and digital transformation of the AEC industry.

Tibor SzabóView profile

Professor

• Combinatorics
• Extremal Graph Theory
• Random Structures and Algorithms
• +5 more

Tibor Szabó is a Professor in the Combinatorics and Graph Theory group at the Department of Mathematics, Freie Universität Berlin. He holds a PhD from The Ohio State University, advised by Ákos Seress. Prior to his current position, he held roles at McGill University, ETH Zürich, the Institute for Advanced Study (Princeton), and the University of Illinois (UIUC) as a J.L. Doob Research Assistant Professor. Research Interests: His work focuses on combinatorics and combinatorial optimization, including extremal problems, random structures and algorithms, pseudorandom graphs, positional games, and the combinatorics of linear programming. He explores tools from algebra, probability theory, and topology applied to combinatorics. Teaching: He teaches courses such as Algorithmic Combinatorics, Extremal Combinatorics, and runs the Combinatorics Seminar. His lecture notes include works on positional games and explicit constructions in extremal combinatorics. Students & Postdocs: Notable PhD advisees include Yamaan Attwa, Silas Rathke, Simona Boyadzhiyska, and Patrick Morris. Postdoctoral fellows include Olaf Parczyk and Anurag Bishnoi. His research has involved collaborations with over 50 co-authors. Funding & Grants: Supported by grants from the Swiss National Science Foundation (SNF) and German Research Foundation (DFG), focusing on topics like positional games and extremal graph theory.

Pascal SasdrichView profile

Researcher

• Hardware Security
• Secure Processor Design
• Computer-Aided Security
• +3 more

Pascal Sasdrich is a Researcher at Ruhr University Bochum, Germany, affiliated with the Faculty of Computer Science and the Security Engineering department. He holds a PhD in IT-Security/Information Technology from the same university (2018), following M.Sc. (2015) and B.Sc. (2012) degrees in the same field. His research focuses on Hardware Security, Secure Processor Design, Computer-Aided Security, and Security by Design. He has extensive experience in cryptographic hardware implementations, including countermeasures against side-channel and fault attacks. Teaching includes courses on Processor Security and Implementation of Cryptographic Schemes. His work bridges theoretical security models with practical hardware implementations, emphasizing automated tools and formal verification for secure embedded systems. Key projects include contributions to Project HEP (open-source hardware security chip design) and development of methodologies like EASIMASK for automated masking in hardware. Publications span cryptographic hardware implementations, fault and side-channel countermeasures, and formal security verification. Notable works include combined threshold implementations, secure processor extensions, and automated generation of masked hardware circuits. Current research emphasizes securing embedded systems through holistic design approaches, including ISA extensions and automated EDA tools.

Max WillseyView profile

Assistant Professor

• Program Optimization
• Programming Languages
• Databases
• +5 more

Max Willsey is an Assistant Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, since 2024. He specializes in program optimization, leveraging techniques from programming languages, databases, and systems to develop robust and accessible compiler frameworks. His research focuses on equality saturation, E-Graphs, and the integration of Datalog with compiler optimizations. He has contributed to advancements in unifying algorithmic approaches, enabling faster and more extensible program analysis. Teaching: CS 164 (Programming Languages and Compilers, Spring 2025), CS 265 (Compiler Optimization, Fall 2024), and CS 294-260 (Declarative Program Analysis and Optimization, Spring 2024). Research Highlights: Development of the egg and egglog projects, co-organizing the EGRAPHS workshop, and leading the EGRAPHS Community for e-graphs researchers. His recent articles highlight trends in unifying traditional hash joins with worst-case optimal joins, applying equality saturation to diverse domains like Datalog and tensor graph optimization, and advancing E-Graphs for program synthesis and formal verification. Scientific Awards: SIGMOD Record Research Highlight, 2024 MIT PL Review Selection, 2024 Distinguished Paper, OOPSLA 2021 and POPL 2021 NSF Graduate Research Fellowship Honorable Mention, 2018 Qualcomm Innovation Fellow, 2019 Service: Committee Member, PLDI 2025, POPL 2025, ASPLOS 2025 Co-organizer, EGRAPHS 2024 and 2023 workshops Interviewer, UC Berkeley Graduate Admissions Committee, 2024

Shuang LiuView profile

Researcher

• Embedded Systems
• Computer Architecture
• Networks-on-Chip (NoC)
• +3 more

Shuang Liu is a Researcher at the Institute of Computer Architecture and Computer Engineering, University of Stuttgart. Their work focuses on embedded systems, networks-on-chip (NoC), and chip design methodologies. They specialize in deadlock-free routing, fault-tolerant computing, and application-specific system synthesis using advanced techniques like integer linear programming. Research interests include optimizing NoC architectures for chiplet-based systems, co-design of floorplanning and routing topologies, and energy-efficient signal processing in medical electronics. Their recent work emphasizes formal verification methods and performance optimization in hardware-software co-design. Publications span topics such as deadlock prevention in NoC, ILP-based routing synthesis, and trade-offs in hearing aid ASIP design. Office hours are Monday 2–3 p.m. in Room 1.001, Pfaffenwaldring 5b, Stuttgart.

Gregor SneltingView profile

Professor

• Programming Languages
• Compiler Construction
• Program Analysis
• +7 more

Gregor Snelting is a Professor and head of the Chair of Programming Paradigms at the Karlsruhe Institute of Technology (KIT), Faculty of Computer Science, Institute for Programming Languages and Compiler Construction. His research focuses on compiler construction, program analysis, software security, and verification. His primary research interests include programming languages, compiler design, program analysis, software security, information flow control, formal verification, object-oriented and concurrent programming, and software reengineering using concept analysis. His work aims to provide solid theoretical foundations and empirical validation. The research output, particularly the 15 most recent articles, shows a strong emphasis on software security and program analysis, with a focus on information flow control in Java using the JOANA tool. There is also a significant thread on invasive computing and resource-aware parallel programming. The work combines deep theoretical contributions, such as formal semantics and correctness proofs, with practical tool development and empirical validation. Faculty Teaching Award for the course 'Practice in Software Development' Snelting leads a research group that has developed several significant tools, including JOANA for security analysis, the Praktomat system for automated grading of programming assignments, and contributions to the libFirm compiler framework. His group is a key participant in major research initiatives like the DFG Collaborative Research Center InvasIC and the DFG Priority Program RS3. He advises students and supervises theses, fostering research in programming paradigms and software security. The group is involved in several key research projects: JOANA for information flow control in Java, InvasIC for invasive computing and dynamic parallelism, Quis-Custodiet for machine-checked correctness proofs of security analyses, and the development of the libFirm compiler framework.

Karsten WolfView profile

Professor

• Theoretical Computer Science
• Formal Methods
• Model Checking
• +3 more

Professor Karsten Wolf holds the Chair of Theoretical Computer Science at the Institute of Computer Science, University of Rostock. He serves as Vice-Rector for Studies and Teaching and holds several key positions including Member of the Senate Commission for Studies, Teaching and Evaluation, and Spokesperson of the specialist group "Petri Nets and Related System Models" of the German Informatics Society. His research focuses on theoretical computer science, particularly in the areas of: Development of correct systems Computer-aided verification Algorithms for Web Services Petri Nets and related system models Professor Wolf's publication record demonstrates consistent expertise in formal verification methods, with recent work emphasizing modular state spaces, temporal logic verification, and approximation techniques. His involvement in the Model Checking Contest (2018-2024) shows his commitment to advancing verification methodologies through empirical evaluation and benchmarking. His professional service includes: Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency) Editorial board member of Petri Net Newsletter Member of the German Computer Science Society (GI) Head of the Study Commission of the Faculty Day of Computer Science As Vice-Rector for Studies and Teaching, Professor Wolf plays a critical role in shaping educational policies and academic programs at the University of Rostock, bridging his theoretical expertise with practical educational leadership.

• Machine Learning
• Computer Vision
• Medical Image Analysis
• +3 more

João Paulo Papa is a Professor at the Department of Computing within the Institute of Biosciences, Humanities and Exact Sciences at São Paulo State University (UNESP), Brazil. His research spans machine learning, computer vision, and quantum computing with significant applications in medical diagnostics and environmental monitoring. Over the past three years, he has published extensively in top-tier journals including IEEE Access, ACM Computing Surveys, and Neural Computing and Applications. His research interests focus on developing innovative machine learning approaches for healthcare applications, particularly in Parkinson's disease detection through speech and facial analysis, medical image processing for cancer detection, and quantum-classical hybrid models. His work demonstrates strong integration of theoretical machine learning advancements with practical medical and environmental applications. Papa has established a productive research group that has produced numerous publications in computer vision conferences and medical informatics venues. Analysis of his recent publications reveals a strong emphasis on medical applications of AI, with approximately 60% of his work focused on healthcare diagnostics, 25% on fundamental machine learning advancements, and 15% on environmental and remote sensing applications. His research shows increasing collaboration with international partners while maintaining strong roots in Brazilian academic networks. Among his notable contributions is the development of specialized machine learning architectures for medical image analysis, including TransConv for esophageal cancer detection and quantum-classical hybrid models for breast cancer diagnosis. He has also made significant contributions to the Portuguese language processing community through adaptations of large language models for Brazilian Portuguese medical applications. Prof. Papa actively supervises graduate students and collaborates with medical professionals across Brazil, translating AI research into practical clinical tools. His research group maintains strong connections with hospitals and medical research centers to ensure clinical relevance of their technical developments.

Friedrich FleischmannView profile

Professor

• Optical Metrology
• Freeform Surface Measurement
• Experimental Ray Tracing
• +3 more

Prof. Dr. Ing. Friedrich Fleischmann serves as a Professor at the Faculty of Production Engineering, University of Bremen, with his office located at Neustadtswall 30, 28199 Bremen (Building E, Room 208). His institutional affiliation spans multiple research initiatives focused on optical metrology and precision engineering within Germany's academic framework. His research program centers on advanced metrology techniques for freeform optical surfaces, with particular emphasis on experimental ray tracing methodologies, gradient sensor development, and characterization of both reflective and transmissive optics. Key research thrusts include the measurement of mid-spatial-frequency errors in progressive lenses, LED beam shaping optics, and high-precision verification of complex optical components. His work bridges theoretical optical design with industrial manufacturing applications, addressing critical challenges in optical quality control. Analysis of his 15 most recent publications (2019-2025) reveals a cohesive research trajectory focused on experimental ray tracing as a unifying methodology. His work demonstrates consistent innovation in surface reconstruction algorithms (particularly radial basis functions), sensor integration for gradient measurement, and cross-validation of optical metrology techniques across diverse applications from ophthalmic lenses to industrial lighting systems. The publications show strong methodological continuity between simulation frameworks and physical measurement validation. Prof. Fleischmann has led significant research projects including: Development and application of a digital twin for progressive lens verification (09/2024 - 10/2025) Further development of inventions for measuring shape and waviness of reflecting surfaces (03/2020 - 08/2021) Integrated gradient sensor for freeform surfaces using multiple light sources (09/2019 - 08/2021) Young Engineers 2015: Enhancement of Beamshaping Optical Elements for LED Lighting (eboLED) (05/2015 - 11/2019) EXIST Research Transfer: EasyPrecision measurement platform development (03/2012 - 10/2013)

Delphine DemangeView profile

Associate Professor

• Programming languages implementation
• Compiler verification
• Formal semantics
• +3 more

Delphine Demange is an Associate Professor in Computer Science at the University of Rennes, affiliated with Inria, CNRS, and IRISA. She works in the Epicure research group (formerly Celtique) and focuses on formal semantics, compiler verification, program transformations, static analysis, computer-aided verification, and language-based security. Her career spans roles at the University of Pennsylvania as a postdoctoral researcher and a PhD at ENS Cachan-Brittany Extension under Thomas Jensen and David Pichardie. Her research interests center on formal methods for programming languages , particularly through compiler verification , static analysis , and language-based security . She has mechanized semantics for dataflow circuits and SSA-based optimizations, bridging theoretical rigor with practical compiler correctness. Her work often leverages interactive theorem provers like Coq to ensure robustness. Delphine’s recent publications (2025–2010) highlight her expertise in formal verification of compilers, dataflow analysis , and concurrent systems . Notable trends include mechanized semantics for gated SSA and dataflow circuits , verified intermittent computing models, and concurrent garbage collectors using rely-guarantee methodologies. Scientific Awards: EAPLS Best PhD Dissertation Award (2012) Gilles Kahn PhD Thesis Award (2013) Teaching: She has taught undergraduate and master’s courses including Java programming, algorithmics, deductive verification with Why3, compilation, and software security. Her pedagogical contributions span functional programming, semantics, and logic. Professional Service: Delphine has served on steering committees for CC (2021–2024), co-chaired JFLA 2024 and 2023, and participated in program committees for conferences like CGO, OOPSLA, and POPL.

Nian-Ze LeeView profile

Assistant Professor

• Formal Methods
• Hardware Verification
• Software Verification
• +3 more

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering of National Taiwan University, leading the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). He is also a Guest Professor affiliated with the Software and Computational Systems Lab (SoSy-Lab) at Ludwig-Maximilians-Universität München (LMU Munich), Germany. He holds a Ph.D. in Electronics Engineering from National Taiwan University (2021). His research focuses on formal methods, hardware and software verification, and circuit-based analysis. Education: Ph.D. in Electronics Engineering, National Taiwan University (2021) Research Interests: Formal methods for hardware and software systems Model checking and verification frameworks Circuit-based program verification (e.g., Btor2C translator) Algorithm selection for verification tools Awards: ACM SIGSOFT Distinguished Paper Award (2025) Best Artifact Award (2024) DFG Grant for Bridging Hardware and Software Analysis (2024) Advising & Grants: Supervises Ph.D./Master’s students on topics like algorithm selection and verification frameworks Recipient of DFG grant enabling collaboration between NTU and LMU Munich Labs/Teams: ForMACE Lab (NTU) – Focuses on formal methods and system analysis SoSy-Lab (LMU) – Collaborations on verification tools and frameworks

Alessandra GorlaView profile

Associate Professor

• Malware detection for mobile applications
• Automatic software repair
• Software testing
• +4 more

Alessandra Gorla is an associate researcher professor at IMDEA Software Institute in Madrid, Spain, with a strong background in software engineering research. She previously worked as a postdoctoral researcher with Andreas Zeller at Saarland University in Germany and completed her PhD under Mauro Pezzè at the University of Lugano in Switzerland. Her research bridges theoretical foundations with practical applications in mobile software systems. Her research focuses on malware detection for mobile applications, automatic software repair, software testing and analysis. She has developed techniques for detecting behavior anomalies in graphical user interfaces, identifying third-party libraries in mobile apps, and leveraging intrinsic software redundancy for reliability. Her work spans both Android and iOS ecosystems, with particular attention to permission systems, release practices, and security implications. Analysis of her recent publications reveals a strong trend toward mobile application security and analysis, with increasing focus on iOS systems alongside traditional Android research. Her work combines static and dynamic analysis techniques, often incorporating natural language processing for comment analysis and test generation. There's a clear progression from foundational work on intrinsic software redundancy to more applied research on mobile security and testing. FRITZ-KUTTER AWARD! for PhD thesis on Automatic Workarounds BEST PAPER AWARD! for Search-based Security Testing of Web Applications BEST STUDENT POSTER AWARD! for Automatic Workarounds as Failure Recoveries Dr. Gorla actively mentors students and seeks motivated individuals for internship and PhD opportunities in software engineering. She has served in various organizational roles including Tool Demonstrations co-chair for FSE 2016, Artifact Evaluation co-chair for ESSoS 2016 and ISSTA 2016, and multiple program committee positions at top software engineering conferences. Her work has been supported through collaborations with major research institutions and industry partners. At IMDEA Software Institute, Dr. Gorla leads research on mobile application analysis, particularly focusing on behavioral analysis of Android and iOS applications. Her CHABADA prototype for clustering Android apps by description topics and identifying API usage outliers demonstrates her practical approach to malware detection. She also investigates intrinsic software redundancy for building more resilient systems.

• Formal Verification
• Software Engineering
• Computer-Aided Verification
• +5 more

Zvonimir Rakamaric is a Professor in the Department of Computer Science at the University of Utah. His primary research focuses on formal methods, software verification, and numerical analysis, with an emphasis on ensuring correctness and reliability in software systems. He leads efforts in developing tools and techniques for verifying complex systems, including formal verification of floating-point arithmetic, compiler optimizations, and concurrent/distributed systems. Key Roles: Formal Methods Researcher, Software Verification Specialist, Floating-Point Arithmetic Expert Affiliations: University of Utah School of Computing Research interests span formal verification tools (e.g., SMACK, Dafny), static analysis, and numerical error analysis. His work addresses challenges in safety-critical systems, including embedded software, high-performance computing, and compiler optimizations. Collaborations include institutions like Sandia National Labs and Microsoft Research. Publications emphasize rigorous methods for analyzing floating-point precision, equivalence checking, and tool development for formal verification. His work bridges theoretical foundations with practical tool implementations, contributing to open-source verification frameworks widely adopted in academia and industry.