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

Helmut K. Anheierمشاهده پروفایل

استاد

• Governance
• Nonprofit Organizations
• Philanthropy
• +۳ مورد دیگر

Helmut K. Anheier is a Senior Professor of Sociology at the Hertie School, where he served as President from 2009 to 2018. He concurrently holds faculty positions at UCLA’s Luskin School of Public Affairs and is a visiting professor at LSE Ideas. His research focuses on governance, nonprofit organizations, philanthropy, and indicator systems. He led the Hertie School’s Governance Report series (2013–2019), directed Heidelberg University’s Centre for Social Investment and Innovation, and co-directed the Dahrendorf Forum (2011–2020). He earned his PhD from Yale University in 1986 and has held roles at Johns Hopkins University, UCLA, LSE, and Rutgers University. Education: PhD in Sociology, Yale University, 1986 Research: Dr. Anheier’s work bridges sociology and public policy, emphasizing governance frameworks and cultural policy. His projects include the Indicator Framework on Culture and Democracy (IFCD) and comparative analyses of German foreign cultural policy. Awards: While specifics are not listed, he has received multiple national and international honors for his scholarly contributions. Grants & Labs: He spearheaded initiatives like the Governance Report and Dahrendorf Forum, focusing on transatlantic dialogue and governance innovation.

Michael Lehnمشاهده پروفایل

پژوهشگر

• High-Performance Computing
• Numerical Mathematics
• Parallel Computing
• +۳ مورد دیگر

Michael Lehn is a Senior Academic Councillor at the Institute for Numerical Mathematics, University of Ulm, holding his position since 2008. He earned a Diplom in Business Mathematics from the University of Ulm (2002), a Master of Science in Applied Mathematics from the University of Southern California (2001), and a Dr. rer. nat. in Mathematics from the University of Ulm (2008). Education: 1995-2002: Studies at University of Ulm (Diplom) 1999-2001: Master of Science at University of Southern California (Los Angeles) 2002-2008: Doctorate at University of Ulm (Dr. rer. nat.) Research Interests: Focuses on high-performance computing (HPC), numerical methods, and software development for education. His work includes tools like ulm-on-ice (RISC architecture simulator), FLENS (numerical library), and ulmBLAS (high-performance BLAS implementation). He emphasizes practical applications of numerical mathematics through compiler design and educational software. Teaching: Taught advanced mathematics courses for physicists and computer scientists, as well as software basics in HPC (e.g., Summer 2014–2015). Courses included Numerics for Computer Scientists , Mathematical Foundations of Economics , and compiler development. Awards: 2015 Teaching Award (Lehrpreis) from the University of Ulm. Labs/Teams: Managed the Ulm Center for Scientific Computing (UZWR) from 2006–2008. Active in developing open-source tools for HPC education and research.

Andreas Zellerمشاهده پروفایل

استاد

• Software Testing
• Automated Debugging
• Fuzzing
• +۵ مورد دیگر

Andreas Zeller is a Professor at Saarland University and leads the Software Analysis and Testing Group at CISPA Helmholtz Center for Information Security. His research focuses on automated software testing, debugging, and security, with a strong emphasis on fuzzing techniques. He holds an ERC Advanced Grant for his 'Semantics of Software Systems' (S3) project, which explores massive test generation and oracle mechanisms. Zeller is renowned for his open-access books The Fuzzing Book and The Debugging Book , which provide interactive tools for learning and applying testing and debugging methods. His work includes developing the Fandango fuzzer, which combines grammars, constraints, and evolutionary algorithms for effective test generation. Zeller advises a group of over ten PhD students and collaborates internationally on cutting-edge research. In 2025, he received the ACM SIGSOFT Influential Educator Award for contributions to automated software engineering education. His research also extends to start-ups like InputLab GmbH, focused on synthesizing test data for enterprise applications. Recent projects include GDBMiner for input grammar extraction and Information Flow Fuzzing for detecting security leaks. Zeller actively participates in conferences like ICSE, FSE, and AST, delivering keynotes and organizing sessions on the future of software engineering.

