جستجوی استاد راهنمای دانشگاهی

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.

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

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.

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

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.

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

Laura Hartmann-Wackers is a Research and Teaching Fellow at the Chair of Practical Philosophy, Heinrich Heine University Düsseldorf (HHU). She holds a Master of Arts in Philosophy and is currently pursuing her doctorate since 2017. Research Focus: Privacy theories (especially in dementia contexts), American Transcendentalism, medical ethics, and virtue ethics. Teaching: Co-led seminars on topics like Thoreau's Walden , Mill's utilitarianism, and feminist ethics at HHU. Leadership: Doctoral representative at philGRAD Graduate Academy, board member of IPPA (Düsseldorf Institute for Philosophy of Public Affairs). Her dissertation investigates privacy in dementia, addressing conceptual definitions and challenges to traditional privacy theories. She has explored historical significance of American Transcendentalism and published on posthumous privacy in social networks. Key Publications: "Ins Netz gegangen – Privatheit post mortem im Sozialen Netzwerken" (2022) Co-edited anthology on American Transcendentalism (2018) She received the 2018 Nachwuchspreis for conference presentation and participated in mentoring programs like SelmaMeyerWISS. Her work intersects with data protection, patient autonomy, and ethical challenges in caregiving.

• Moral Philosophy
• Medical Ethics
• Privacy
• +۷ مورد دیگر

Christine von Oertzen is a Professor of Media Practices at the Media Studies Department, Humboldt University of Berlin, and a key speaker for the International Max Planck Research School (IMPRS) "Knowledge and Its Resources." Her scholarly work bridges the history of science, gender studies, and material culture, focusing on data epistemologies and the socio-material dimensions of knowledge production. Her research integrates media studies, environmental and supply chain histories, and the history of bureaucracy. She has led significant projects like Historicizing Big Data and Working With Paper: Gendered Practices in the History of Knowledge , emphasizing how paper technologies and gendered labor shaped data practices long before mechanization. Recent publications analyze intersections between data visualization, resource regimes, and Cold War political economies. At Humboldt University, she contributes to doctoral training through IMPRS, blending digital humanities with transnational collaboration. Her work highlights continuities in data practices from the 18th century to modern "Big Data" debates.

• Gender relations in society and science
• Material culture of collecting, processing, and visualizing data
• Data epistemologies
• +۸ مورد دیگر

Satnam Singh is a Professor at Newcastle University's School of Electrical and Electronic Engineering, UK. With a research career spanning over three decades from 1989 to present, Singh has established himself as a leading expert in hardware design, FPGA programming, and parallel computing systems. His research interests focus on hardware-software co-design , reconfigurable computing , and functional programming applications for hardware design. Singh has pioneered work in using functional languages like Haskell for hardware description and verification, particularly through his contributions to the Lava hardware description language. His work bridges theoretical computer science with practical hardware implementation challenges. Analysis of his publication history reveals a clear evolution from early work on formal verification and FPGA design in the 1990s, through substantial contributions to parallel programming models in the 2000s, to more recent applications of machine learning techniques in diverse domains including cheminformatics and sensory systems. His 2022-2025 publications demonstrate continued innovation in specialized processor programming, AI applications for olfactory systems, and health hazard classification using deep learning. Singh has maintained extensive collaborations throughout his career, notably with Krishna R. Pattipati (15 joint publications), Anuradha Kodali (8 publications), and David J. Greaves (5 publications), reflecting his ability to bridge theoretical computer science with practical engineering applications. His work spans multiple prestigious venues including FPGA, FCCM, ICFP, and IEEE Transactions on Systems, Man, and Cybernetics, demonstrating both theoretical depth and practical impact across computer architecture, programming languages, and applied machine learning domains.

• Hardware Design
• FPGA Programming
• Parallel Computing
• +۵ مورد دیگر

Philipp Slusallek is a Professor at Saarland University and Scientific Director at the German Research Center for Artificial Intelligence (DFKI) . As co-founder of the European AI initiative CAIRNE and former Director of Research at the Intel Visual Computing Institute , he bridges academia and industry in artificial intelligence, simulated reality, and high-performance computing. Education : Diplom in Physics (1990, University of Tübingen), PhD in Computer Science (1995, University of Erlangen). His research focuses on AI-driven simulation , real-time rendering , and next-generation programming models . Recent work explores cross-disciplinary applications in virtual reality , biomechanics , and telecommunications , emphasizing hardware-software co-design for GPUs and FPGAs. His publications highlight trends in real-time graphics , motion synthesis , and AI for Science , with applications in rehabilitation monitoring and multi-agent systems . Scientific Awards : Eurographics Gold Medal (2023), Fellow of Eurographics Association (2013), European IST Innovation Award (2006). Slusallek leads the Agents and Simulated Reality research area at DFKI, contributing to European AI policy through advisory roles at PTB and CERTAIN .

• Artificial Intelligence
• Simulated Digital Reality
• Real-Time Graphics
• +۴ مورد دیگر

