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

• Programming Languages
• Formal Verification
• Type Systems
• +۵ مورد دیگر

Derek Dreyer is a Professor at the Max Planck Institute for Software Systems, where he leads research in programming languages, formal verification, and type systems. His work bridges theoretical foundations with practical applications, particularly in the verification of systems programming languages. His research focuses on developing rigorous semantic foundations for modern programming languages, with significant contributions to the verification of Rust, separation logic frameworks, module systems, and concurrency models. Dreyer's work combines deep theoretical insights with practical verification techniques, often implemented in proof assistants like Coq. His research spans formal semantics, type theory, program logics, and verification methodologies for both sequential and concurrent programs. Dreyer's publication record shows a consistent focus on foundational verification techniques, with recent work advancing separation logic (Iris framework), Rust verification, multi-language semantics, and novel program logics. His publications in top venues like POPL, PLDI, and ICFP demonstrate both theoretical depth and practical impact in programming language research. Dreyer has established himself as a leading researcher through extensive collaborations with prominent figures in the programming languages community, including Lars Birkedal, Ralf Jung, Robbert Krebbers, and Viktor Vafeiadis. His work often bridges multiple subfields, connecting theoretical concepts with practical verification challenges in systems programming.

Christian Schemerمشاهده پروفایل

استاد

• Media effects
• Political communication
• Social psychology
• +۶ مورد دیگر

Prof. Dr. Christian Schemer is a Professor of General Communication Science at the Institute of Journalism , Johannes Gutenberg University Mainz , since 2014. His research encompasses media effects , political communication , advertising effectiveness , and social group prejudices . He has been involved in comparative studies across 18+ countries, focusing on disinformation , media trust , and political engagement . Former roles include Acting Professor at LMU Munich and Visiting Scholar at the University of Pennsylvania.

• Information Retrieval
• Human-Computer Interaction
• Conversational Search
• +۶ مورد دیگر

David Elsweiler is a Professor in the Department of Computer Science at the University of Regensburg's Faculty of Mathematics, Computer Science and Physics. With an extensive publication record spanning over two decades, he has established himself as a leading researcher in information retrieval, conversational search systems, and health/food recommender systems. His work bridges theoretical computer science with practical human-centered applications, particularly in domains requiring nuanced understanding of user behavior and credibility assessment. Dr. Elsweiler's research primarily focuses on how people interact with information systems, with special emphasis on conversational interfaces, credibility assessment in search, and personalized recommendation technologies. His work in health informatics has led to innovative approaches for behavior change support through conversational agents, while his food recommendation research explores cross-cultural dietary preferences and nutritional considerations. He has made significant contributions to understanding how users verify information accuracy, particularly regarding controversial topics and health misinformation. His recent publications reveal a strong trend toward leveraging large language models for behavior change applications, investigating how users blend traditional search with conversational interfaces, and developing methods to combat health misinformation. The work spans theoretical contributions to practical system implementations, with a consistent focus on real-world impact and user-centered design principles. His research often involves interdisciplinary collaboration with experts in health sciences, behavioral psychology, and nutrition. Dr. Elsweiler has successfully supervised numerous doctoral students who have become active researchers in their own right, including Selina Meyer, Markus Bink, and Alexander Frummet. He has organized multiple workshops on health recommender systems at major conferences like RecSys, fostering community development in this specialized domain. His work has been supported by various research grants focused on improving information access in critical domains like healthcare and nutrition.

Philipp Terhörstمشاهده پروفایل

استادیار

• Responsible AI
• Biometrics
• Machine Learning
• +۳ مورد دیگر

Dr. Philipp Terhörst is a Research Group Leader at Paderborn University, specializing in Responsible AI for Biometrics . His work focuses on fairness, privacy, explainability, and uncertainty in machine learning systems for biometric applications. Education: Ph.D. in Computer Science (2021) from Technical University of Darmstadt Previous Affiliations: Fraunhofer IGD (2017–2022), ERCIM Fellowship at Norwegian University of Science and Technology His research addresses critical ethical challenges in biometric AI, including demographic bias mitigation , privacy-enhancing technologies , and confidence-aware verification systems . Recent publications explore explainability frameworks, backdoor attacks, and fairness in deepfake detection. Scientific contributions have earned awards from the European Association for Biometrics and International Joint Conference for Biometrics . He actively participates in academic service as a reviewer for TPAMI, CVPR, and IEEE journals. Teaching: Offers courses in Human-Centered Machine Learning Collaborations: Member of Transregional Collaborative Research Centre 318 Management Programs: Alumnus of the BMBF-funded 'Software Campus' initiative