• Logic
• Automated Reasoning
• First-Order Logic
• +۳ مورد دیگر

Lorenz Leutgeb is a Doctoral Researcher in the Automation of Logic Research Group at the Max Planck Institute for Informatics since October 2021. He is also a member of the International Max Planck Research School on Trustworthy Computing and the Saarbrücken Graduate School of Computer Science. His educational background includes a BSc in Software and Information Engineering from TU Wien and an MSc in Computational Logic through the European Master's Program in Computational Logic, which involved studies at TU Dresden, Free University Bolzano, and TU Wien. Lorenz's research focuses on automated reasoning , particularly in the domain of first-order logic and theorem proving . His work addresses challenges in efficient algorithms for subsumption testing, symbolic model construction for constrained Horn clauses, and watched literal schemes for first-order logic. His research contributes to the advancement of automated reasoning systems that can handle complex logical problems with improved efficiency. His recent publications demonstrate expertise in developing practical algorithms that enhance the performance of automated theorem provers, particularly in the context of first-order logic with linear rational arithmetic constraints. Member of the Program Committee of HCVS 2025 Member of the Artifact Evaluation Committee of TACAS 2024, CAV 2024, ATVA 2024 Subreviewer for CASC 2024 Student representative of the European Master's Program in Computational Logic (cohort of 2017) Lorenz has served as a Teaching Tutor in Theoretical Computer Science and Logics at TU Wien during the 2017 summer semester. His previous experience includes working as a Research Scientist/Engineer at Commonwealth Scientific and Industrial Research Organization (CSIRO), where he contributed to the implementation and verification of a WebAssembly target for the CakeML compiler infrastructure. He is actively involved in the academic community through program committee memberships and artifact evaluations for major conferences in his field.

• Programming Languages
• Program Verification
• Software Security
• +۵ مورد دیگر

Gilles Barthe is a scientific director at the Max Planck Institute for Security and Privacy in Bochum, Germany, and a part-time research professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on programming languages, program verification, cryptography, privacy, and mathematical logic, with an emphasis on applying relational verification to cryptographic systems. He leads the Foundations of Security and Privacy Group, developing techniques to ensure cryptographic software is secure against timing and side-channel attacks, and verifies implementations of post-quantum algorithms like Kyber. Barthe has pioneered tools such as EasyCrypt for formal proofs, and contributed to standards like AWS Key Management Service verification. His work bridges theory (e.g., quantum verification) and practice (e.g., compiler optimization for constant-time code). Education: Ph.D. in 1993 from University of Manchester, followed by roles at INRIA, IMDEA, and others. Research Interests: Secure compilation, cryptographic protocol verification, differential privacy, and quantum programming semantics. Recent articles explore secure compilation against Spectre variants, quantum relational logics, and formal verification of lattice-based cryptography. He has advised over 20 PhD/Master’s students, many contributing to cryptographic verification frameworks. Barthe’s teams collaborate on high-assurance implementations, masking techniques, and mitigating modern microarchitecture threats. His lab’s work includes PanCast for epidemic risk mitigation and certified cryptographic libraries.

Isaac Sheffمشاهده پروفایل

پژوهشگر ارشد

• Distributed Systems
• Consensus Protocols
• Heterogeneous Trust
• +۲ مورد دیگر

Isaac Sheff is a Senior Research Scientist at Heliax and former Postdoctoral Researcher at the Max Planck Institute for Software Systems. His research focuses on distributed systems, consensus protocols, and formal verification, with applications to blockchain technology. He leads development of Typhon, a next-generation heterogeneous consensus protocol enabling fast finality and multi-chain atomic transactions. His work combines theoretical foundations with practical implementations in Haskell and Coq. Publications demonstrate his contributions to program logics (Iris, Melocoton), consensus algorithms (Heterogeneous Paxos), and distributed data structures (Charlotte). His research consistently bridges formal methods, distributed systems, and security. He has collaborated on projects including ProLoc and CoVault that develop privacy-preserving location proofs and secure analytics platforms using distributed systems principles.

Aristotelis Koutsouridisمشاهده پروفایل