Timo Spiegel is a Postdoctoral Researcher at the GEOMAR Helmholtz Centre for Ocean Research Kiel and the University of Hamburg, working within Topic 6 and Department 2: Marine Biogeochemistry, specifically in the Research Unit (RU) Marine Geosystems. He is currently involved in the PrimePrevention research project (until September 1, 2026), following his prior work on the APOC project focused on anthropogenic influences on the particulate organic carbon cycle in the North Sea. His research interests center on benthic material cycles , age-depth modeling , and spatial upscaling , with a strong foundation in sediment geochemistry and marine biogeochemical processes. His work integrates field data, geochemical analysis, and modeling to understand carbon, nutrient, and elemental cycling in marine sediments, particularly in shelf seas like the Skagerrak, North Sea, and Amazon shelf. The trends in his recent publications reveal a strong focus on human impacts on marine carbon storage, including the effects of bottom trawling and sediment resuspension on CO₂ emissions, as well as exploring ocean-based climate solutions such as alkalinity enhancement through mineral addition. His work spans disciplines including marine geology, geochemistry, climate science, and environmental engineering, often published in high-impact journals like Nature Geoscience and Communications Earth & Environment . He has collaborated extensively with researchers across Europe and has contributed to major scientific efforts, including cruise reports and multi-institutional databases like EURO-CARBON. His career path includes a PhD in Geosciences from Christian-Albrechts-University, Kiel (2024), and prior Bachelor’s and Master’s degrees in Geosciences from the same institution. While no formal advisees or scientific awards are listed in the provided text, his active publication record and involvement in significant research projects indicate a strong trajectory in marine biogeochemistry. He is based at GEOMAR in Kiel, Germany.

• Marine Biogeochemistry
• Benthic Material Cycles
• Sediment Geochemistry
• +۷ مورد دیگر

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.

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

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.

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

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
• Functional Programming
• +۳ مورد دیگر

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.

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

Prof. Dr. Thomas Borsch is a renowned academic at the Freie Universität Berlin, serving as Professor of Systematic Botany and Geography of Plants and Director of the Botanical Garden Berlin. He holds a W3 professorship and leads the Borsch Group, focusing on plant evolution, phylogenetics, and biodiversity conservation. His career includes roles at the University of Oldenburg and the Nees Institute, with expertise in molecular systematics and integrative taxonomy. Education: PhD (2000) and Habilitation (2005) from the University of Bonn. His research spans plant phylogenomics, biogeography, and conservation strategies, with active projects in Colombia, the South Caucasus, and Vietnam. He co-leads initiatives like ColBioDiv and EvoBoGa, emphasizing biodiversity management and genetic resource utilization. Key achievements include over 110 peer-reviewed articles, contributions to global flora projects (e.g., World Flora Online), and leadership roles in scientific bodies like the Consortium of European Taxonomic Facilities. Awards include the Heisenberg Fellowship and Jugend forscht Prize. His lab facilities specialize in DNA analysis, genome sequencing, and microscopy. Research interests emphasize workflow development for museum collections, sustainable biodiversity use, and international collaboration. His team includes postdocs and PhD students working on projects ranging from Campanulaceae phylogeny to Andean forest dynamics.

• Evolution of flowering plants
• Phylogenetics and phylogenomics
• Biogeography
• +۳ مورد دیگر

Sebastian Hack is a Professor of Computer Science at Saarland University since 2010. He previously served as an assistant professor at the same university (2008-2010), a Post-Doc at EPFL in the LAMP lab, and a Post-Doc with INRIA at ENS Lyon. His research focuses on compiler construction, domain-specific languages, program analysis and synthesis, code generation, and vectorization. Recent publications highlight advancements in program synthesis (Sorting Kernels), memory safety instrumentations, automatic differentiation frameworks (MimIrADe), microarchitectural analysis (AnICA), and GPU acceleration for bioinformatics (Anyseq/gpu). His work bridges theoretical compiler design with practical applications in high-performance computing and security. He has held administrative roles as Dean of Study Affairs (2012-2014) and Dean of the Department of Mathematics and Computer Science (2018-2020). His software contributions include libFirm and GrGen , and he maintains active involvement in projects like AnyDSL and UniAna.

• Compiler Construction
• Domain-Specific Languages
• Program Analysis
• +۶ مورد دیگر

Dr. Peter Kissmann is a researcher in the Computer Science Department at Universität des Saarlandes, Germany, affiliated with the Foundations of Artificial Intelligence (FAI) Group. His work focuses on automated planning systems, particularly in optimal and net-benefit planning domains. Research Interests: His primary research areas include Artificial Intelligence, Automated Planning, Symbolic Reasoning, Heuristic Search, and Knowledge Representation. He specializes in BDD-based planning, variable ordering, and symbolic search algorithms for optimal planning. The 15 most recent publications reflect his sustained contributions to the International Planning Competitions (IPC) from 2008 to 2014, showcasing evolution in planner design, including support for conditional effects, bidirectional search, improved variable ordering, and integration of modern BDD libraries like CUDD. These works demonstrate deep technical innovation in planner efficiency, robustness, and scalability. Scientific Awards: No awards mentioned in the provided text. Advising and Grants: There is no explicit information about students or grant funding in the provided material. However, his leadership in developing and releasing competitive planning systems suggests involvement in research projects, possibly with student contributors or collaboration within the FAI group. Labs and Teams: He is a member of the Foundations of Artificial Intelligence (FAI) Group at Universität des Saarlandes, which develops advanced planning systems and participates in international competitions like the IPC.

• Artificial Intelligence
• Automated Planning
• Symbolic Reasoning
• +۶ مورد دیگر