Find Academic Supervisors

• Hardware-Software Co-Design
• Compiler Design
• Embedded Systems
• +5 more

Dr. Frank Hannig is a Professor at the Department of Computer Science, Friedrich Alexander University Erlangen-Nuremberg (FAU), Germany. He serves as the Head of the Architecture and Compiler Design Group within the Hardware-Software-Co-Design department (Department 12). With a career spanning over two decades at FAU since 2003, he has established himself as a leading researcher in hardware-software co-design, compiler design, and embedded systems. Dr. Hannig received his Diploma degree in Electrical Engineering/Computer Science from the University of Paderborn in 2000, followed by his Dr.-Ing. degree in Computer Science from FAU in 2009 with a thesis on "Scheduling Techniques for High-Throughput Loop Accelerators." He completed his habilitation (Dr.-Ing. habil.) in 2018 with a thesis titled "Domain-specific and Resource-aware Computing," which qualifies him for a full professorship in the German academic system. His research focuses on hardware-software co-design, compiler design for embedded systems, reconfigurable computing, parallel systems, and machine learning acceleration. Dr. Hannig has made significant contributions to domain-specific and resource-aware computing, with applications in image processing, automotive systems, and edge AI. His work bridges the gap between high-level programming models and efficient hardware implementations, particularly for resource-constrained environments. Dr. Hannig's recent publications reveal a strong trend toward efficient machine learning deployment on embedded devices and microcontrollers, with particular emphasis on memory optimization, hardware acceleration, and low-precision computing. His research spans multiple domains including computer architecture, machine learning, and embedded systems, with a focus on practical implementations for real-world applications. Dr. Hannig serves as an Associate Editor for IEEE Embedded Systems Letters and the Journal of Real-Time Image Processing. He has organized numerous prestigious conferences including SLOHA 2021, ARC 2021, and Euro-Par 2021, demonstrating his leadership in the academic community. As an educator, Dr. Hannig teaches courses on Domain-Specific and Resource-Aware Computing on Multicore Architectures, Parallel Systems, and Embedded Systems. He has supervised numerous students through lectures, exercises, and seminars covering electronic system level design and multi-core architectures. Dr. Hannig leads several significant research projects including InvasIC (DFG Transregional Collaborative Research Centre), ExaStencils (Advanced Stencil-Code Engineering), and HBS (DFG Research Training Group on Heterogeneous Image Systems). His work with the HIPAcc open-source project has contributed to domain-specific language and compiler development for image processing applications.

Reinhold Häb-UmbachView profile

Professor

• Statistical Signal Processing
• Machine Learning
• Speech Processing
• +7 more

Reinhold Häb-Umbach is a distinguished Professor in the Communications Engineering Department at the University of Paderborn, leading the Heinz Nixdorf Institute's Speech and Communications group. His work spans statistical signal processing and machine learning for speech and audio applications , with a focus on robustness and real-world deployment. His research integrates probabilistic models with deep learning , addressing challenges in speech separation , noise suppression , and acoustic distance estimation . Recent projects include WestAI , SAIL , and TRR 318 , emphasizing AI-driven solutions for sociotechnical systems. 2020: IEEE Fellow 2015: ISCA Fellow 2021-2023: ISCA Distinguished Lecturer Over 300 peer-reviewed publications He has received multiple best student paper awards at venues like IWAENC , Interspeech , and ASRU , and has contributed to 15 competitive DFG grants . His leadership roles include Technical Program Committee Chair for Interspeech 2024 and editorial roles in IEEE journals.

• Modern German Literature
• Early Modern Literature
• Comparative Literature
• +6 more