پژوهشگر

• Programming Languages
• Memory Models
• Formal Verification
• +۱ مورد دیگر

Aristotelis Koutsouridis conducts research in programming language theory at the Max Planck Institute for Software Systems. His work automates verification of memory model metatheory using intersection-based approaches, contributing to formal methods for concurrent systems. Research develops techniques for validating compiler optimizations and memory consistency models through automated theorem proving. This advances reliability of low-level system software.

• High-Performance Computing
• Parallel Computing
• Distributed Systems
• +۴ مورد دیگر

George Bosilca is a Professor at the University of Tennessee, Knoxville, specializing in high-performance computing and parallel systems. With over two decades of research contributions, he has established himself as a leading expert in task-based runtime systems, distributed computing, and MPI implementations. His research focuses on developing and optimizing task-based runtime systems for extreme-scale computing environments, with particular emphasis on fault tolerance, performance optimization, and scalability. Bosilca's work spans multiple domains including scientific computing, climate modeling, and deep learning applications. He has made significant contributions to the PaRSEC runtime system and has extensively researched MPI optimization techniques for modern HPC architectures. The trend in Bosilca's recent publications demonstrates a strong focus on addressing challenges in exascale computing, including fault tolerance in distributed systems, GPU acceleration for scientific workloads, and energy-efficient computing techniques. His work bridges theoretical computer science with practical implementations for real-world scientific applications across various domains. Bosilca maintains extensive collaborations with leading researchers in the HPC community, most notably with Jack J. Dongarra (103 co-publications), Aurelien Bouteiller (60 co-publications), and Thomas Hérault (54 co-publications). These collaborations have resulted in numerous publications at top-tier conferences including SC, IPDPS, and EuroMPI, as well as in prestigious journals such as IEEE Transactions on Parallel and Distributed Systems and the International Journal of High Performance Computing Applications.

• High Performance Computing
• Parallel Programming
• OpenMP
• +۲ مورد دیگر

Matthias S. Müller is affiliated with RWTH Aachen University's IT Center, with additional associations to TU Dresden's Center for Information Services and High Performance Computing and the University of Stuttgart's High Performance Computing Center. His research focuses on parallel computing paradigms, OpenMP optimizations, and energy-efficient high-performance computing. Recent publications demonstrate specialization in parallel pattern compilers, OpenMP runtime optimizations, and energy-aware computing benchmarks. His team develops tools for performance analysis and optimization in heterogeneous computing environments, with applications in computer vision and scientific computing.

• High-Performance Computing
• Energy Efficiency
• Parallel Computing
• +۳ مورد دیگر

Ananta Tiwari is a researcher specializing in High-Performance Computing (HPC), energy efficiency, and parallel system optimization. His work focuses on optimizing HPC applications, workload management, and resource allocation strategies to enhance both performance and energy efficiency. Tiwari has collaborated extensively with institutions like the University of Maryland, UC San Diego, and Lawrence Livermore National Laboratory through his research activities. Education: PhD in Computer Science, University of Maryland, College Park (2011) Research Interests: Energy-efficient HPC systems Parallel application auto-tuning frameworks Workload characterization and extrapolation Node-sharing and resource pricing models ARM architecture optimization for HPC Key Contributions: Tiwari's research spans energy optimization techniques for large-scale MPI applications, colocation strategies for HPC workloads, and binary instrumentation tools for program analysis. His work on auto-tuning frameworks and multi-objective modeling with machine learning addresses critical challenges in balancing performance, power consumption, and scalability in modern HPC environments.

• Arctic Basin Formation
• North Atlantic Deep Water Development
• Southern Ocean Seaways
• +۵ مورد دیگر

Dr. Wolfram Geissler is a geophysicist at the Alfred Wegener Institute (AWI) in Bremerhaven, Germany. He specializes in geophysical research focusing on Arctic and Southern Ocean dynamics, including the formation of the Arctic Basin, North Atlantic Deep Water circulation, and Southern Ocean seaways. His work also involves studying climate transitions from the Cretaceous to Tertiary periods, glacial dynamics, and marine microseismic activities. He contributes to long-term observational projects and bathymetric studies. Research interests include the development of ice sheets, lake-based climate archives, and the application of advanced geophysical methods such as multibeam echo sounders and high-resolution seismics. He is affiliated with the Geophysics department under the Geosciences division at AWI, actively involved in expeditions and data collection for oceanographic and climatic studies.