• Reversible Programming
• Compiler Construction
• Functional Programming
• +۳ مورد دیگر

Prof. Dr. Uwe Meyer is a faculty member at Technische Hochschule Mittelhessen (THM), where he serves as the Head of the Computer Science BSc program and Deputy Managing Director of the Institute for Programming Languages and their Application. He has held leadership roles in international conferences such as Program Chair of the 15th International Conference on Reversible Computation (RC 2023) and member of program committees for RC2024 and RC2025. Research Focus: Reversible programming, compiler construction, and automata theory. Key Contributions: Development of the RC3 compiler and reversible syntax analysis methods. Recent Publications center on deterministic automata, hybrid computing models, and language design. His work spans conferences like RC, DLT, and IFL, as well as journals including Acta Informatica and Theoretical Computer Science. Notable projects include the Janus programming language and RSSA virtual machine . Scientific Awards : Program Chair for RC2023 Program Committee Member for RC2024 and RC2025 Advising topics include compiler development, functional programming, and reversible computing projects. His teaching includes courses like Compiler Construction and Functional Programming .

Arne Meierمشاهده پروفایل

استاد

• Complexity Theory
• Parameterised Complexity Theory
• Logic in Computer Science
• +۳ مورد دیگر

Arne Meier is a Professor at Leibniz Universität Hannover, affiliated with the Faculty of Electrical Engineering and Computer Science and the Institute of Theoretical Computer Science. He heads the Algorithms research group, focusing on theoretical aspects of computer science with applications to artificial intelligence and database systems. Meier obtained all his academic degrees—Bachelor's, Master's, PhD, and Habilitation—at Leibniz Universität Hannover, establishing a strong foundation in theoretical computer science. His academic journey at the same institution reflects his deep commitment to advancing research in computational theory. Meier's research spans several interconnected areas in theoretical computer science. His primary focus is on complexity theory, particularly the parameterized complexity of problems in non-classical logics with applications to AI. He also investigates enumeration algorithms and the logical foundations of artificial intelligence. His work bridges theoretical computer science with practical applications in knowledge representation and reasoning systems. He has a notable interest in LaTeX and typography, having developed the 'timeline' package for creating timelines in LaTeX documents. His recent publications (2023-2025) demonstrate a consistent focus on the intersection of logic, complexity, and artificial intelligence. Meier's work shows progression from foundational research in dependence and team logics toward more applied areas in argumentation theory and database systems. His research increasingly addresses computational challenges in AI systems, particularly in reasoning under uncertainty and handling inconsistent information. Meier actively contributes to the academic community through extensive program committee service for major conferences including AAAI (2021, 2023, 2024, 2025), IJCAI (2021-2025), and FoIKS (2024 as Co-Chair, 2026). He has also served as a reviewer for numerous conferences and journals in theoretical computer science and artificial intelligence. His current research projects include the DAAD-funded 'Applications and Complexity of Logics in Semiring-Team-Semantics' (2024-2025) and the DFG project 'Team Logics: New Bridges to Database Repairs' (2023-2026). Previously, he led the DFG project 'Nonclassical logics: parametrised and enumeration complexity' (2013-2022) and the MWK project 'Innovation Plus: Komplexität von Algorithmen' (2020-2022). Meier leads the Algorithms research group at Leibniz Universität Hannover, which focuses on theoretical aspects of algorithms with applications to logic and artificial intelligence. The group's work spans complexity theory, logical formalisms, and their applications to computational problems in knowledge representation and database systems.

• Functional Programming
• Programming Education
• Domain-Specific Languages (DSL)
• +۳ مورد دیگر

Oliver Westphal is a Researcher at the University of Duisburg-Essen , Germany, affiliated with the Formal Methods of Computer Science department. Since 2020, he has been actively involved in teaching activities related to programming paradigms, functional programming, and foundational logic courses. His academic work focuses on functional programming education, automated assessment of programming assignments, and domain-specific languages (DSLs) for e-learning systems. His recent publications highlight expertise in developing frameworks for Haskell I/O exercise generation and testing, as well as implementing DSLs for educational technology. Westphal has contributed to international workshops such as WFLP, TFPIE, FLOPS, and ABP, with a focus on improving programming education through formal methods and automated evaluation techniques. Contact: oliver.westphal@uni-due.de | Office: Room LF 232, Lotharstr. 65, Duisburg