PD Dr. Charlotte Kurbjuhn is a Professor at the University of Duisburg-Essen, Faculty of Humanities, Institute of German Studies - Literary Studies. She has held multiple Acting Chair (W3) positions for Modern German Literature with a focus on Early Modern Period at institutions including Humboldt University of Berlin (2017–2019) and Friedrich-Alexander University Erlangen-Nuremberg (2022–2023). She completed her habilitation in 2023 and was awarded the Venia Legendi for Modern German, General and Comparative Literature. Her research spans 16th–21st century German literature from comparative, aesthetic, and cultural-historical perspectives, with emphasis on Weimar Classicism , Law & Literature , Antiquity transformation , and literature-museum interplay . Current projects include 'Literary Diplomacy? German Literature and the Ottoman Empire' and 'Strategies for Internationalization of the German Academy for Language and Literature'. Key publications include her 2014 monograph Contour: History of an Aesthetic Figure of Thought and upcoming Literature of Revenge 1780–1945 (2025). She has co-edited volumes on book design and antique topographies in Enlightenment literature. Teaching areas encompass Weimar Classicism , 17th–19th century drama , and interdisciplinary literature-art studies . Courses include 'The Nibelungen – Intermedial Literary History' and 'Literary Imagination of the 'Orient''. Her pedagogy integrates museum visits and media analysis. Scientific Awards Alfried Krupp Junior Fellowship (2020) ProFiL Mentoring Program (2016/17) Scherer Prize for Dissertation (2012) Weimar Scholarship (2010/11) Doctoral Scholarship (2007–10)

• Linguistics
• Turkish Studies
• Semantics
• +3 more

Nurten Kum is a Lecturer in Turkish Studies at the Institute of Turkish Studies , University of Duisburg-Essen. She is responsible for teaching specialized courses, including Semantics and Contrastive Pragmatics, Text Production, and Language Analysis, with a focus on linguistic education and cultural synthesis. She also oversees module management and ERASMUS mobility programs for incoming and outgoing students. Her research interests span Linguistics , Semantics , Pragmatics , and Cultural Studies within Turkish Studies. She actively engages in teaching at the university level and provides academic guidance through office hours conducted via Zoom.

• Quantum Computing
• Compiler Design
• Programming Languages
• +3 more

Innocenzo Fulginiti is a researcher at the Technische Universität München (TUM) associated with the Department of Languages and Description Structures in Informatics. He contributes to the Munich Quantum Valley (MQV) initiative, focusing on quantum computing ecosystem development. Research Interests: Compile-time optimization of quantum circuits, quantum programming language design, hardware-specific algorithm mapping, and quantum tool development. Teaching: Involved in courses like Functional Programming and Verification and Quantum Computing at Compile Time from Winter Semester 2021/22 to Summer Semester 2024/25. Publications: Key works include probabilistic circuit modeling for quantum computing and logic synthesis techniques for autosymmetric functions. Contact: innocenzo.fulginiti@tum.de

Thomas VogelView profile

Researcher

• Software Engineering
• Self-Adaptive Systems
• Autonomous Systems
• +2 more

Thomas Vogel is a postdoctoral researcher at the Software Engineering Group within the Institute of Computer Science at Humboldt-Universität zu Berlin . From October 2021 to September 2022, he served as a stand-in professor for Empirical Software Engineering at Paderborn University. He earned his Ph.D. summa cum laude in 2018 from the University of Potsdam under the Hasso Plattner Institute, specializing in model-driven engineering of self-adaptive systems. He graduated with distinction in Information Systems from the University of Bamberg .

Vivien NowakView profile

Lecturer

• Architecture
• Urban Design
• Housing Reform
• +3 more