• Phytoplankton functional types
• Temperature-growth functions
• Biogeochemical modelling
• +۳ مورد دیگر

Hannah Haines is a Researcher at the Alfred Wegener Institute (AWI), contributing to the Marine Ecosystems and System Sciences (MarESys) junior research group. Her work focuses on phytoplankton functional types, temperature-growth relationships, and biogeochemical modeling. She is actively involved in the Western Channel Observatory project, which compiles over a century of data on physical, chemical, and biological processes in marine ecosystems. Her research emphasizes understanding ecosystem dynamics and methodological advancements in regime shift detection. Based in Bremerhaven, Germany, Haines' contributions include long-term observational studies and statistical analyses of marine ecosystems. She collaborates on interdisciplinary projects integrating pelagic and benthic habitat data to address climate change impacts. No scientific awards are explicitly mentioned in the provided texts.

Steffen Köhlerمشاهده پروفایل

پژوهشگر

• Compiler Construction
• Computer Architecture
• Software Engineering
• +۳ مورد دیگر

Dr.-Ing. Steffen Köhler is affiliated with the Chair of Compiler Construction at Technische Universität Dresden. His role involves research and academic contributions in compiler technologies and related fields. Contact details include steffen.koehler@tu-dresden.de and office location at Helmholtzstrasse 18, Dresden. Research interests are inferred from departmental focus areas such as compiler optimization, parallel computing, and software development methodologies. No specific awards or publications are listed in the provided text, though his profile links to student thesis topics and a curriculum vitae for further details.

• Observational Cosmology
• Cosmic Expansion Rate
• Dark Energy and Dark Matter
• +۷ مورد دیگر

Dr. Sherry H. Suyu is an Associate Professor at the Technical University of Munich (TUM) and a Max Planck Fellow at the Max Planck Institute for Astrophysics. Her research focuses on gravitational lensing applications for cosmology, particularly in measuring the cosmic expansion rate and studying dark energy/dark matter. She leads the HOLISMOKES program funded by an ERC Consolidator Grant. Her research group at TUM School of Natural Sciences Department of Physics investigates: Dark cosmos through gravitational lensing Supernova observations and Tidal Disruption Events Bayesian inference methods for astrophysical modeling Machine learning applications in lensed system analysis Scientific achievements include: 2021 Berkeley Prize from American Astronomical Society ERC Consolidator Grant for HOLISMOKES program Discovery of 330 high-quality lens candidates in Pan-STARRS survey She teaches courses including: Experimental Physics 1 (Winter 2024/5) Gravitational Lensing (Winter 2024/5) Introduction to Nuclear/Particle/Astrophysics (Summer 2025) The group includes 13 active members and 14 alumni across 7 institutions. Current work integrates HST and LSST imaging for next-generation lens discovery.

• Poetry
• Environmental Literature
• Indigenous Rights Advocacy
• +۴ مورد دیگر

Prof. Dr. John Kinsella is a DAAD Visiting Professor in the Department of English Literatures and Cultures at the University of Tübingen, collaborating with the Interdisciplinary Centre for Global South Studies. His work bridges poetry, literary theory, and environmental advocacy. He holds affiliations with Churchill College Cambridge, Curtin University, and the University of Western Australia. Research focuses include environmental justice, Indigenous rights, and activist poetics. Notable collaborations include False Claims of Colonial Thieves with Yamaji poet Charmaine Papertalk-Green. His oeuvre spans 50 poetry collections and 8 critical monographs, including Legibility (2022) and Collected Poems (2022–2024). Teaching emphasizes creative writing and activist poetry, as evidenced by the Tübingen Poetry Anthology compiling student works from his 2021–2022 workshops. His interdisciplinary approach integrates global south studies with ecological and social justice themes.