Jan Křetínskýمشاهده پروفایل

استادیار

• Formal Methods
• Software Reliability
• Automata Theory
• +۶ مورد دیگر

Jan Křetínský is an Assistant Professor at the Technical University of Munich (TUM) , affiliated with the TUM School of Computation, Information and Technology . His work focuses on formal methods for software reliability, including error detection, correctness proofs, and performance optimization of stochastic and real-time systems. He employs techniques from automata theory, logic, probability theory, and machine learning in his research. Education: Studied computer science, mathematics, philosophy, and linguistics at Masaryk University (Brno, Czech Republic); earned a doctorate (summa cum laude) in 2013 from Masaryk University and TUM. His research emphasizes verification and synthesis of safe controllers, with applications in probabilistic and temporal logic frameworks. Publications highlight intersections of formal methods, machine learning, and stochastic systems. Scientific Awards: IST Fellow (Institute of Science and Technology Austria)

• Quantum Computing
• Compiler Design
• Programming Languages
• +۳ مورد دیگر

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

• Static Analysis
• Abstract Interpretation
• Program Analysis
• +۴ مورد دیگر

Michael Schwarz is a postdoctoral researcher at the Technical University of Munich (TUM) in Prof. Helmut Seidl's group within the Department of Informatics, and a member of the DFG Research Training Group ConVeY (Continuous Verification of Cyber-Physical Systems). His educational background includes: B.Sc. in Computer Science from TUM (2016) M.Sc. in Computer Science from TUM (2019) Dr. rer. nat. (PhD) from TUM (2025, summa cum laude) His research centers on Static Analysis , specializing in Sound Static Analysis by Abstract Interpretation . Key contributions include developing techniques for efficient abstract interpretation of multi-threaded programs, making static analysis incremental to enhance usability, and designing novel analyses for overlooked C language features. His work primarily utilizes the Goblint framework for multi-threaded C programs, which he co-maintains with researchers from the University of Tartu. Recent publications (2023-2025) reveal a concentrated focus on advancing concurrency analysis and precision recovery in flow-sensitive contexts, with notable emphasis on thread-modular approaches and context-sensitivity optimizations for C programs. This trajectory has yielded recognition including a VMCAI 2024 Best Paper Award and SV-COMP'25 competition wins. Award highlights: Best Paper Award at VMCAI 2024 SV-COMP'25 data race category winner (2025) Recognition Award from Huawei for Goblint's industrial benchmark performance (2025) While specific advisee listings aren't provided, Schwarz actively contributes to academic service as PC member for SOAP '25 and NSAD '24, plus reviewer for STTT and CSV conferences. His research is supported by the DFG ConVeY grant focusing on cyber-physical systems verification. He leads development of the Goblint static analysis framework and participates in the ConVeY research consortium, maintaining active collaborations with the University of Tartu on multi-threaded program analysis.

• Static Analysis
• Abstract Interpretation
• Fixpoint Algorithms
• +۱ مورد دیگر

Sarah Tilscher, M.Sc., is a researcher at the Chair for Languages and Structures in Computer Science at the Technical University of Munich (TUM). She contributes to teaching tutorials for courses including Advanced Concepts of Programming Languages and Compiler Construction , and has supervised seminars on static analysis and programming paradigms. Her research focuses on: Incremental and interactive static analysis using abstract interpretation Verification of fixpoint algorithms in Isabelle theorem prover Development of the Goblint static analyzer for concurrent C programs Formal methods for program correctness and verification Her publications (11 recent works) predominantly explore static analysis techniques, abstract interpretation frameworks, and verification tools. Key themes include top-down solvers, weak relational domains, parser generators, correctness witnesses, and concurrency modeling, primarily applied to programming languages and compiler design. She actively supervises student theses on topics including incremental static analysis, visualization of analysis results, and verification of fixpoint algorithms. Current opportunities include master's projects on verified top-down solvers and bachelor's projects on solver code generation. As a core member of the Goblint project team, she develops static analysis tools for memory safety and termination verification, collaborating with TUM researchers and external partners.

Thomas Vogelمشاهده پروفایل

پژوهشگر

• Software Engineering
• Self-Adaptive Systems
• Autonomous Systems
• +۲ مورد دیگر

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 .

Ira Neitzelمشاهده پروفایل

استاد

• PDE-Constrained Optimization
• Numerical Analysis
• Optimal Control Theory
• +۵ مورد دیگر

