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

• 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.

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.

• Software Engineering
• Formal Verification
• Concurrent Programming
• +۳ مورد دیگر

Prof. Dr. Andreas Podelski is a Professor of Software Engineering at the Institute of Computer Science (Institut für Informatik) at the University of Freiburg, part of the Faculty of Engineering. His research focuses on formal verification, software model checking, and requirements engineering, with a particular emphasis on improving the reliability and safety of complex software systems. He leads the SystemValid project, funded by the German Federal Ministry of Education and Research (BMBF), which aims to validate requirements in system and software development to reduce errors early in the design phase. Key contributions include the development of verification tools like Ultimate Automizer and Ultimate Taipan , which are used in international competitions (e.g., SMT-COMP). His work bridges theoretical foundations and practical applications, addressing challenges in concurrent systems and safety-critical software. Podelski has been recognized as an IEEE Fellow (2022) and has collaborated with industry partners like Bosch on real-world applications of formal methods. His research also extends to teaching and academic leadership, contributing to courses on software engineering, formal methods, and verification. He actively engages in interdisciplinary projects, such as the European Flagship initiative DigiTwins , and has published extensively on topics including automated testing, concurrency, and model-driven engineering.

• Biogeography
• Plant Evolution
• Angiosperm Systematics
• +۳ مورد دیگر

Dr. Elizabeth Joyce is a Research Fellow at Ludwig-Maximilians-Universität München, affiliated with the Faculty of Biology and the Department of Systematics, Biodiversity & Evolution of Plants. She works in the research group led by Prof. Kadereit, focusing on plant evolution and biogeography. Her work employs multi-scale approaches combining phylogenomic, phylogeographic, and floristic data to investigate Southeast Asian, New Guinean, and Australian flora dynamics, particularly the role of the Sunda-Sahul Floristic Exchange in shaping tropical diversity. She specializes in the angiosperm order Sapindales and dispersal syndromes impacting regional biogeography. Her research collaborations span institutions globally, including the Royal Botanic Gardens (Kew/Sydney), James Cook University, and the University of São Paulo. She has contributed to over 20 peer-reviewed publications, emphasizing phylogenetic frameworks, taxonomic revisions, and computational methods for resolving evolutionary conflicts in plant genomes. While not explicitly noted here, her work reflects strong engagement with both theoretical and applied aspects of plant systematics. Key areas of expertise include genomic data analysis using tools like HybPhaser for hybrid detection, molecular phylogeography of disjunct plant species, and integrative approaches to species delimitation. Her recent studies highlight innovative methods for improving locus recovery in target capture datasets, advancing comparative phylogenomics across angiosperms.

Vincent Heuvelineمشاهده پروفایل

استاد

• Uncertainty Quantification
• High Performance Computing
• Data Intensive Computing
• +۳ مورد دیگر

Professor Vincent Heuveline serves as Professor and Head of the Engineering Mathematics and Computing Lab (EMCL) at Heidelberg University's Interdisciplinary Center for Scientific Computing (IWR). He concurrently holds the positions of Chief Information Officer (CIO) and Director of the Computing Centre at the university, while leading the Data Mining and Uncertainty Quantification (DMQ) group at HITS gGmbH. His academic background includes: Studies in Mathematics, Physics, and Computer Science at Caen (France) and Würzburg (Germany) PhD in Computer Science (1997) from Université de Rennes and INRIA Habilitation in Mathematics (2002) at Heidelberg University Research focuses on uncertainty quantification (UQ) , high-performance computing (HPC) , and data-intensive computing with applications in medical engineering. He is deeply engaged in IT security research and teaching, developing practical frameworks for industrial deployment of numerical simulations and secure computing infrastructures. Recent publications reveal converging trends in biomedical image segmentation (e.g., Biomedisa platform), metabolic modeling for newborn diagnostics, and cybersecurity solutions like DGA detection. Key interdisciplinary themes include machine learning for medical applications, HPC algorithm optimization, and network security frameworks addressing real-world industrial challenges. He leads the EMCL and DMQ research groups, driving innovation in computational science. As CIO, he shapes Heidelberg University's digital infrastructure strategy while maintaining active industry collaborations for translating academic research into simulation and security solutions.

David Carralمشاهده پروفایل

پژوهشگر

• Knowledge Representation
• Database Theory
• Artificial Intelligence
• +۳ مورد دیگر

Dr. David Carral is a former Research Associate at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. His work focuses on Knowledge Representation , Database Theory , and Computational Logic , particularly in the context of ontology-based data access, existential rules, and chase termination analysis. He contributed to projects like CFAED and collaborated on systems such as VLog and ROWL . David supervised theses including "Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules" by Lukas Gerlach. His research bridges formal methods with practical applications in AI and database systems. Research interests include ontology design patterns , query rewritability , and efficient reasoning algorithms . He actively participated in conferences like KR and IJCAI, contributing to advancements in nonmonotonic reasoning and hyperproperties. His work integrates description logics, answer set programming, and semantic web technologies to address challenges in knowledge-based systems.