Vivien Nowak is an academic staff member at the Department of Architecture and Urban Design at FH Potsdam. She is pursuing doctoral studies at the Institute of Architecture and Urban Design, Faculty of Design, UdK Berlin, focusing on the work of architects Erich Köhn and Paul Mebes in relation to Berlin's cooperative housing system. Bachelor's Degree in Architecture (2015–2018), TU Berlin Master's Degree in Architecture and Urban Design (2018–2020), FH Potsdam Her research interests revolve around Architecture and Urban Design , particularly Housing Reform , Historical Preservation , and Sustainable Urban Planning . She explores the intersection of historical urban reform movements and contemporary sustainable practices, emphasizing the preservation of architecturally valuable designs. Her recent publications and projects, such as Block.Reform.Berlin and collaborations in Erasmus+ programs, highlight trends in urban heritage, interdisciplinary design, and the application of historical urban forms to modern challenges. She co-supervises seminars on topics like Schwedt/Oder's urban redevelopment and Pompeii's architectural legacy. Vivien collaborates with institutions including ETH Zurich, TU Dortmund, TU Eindhoven, and Università di Napoli Federico II. She is supervised by Prof. Dr. Silvia Malcovati at FH Potsdam and works with the Beamten-Wohnungs-Verein zu Berlin (BWV) as a practice partner.

Dennis C. AhrholdtView profile

Professor

• E-Business
• Service Management
• Consumer Behavior
• +3 more

Dennis C. Ahrholdt is a Professor of General Business Administration at the Hamburg School of Business Administration (HSBA) , specializing in Digital Marketing & E-Business . He serves as a member of the scientific advisory board and ombudsperson for scientific integrity at HSBA. His academic journey began at the University of Hamburg and Lappeenranta University of Technology (Finland). He earned his PhD summa cum laude from the University of Hamburg's Institute for Operations Research, with a dissertation on "E-Commerce Website Success Factors" that received multiple awards. Research Interests: Digital Marketing & E-Business Service Management Online & Service Consumer Behavior Data Science & Analytics The 15 most recent publications reveal three major research trends: (1) digital trust mechanisms in e-commerce, (2) visitor satisfaction dynamics in tourism/hospitality, and (3) nonlinear customer loyalty models through data-driven approaches. Scientific Awards: Best Dissertation Award (University of Hamburg) BÜROPA-PREIS 2011 (Stifterverband für die Deutsche Wissenschaft) As an advisor, he has mentored notable researchers like Dr. Ricarda Bohn, Dr. Susanne Faerber, and Prof. Dr. Tobias Knuth. He contributes to journals including European Journal of Operational Research and European Management Journal , while co-authoring the best-selling Springer textbook "Online-Marketing-Intelligence" (300,000+ downloads).

Constantin HochView profile

Professor

• Inorganic Chemistry
• Materials Science
• Sustainable Chemistry
• +2 more

Prof. Dr. Constantin Hoch serves as a full-time Professor in the Department of Chemistry within the Faculty of Chemistry and Pharmacy at Ludwig Maximilian University of Munich (LMU Munich). His research group (Arbeitskreis Hoch) operates from Butenandtstraße 5-13 Haus D, D-81377 München, with direct contact via +49 (0)89 2180-77421. His research program focuses on fundamental chemical phenomena with emphasis on sustainable material development and structural analysis. The group actively investigates inorganic synthesis pathways, crystal engineering principles, and environmentally conscious chemical technologies aimed at advancing sustainable industrial applications. Experimental work includes advanced characterization of novel compounds and materials systems. Group activities are documented through laboratory videos available on their institutional webpage, demonstrating practical research methodologies and experimental setups within their specialized chemistry domain.

Lukas PflugView profile

Researcher

• Nonlocal Conservation Laws
• Topology Optimization
• Nanoparticle Synthesis
• +7 more

Dr. Lukas Pflug is a researcher at the Department of Mathematics, School of Engineering, Friedrich-Alexander University Erlangen-Nürnberg (FAU). His work spans applied mathematics, chemical engineering, and materials science with a focus on nonlocal conservation laws, topology optimization, and nanoparticle synthesis. Primary affiliation: FAU Erlangen-Nürnberg Research themes: Nonlocal PDEs, Robust Optimization, Plasmonics Key contributions include: Developing mathematical frameworks for nonlocal conservation laws and their singular limit problems Advancing topology optimization techniques for photonic crystals and composite materials Pioneering simulation-driven approaches in nanoparticle synthesis and characterization His methodology integrates theoretical analysis with computational implementation, producing 15+ peer-reviewed publications in high-impact journals like Advanced Optical Materials and SIAM Journal on Applied Mathematics between 2023-2025.