Professor Ira Neitzel leads the Research Group for Optimization with Partial Differential Equations at the Institute for Numerical Simulation, Faculty of Mathematics and Natural Sciences, University of Bonn. Her research focuses on PDE-constrained optimal control problems, numerical analysis, and phase-field fracture modeling. She maintains active collaborations with institutions including TU Darmstadt and Leibniz University Hannover. Her primary research interests include: PDE-Constrained Optimization Numerical Analysis of Optimal Control Problems Regularization Approaches for Nonsmooth Control Fracture Propagation Modeling using Phase-Field Methods Recent work emphasizes quasilinear parabolic PDEs, state constraints, and sparse control applications in fracture mechanics. Analysis of her 15 most recent publications (2019-2025) reveals consistent focus on: Mathematical foundations of phase-field fracture control Numerical methods for state-constrained problems Convergence analysis of SQP algorithms Error estimation in finite element discretization Key journals include SIAM Journal on Control and Optimization, ESAIM: COCV, and Numerische Mathematik. Her scientific contributions include leadership in DFG Priority Program SPP 1962 and organization of the "Women in Optimization" workshop series. Notable projects include "Optimizing Fracture Propagation Using Phase-Field Approach" (SPP 1962) and "Sparse Controls in Optimization of Quasilinear PDEs" (SFB 1060). Professor Neitzel advises doctoral researchers including Andreas Hehl and Konstantinos Dimitriou. She teaches advanced courses in Numerical Algorithms, Scientific Computing, and Graduate Seminars on Numerical Simulation. Her group maintains active participation in the International GAMM Activity Group on Optimization with PDEs.

Deepak Gargمشاهده پروفایل

استاد

• Programming Languages
• Software Security
• Computer Science
• +۳ مورد دیگر

Deepak Garg is a tenured faculty member at the Max Planck Institute for Software Systems and an Honorary Professor of Computer Science at Saarland University. His research focuses on programming languages, software security, formal verification, and information flow control. Research Interests: Programming Languages and Type Theory Software Security and Secure Compilation Information Flow Control and Access Control Formal Verification of Low-Level Programs Probabilistic Programming and Security Compiler Correctness and Runtime Systems Scientific Contributions: He has authored over 40 publications with notable awards including the Dr.-Eduard-Martin-Prize for thesis supervision, Distinguished Paper and Distinguished Artifact awards at PLDI 2021, and the Internet Defense Prize for ERIM 2019. His work spans foundational research (e.g., logics for authorization) and practical systems (e.g., Groundhog, RefinedC, ERIM). Advising: Supervised 12 PhD students to completion and currently advising 7 PhD candidates across institutions like Saarland University, MPI-SWS, and Penn State University. His group includes co-advised students with researchers such as Derek Dreyer and Peter Druschel. Service: Active in program committees for top conferences including CSF , LICS , and OOPSLA , with leadership roles in workshops like PLMW and Dagstuhl Seminars on Secure Compilation.

Mickaël LAURENTمشاهده پروفایل

پژوهشگر

• Dynamic Programming Languages
• Type Systems
• Set-Theoretic Types
• +۹ مورد دیگر

Mickaël LAURENT is a French researcher in computer science currently working at Charles University with Jan Vitek. He completed his PhD in 2024 at Université Paris-Cité under Giuseppe Castagna and Kim Nguyen, focusing on polymorphic type inference for dynamic languages. His research combines parametric polymorphism, ad-hoc polymorphism, and subtyping in set-theoretic type systems. Affiliation: Charles University (Prague, Czech Republic) Previous Affiliation: Université Paris-Cité (IRIF & LMF) Research Interests span dynamic language type systems, occurrence typing, set-theoretic types, and traceability analysis. His work integrates union elimination, intersection type introduction, and type narrowing techniques to create sound and terminating type reconstruction algorithms. Scientific Awards : 1st Place, 2025 Thesis Award (GDR GPL) Teaching Experience includes courses on network programming (TCP/UDP sockets), binary machine principles (IEEE-754, cryptography), object-oriented programming in Java, web development (HTML/CSS/PHP), and Python programming for mathematics students. He also contributes to outreach programs like Fête de la Science. Projects include a type checker prototype for dynamic languages, the Modular Set-Theoretic Types Library (SSTT), Arbitrary Code Execution tools for Pokémon games, and a level editor for Kuru Kuru Kururin. His work bridges academic research with practical reverse engineering challenges.