• Prosody
• Intonation
• Phonetics
• +۵ مورد دیگر

Prof. Bettina Braun is a faculty member at the University of Konstanz, specializing in prosody and intonation. Her research explores intonational contrasts, listener processing, and second language acquisition. She teaches phonetics, phonology, and experimental methods, and was honored with the students' teaching prize. She holds regular office hours and is supported by a secretary, Barbara Werner. Research focuses on how prosody interacts with lexical meaning, particularly in questions and sarcasm. Cross-linguistic studies feature prominently, including work on German, Persian, Chinese, and Swiss dialects. She emphasizes experimental methods, including Active Learning systems for perception experiments. Her work also examines infant-directed speech and L2 acquisition challenges. Key contributions include analyses of rhetorical vs. information-seeking questions, the role of pitch accents, and the impact of native language on prosodic perception. Ongoing projects are detailed on her dedicated page. Scientific awards include the University of Konstanz student-recognized teaching prize. Her lab's work is supported by collaborations in corpus development, such as the Konstanz prosodically annotated infant-directed speech corpus (KIDS corpus). She actively publishes on intonation’s role in disambiguation and cross-cultural communication.

Johannes Bauerمشاهده پروفایل

استاد

• Applied Cryptography
• Embedded Systems Security
• Vulnerability Assessment
• +۷ مورد دیگر

Prof. Johannes Bauer is a Professor of Computer Science at Cooperative State University Mannheim (DHBW Mannheim) since 2022. He holds a Ph.D. in Computer Science from Friedrich-Alexander-Universität Erlangen-Nürnberg (2016), focusing on cost-effective security measures for embedded systems. His research spans applied cryptography, vulnerability assessment, side-channel analysis, and hardware security modules (HSMs). Professional Experience: 2022–Present: Professor at DHBW Mannheim 2018–2021: Principal Designated Engineer for cybersecurity standards at Underwriters Laboratories 2016–2018: Product Security Officer at Robert Bosch Smart Home GmbH Research Interests: Embedded systems security Physical-layer attacks and covert channels Cold-boot attacks and memory forensics Hardware-software co-design for security Smart grid cybersecurity Publications Highlight: His 2016 Ph.D. thesis introduced novel methods for timing side-channel detection and anti-EMI feature abuse. Recent work includes analyzing demand response capabilities in smart grids (2019). Labs/Teams: Active in cybersecurity research groups, contributing to standards like ETSI EN 303 645 and UL MCV 1376. Collaborates with industry partners on embedded system hardening.

Klaus Ostermannمشاهده پروفایل

استاد

• Functional Programming
• Programming Language Design and Implementation
• Type Systems
• +۷ مورد دیگر

Klaus Ostermann is a Professor of Programming Languages and Software Technology at the Department of Computer Science, Faculty of Science, University of Tübingen, Germany. He leads a research group focused on programming language design, functional programming, and software modularity. Research Interests: His work spans functional programming, type systems, effect handlers, software architecture, and domain-specific languages. He investigates the duality between data and codata, the safe integration of effects in typed languages, and the modularity of software systems. His research often bridges theoretical foundations with practical implementations in languages like Scala and Haskell. The recent publications highlight a strong trend in effect systems, continuation-passing, and the symmetry between data and codata. His group develops the Effekt language and explores advanced compilation techniques for effect handlers, contributing to both theoretical understanding and practical language design. Scientific Awards: Most Influential Paper Award at GPCE 2018 for 'Polymorphic Embedding of DSLs' (2008 paper) He actively supervises PhD and master’s students, including Philipp Schuster, Marius Müller, and Jonathan Brachthäuser. His group has received funding for research in programming language foundations, effect systems, and software modularity, though specific grants are not listed. He serves on the program committees of top conferences such as POPL, ICFP, PLDI, and OOPSLA, reflecting his active role in the programming languages community. The research is conducted within the Uroboro project, which explores duality in programming language constructs, and involves collaboration with both national and international researchers. The team also engages in educational projects, including thesis supervision on topics ranging from probabilistic programming to music notation visualization.

Robert Willeمشاهده پروفایل

استاد

• Design Automation
• Quantum Computing
• Computer Science
• +۷ مورد دیگر

Prof. Dr. Robert Wille is a Full Professor at the Technical University of Munich (TUM) in the School of Computation, Information and Technology and Chief Scientific Officer at the Software Competence Center Hagenberg GmbH . He leads the Chair for Design Automation , focusing on automatic methods for complex system design in conventional and future technologies. Studied Computer Science (Diploma) at the University of Bremen (2002-2006) Doctorate (summa cum laude) from the University of Bremen (2009) His research spans quantum computing , microfluidic biochips , field-coupled nanotechnologies , and reversible circuits , with applications in machine learning , artificial intelligence , and cyber-physical systems . Recent work includes quantum circuit verification, radar-camera fusion, and silicon dangling bond logic optimization. Robert Wille has received prestigious awards such as the ERC Consolidator Grant , Google Research Award , and Distinguished Professor appointment . He serves as Associate Editor for journals like IEEE TCAD and Springer LNCS, and has chaired conferences including DATE and ICCAD.