David MonniauxView profile

Researcher

• program verification
• abstract interpretation
• static analysis
• +8 more

David Monniaux is a senior researcher (directeur de recherche) at CNRS and an adjunct professor at École polytechnique. He works at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. Dr. Monniaux obtained his PhD in 2001 from Université Paris Dauphine under Professor Patrick Cousot, with a dissertation on the static analysis of probabilistic programs by abstract interpretation. He later earned his habilitation in computer science in 2009 from Université Joseph Fourier, Grenoble, and also holds an agrégation in mathematics. Monniaux's research focuses on program verification, with particular emphasis on proving software correctness. His work spans theoretical foundations in computability theory and practical applications in safety-critical systems. He has made significant contributions to abstract interpretation, static analysis, and the verification of numerical properties in programs. His research bridges computer science theory with practical engineering challenges, particularly in the context of critical embedded systems where software failures can have severe consequences. His work connects to diverse fields including game theory, algebra, and convex optimization. His recent publications demonstrate a strong focus on improving the precision and efficiency of static analysis techniques. Key themes include polyhedral approximation, program analysis with local policy iteration, abstraction of arrays and maps, synthesis of ranking functions, and computing worst-case execution times. These works collectively advance the field of program verification by addressing challenges in handling nonlinear constraints, branching, and complex data structures while maintaining computational feasibility. Monniaux has supervised several students including Julien Henry, Alexis Fouilhé, George (Egor) Karpenkov, and Alexandre Maréchal (now at LIP6), with current students Hang Yu and Valentin Touzeau. He has led significant research projects including VERASCO (2012-2015), which aimed at integrating a static analyzer into the CompCert certified compiler, and STATOR (2012-2017), an ERC starting investigator grant exploring advanced techniques for automatic inference of program invariants. At VERIMAG, Monniaux is part of a vibrant research community focused on critical systems. His work connects with broader efforts in formal methods, with applications in aviation, automotive systems, and other safety-critical domains where software reliability is paramount.

Erika ÁbrahámView profile

Professor

• Computer Science
• Satisfiability Checking
• SMT Solving
• +7 more

Erika Ábrahám is a Full Professor at RWTH Aachen University , Germany, leading the Theory of Hybrid Systems research group. Her academic journey includes positions as a Junior Professor (2008-2013) and postdoctoral researcher at institutions like Jülich Research Centre and Albert-Ludwigs-University Freiburg. Her research interests span formal methods, SMT solving, hybrid systems verification, and probabilistic systems. She has contributed to symbolic computation, railway timetables, and probabilistic hyperproperties, with recent work focusing on cylindrical algebraic decomposition, conflict-driven search algorithms, and stochastic modeling. Scientific contributions include 15+ articles (2021-2025) on topics like probabilistic hyperproperties , hybrid automata , and symbolic arithmetic , often published in LNCS, Springer, and Elsevier venues. She has collaborated on tools like HyPro and SMT-RAT, and edited proceedings for conferences including NASA Formal Methods and QEST.

Clark BarrettView profile

Professor

• Formal Methods
• Automated Reasoning
• Verification
• +7 more