• Compiler Design
• Programming Languages
• Static Analysis
• +۵ مورد دیگر

Elisabeth Sommer is a Lecturer at the Chair of Languages and Description Structures in Computer Science at Technische Universität München (TUM). She has been actively involved in teaching since at least 2018, specializing in compiler design, programming languages, and static analysis. Her courses include Compiler Construction , Virtual Machines , and Functional Programming and Verification . She has consistently taught advanced topics such as program optimization, language-based security, and quantum computing in compilers. Research interests focus on compiler design principles, static analysis techniques, and the integration of quantum computing with compiler optimization. She collaborates on projects like Goblint (a static analyzer) and contributes to initiatives such as SpAGAT and Teleteaching . Elisabeth has organized events like the Summer School Marktoberdorf 2019 and contributed to academic workshops. Her teaching spans multiple semesters, including recent offerings like Static Analysis - Strengthen Equalities by Relaxing Polyhedra (Summer 2025) and Quantum Computing at Compile Time (Winter 2024/25). She advises student theses and practical courses, though specific student names are not listed.

• Static Analysis
• Abstract Interpretation
• Programming Languages
• +۳ مورد دیگر

Julian Erhard is a researcher and lecturer at the Technical University of Munich (TUM), affiliated with the Chair of Languages and Description Structures in Computer Science under Prof. Helmut Seidl. His research focuses on static analysis techniques, particularly leveraging abstract interpretation to enhance precision and performance in compiler optimization and concurrency analysis. He contributes to the Goblint static analyzer and is a member of the ConVeY research training group. Erhard has organized preparatory mathematics courses and served as an exercise instructor for core computer science courses such as Functional Programming and Verification, Compiler Construction, and Static Analysis. His teaching spans multiple semesters from 2019 to 2025, emphasizing practical programming concepts and theoretical foundations. In research, he addresses challenges in context-sensitivity management, concurrency validation, and pointer analysis. His work includes developing frameworks like the digest framework for concurrency-sensitivity and tools like C-2PO for weakly relational pointer domains. Recent publications explore correctness witnesses for concurrent programs and optimizing context sensitivity dynamically. Erhard has co-organized ConVeY retreats and contributed to projects such as the Goblint validator and the Clustered relational thread-modular analysis framework. His expertise bridges theoretical advancements in abstract interpretation with practical compiler tool development.

• Compiler Design
• Static Analysis
• Functional Programming
• +۳ مورد دیگر

Alexandra Graß, M.Sc., is a member of the TUM Institute of Computer Science I2 , specifically within the Computer Science 2 - Chair of Languages and Description Structures in Computer Science led by Prof. Dr. Helmut Seidl. She has been actively involved in teaching and research since at least 2019. Her teaching responsibilities include courses such as Compiler Construction , Virtual Machines , Functional Programming and Verification , and Program Optimization . She has also supervised internships and seminars focused on static analysis, quantum computing at compile time, and next-gen programming interfaces. Her research interests span compiler design, static analysis techniques, and their application to software verification and optimization. Projects she contributes to include tools like Goblint and Teleteaching . She has organized and participated in academic events such as the Summer School Marktoberdorf and Ferienakademie conferences. Alexandra has consistently taught core computer science courses across multiple semesters, demonstrating expertise in both theoretical and applied aspects of programming languages and compiler technologies. While no specific grants or awards are listed, her active involvement in teaching and research indicates significant contributions to the field.

• Compiler Design
• Static Analysis
• Programming Languages
• +۵ مورد دیگر

Michael Petter is a faculty member at the Technische Universität München (TUM), affiliated with the School of Computer Science II (Informatik 2) and the Department of Languages and Description Structures in Computer Science. He specializes in compiler design, static analysis, and formal verification, with a focus on developing tools like the Goblint framework for multi-threaded C programs. His teaching spans courses such as Compiler Construction, Program Optimization, and Functional Programming, reflecting his expertise in programming languages and software engineering. His research interests include static analysis techniques, concurrency control, and abstract interpretation frameworks. He has contributed to advancements in flow-sensitive analysis, context-sensitivity management, and precision recovery in program analysis. Recent work emphasizes improving static analysis tools for industrial benchmarks and enhancing their usability through incremental methods. Petter’s publications highlight innovations in numerical abstract domains (e.g., octagons), non-local jump misuse detection, and thread-modular analysis for multi-threaded systems. His involvement in projects like the DFG Research Training Group ConVeY underscores his commitment to advancing continuous verification in cyber-physical systems. He advises thesis projects on topics like quantum computing at compile time and program synthesis, fostering interdisciplinary collaboration. While actively engaged in academic events and editorial roles, he maintains a lab focused on cutting-edge compiler and static analysis research.