Clark Barrett is a Professor in the Department of Computer Science at Stanford University, where he conducts research in formal methods, automated reasoning, and verification. He is affiliated with several research centers including the Stanford Center for Automated Reasoning, Stanford Center for AI Safety, Stanford Agile Hardware Project, and Stanford Center for Blockchain Research. His research focuses on developing formal methods and tools for verifying complex systems, with particular emphasis on satisfiability modulo theories (SMT), verification of neural networks, hardware design verification, and security. His work bridges theoretical foundations with practical applications across multiple domains. Over the past decade, Barrett's research has evolved from foundational work in SMT solving to increasingly diverse applications including neural network verification, hardware verification, and AI safety. His recent publications demonstrate a strong focus on practical verification techniques for real-world systems, particularly in the areas of hardware design, neural networks, and programming languages. The trend shows an expansion from core verification techniques to broader applications in AI safety and secure systems design. 2021 CAV (Computer Aided Verification) Award Barrett leads several major research initiatives and collaborates extensively with industry partners. His work on the Marabou neural network verification framework, SMT-LIB standard, and Symbolic QED verification methodology have had significant impact in both academic and industrial settings. He has supervised numerous PhD students and postdoctoral researchers who have gone on to successful careers in academia and industry. He is a key member of the Stanford Center for Automated Reasoning, which develops foundational technologies for automated reasoning, and the Stanford Center for AI Safety, where he focuses on formal methods for ensuring the safety and reliability of AI systems. His work on the Stanford Agile Hardware Project aims to revolutionize hardware design through formal methods and verification techniques.

Nikolaj BjørnerView profile

Researcher

• Formal Methods
• Automated Reasoning
• SMT Solving
• +5 more

Nikolaj Bjørner is a Principal Researcher at Microsoft Research , renowned for his foundational contributions to automated reasoning and formal verification. He is the co-creator and lead architect of the award-winning Z3 SMT solver , one of the most widely used tools in formal methods and program analysis. His research interests lie at the intersection of formal methods , programming languages , and automated reasoning . Specific areas include: SMT solving – theory solvers, quantifiers, and solver architectures Program verification – symbolic execution, model checking, and scalable analysis Constraint solving – linear arithmetic, strings, bit-vectors, and custom theories Network and cloud verification – configuration synthesis and policy checking Bjørner's recent work emphasizes scalable verification techniques for complex systems including cloud configurations, parameterized protocols, and sparse code optimizations. His publications span foundational theory, tool design, and real-world applications. He has served on the program committees of premier conferences such as POPL , PLDI , VMCAI , ASE , and SPLASH , shaping the direction of the field. He is a frequent invited speaker and tutorial presenter, including at PADL 2020 and POPL 2023 TutorialFest .

Rupak MajumdarView profile

Researcher

• Formal Verification
• Computer-Aided Verification
• Reactive Systems
• +10 more

Rupak Majumdar is a Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), with a distinguished career in formal verification, control systems, and programming languages. His research spans reactive, real-time, hybrid, and probabilistic systems, focusing on verification and synthesis problems in distributed and concurrent environments. Majumdar earned his B.Tech. in Computer Science from IIT Kanpur (where he received the President’s Gold Medal) and his Ph.D. from UC Berkeley (awarded the Leon O. Chua Award). His work has been recognized through prestigious honors including an NSF CAREER Award, Sloan Fellowship, ERC Synergy Grant, and Most Influential Paper Awards from PLDI and POPL. Research Areas: Formal Verification, Hybrid Systems, Stochastic Systems, Programming Languages, Automata Theory Leadership: Scientific Director, MPI-SWS; ISEC 2026 PC Chair His publications address critical problems in software verification, with recent work focusing on probabilistic systems, distributed protocol testing, and reinforcement learning for formal methods. Awards and grants reflect his impact on computer science and software engineering. Current students include Mahmoud Salamati, Ashwani Anand, V.R. Sathiyanarayana, and Mohammad Khoshechin, while graduated advisees hold positions at institutions like Amazon, Google, and academic research centers. Scientific Awards: President’s Gold Medal (IIT Kanpur) Leon O. Chua Award (UC Berkeley) NSF CAREER Award Sloan Foundation Fellowship ERC Synergy Award Distinguished Alumnus Award (IIT Kanpur) Most Influential Paper Awards (PLDI, POPL) Best Paper Awards (SIGBED, EAPLS, SIGDA)