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

Andrea Reichenbergerمشاهده پروفایل

استاد مهمان

• Women and Gender Studies in STEM (MINT)
• History and Philosophy of Computer Science and AI
• History and Philosophy of Mathematics and Physics

Andrea Reichenberger is a visiting professor in the history of technology at the Department of Science, Technology and Society (STS) at the Technical University of Munich (TUM). She holds a PhD in philosophy of technology from the University of Paderborn and has held roles including research group leader at the University of Siegen and visiting professor at TUM. Her research focuses on women and gender in STEM, history and philosophy of mathematics/physics/CS/AI, and ethical dimensions of science. Currently, she leads a DFG project on women in quantum physics history and another on visual-spatial communication (ViCom SPP 2329). Her awards include a Best Paper Award (2009) and certificates from mathematical logic institutions. She actively organizes events like the 2025 workshop on ethics and computer science at the Deutsches Museum. She has authored a monograph on Émilie du Châtelet (Springer 2016) and over 50 articles, including peer-reviewed contributions to journals like *Physics Today* and *History and Philosophy of Logic*. Education: PhD in Philosophy of Technology (University of Paderborn) Grants: DFG projects (2022-2025; 2025-2028) Publications: 50+ articles, 2 books, edited volumes on women in science Teaching: Develops digital methods for HPS education, leads courses on technology history and gender studies Her work bridges history of science with contemporary ethical challenges, emphasizing sustainability through historical inquiry.

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

Felix Höflingمشاهده پروفایل

استاد

• Statistical Physics
• Biological Physics
• Molecular Dynamics
• +۳ مورد دیگر

Prof. Felix Höfling holds a W2 non-tenure professorship for 'High-performance computing in molecular dynamics' at Freie Universität Berlin (since 2015). He leads the Computational Statistical & Biological Physics group within the Department of Mathematics and Computer Science. Prior roles include research associate positions at the Max Planck Institute for Intelligent Systems (2010–2015), postdoctoral research at the University of Oxford (2009), and doctoral work at Ludwig-Maximilians-Universität München (2006, summa cum laude). His research focuses on computational methods in statistical and biological physics, including molecular dynamics simulations, anomalous transport in crowded environments, and high-performance computing. Notable contributions include studies on liquid-vapor interfaces, colloidal dynamics, and the interplay between microscopic and macroscopic transport phenomena. His work integrates theoretical modeling, numerical simulations, and interdisciplinary applications in soft matter and biophysics. Editorial Board Member of Communications Physics (since 2023) Director of the CECAM node 'Mathematics and Computation in Molecular Simulation' (since 2022) Head of the MSc Examination Board for Computational Sciences (since 2019) His research articles explore topics such as surface tension modulation, confined fluids, and active matter systems. Key achievements include a highly cited review on anomalous transport in biological cells (2013) and contributions to the development of the H5MD molecular data format. Awarded 'Distinguished Referee' by the European Physical Journal (2013) Recipient of grants for projects on open systems and parallel computing Prof. Höfling oversees the Computational Statistical & Biological Physics lab, emphasizing collaborative research in computational physics and interdisciplinary applications.

Johannes Tölleمشاهده پروفایل

استادیار

• Electronic Structure Theory
• Quantum Chemistry
• Computational Chemistry
• +۳ مورد دیگر

Dr. Johannes Tölle is a faculty member in the Department of Chemistry at the University of Hamburg's Faculty of Mathematics, Informatics and Natural Sciences, where he leads the Tölle Research Group as an independent junior investigator. His research centers on electronic structure theory with expertise in quantum embedding methods, many-body electronic structure calculations, and excited-state simulations. The group develops advanced computational frameworks for modeling quantum mechanical properties of molecules and materials in ground and excited states, focusing on seamless integration of local and collective phenomena through subsystem time-dependent density functional theory and equation-of-motion coupled-cluster formalisms. The Tölle group maintains two major open-source software projects: Serenity (a subsystem quantum chemistry program) and Block2 (a comprehensive framework for density matrix renormalization group algorithms). Their work bridges theoretical developments in quantum many-body physics with practical applications in computational chemistry, including ab initio descriptions of superconducting trends in cuprate materials.

Ivan Fernandez-Corbatonمشاهده پروفایل

پژوهشگر

• Electromagnetic radiation
• Light-matter interactions
• Symmetries and conservation laws
• +۵ مورد دیگر

Ivan Fernandez-Corbaton is a Project Leader and Staff Scientist at the Institute of Nanotechnology, Karlsruhe Institute of Technology (KIT), where he leads research in the Theoretical Nanooptics unit. His position focuses on fundamental electromagnetic theory with applications in nanophotonics and metamaterials. His research centers on the systematic use of electromagnetic duality symmetry and its conserved quantity, electromagnetic helicity, to treat electromagnetic polarization degrees of freedom. This approach provides insights and design guidelines across diverse areas including zero backscattering, optical activity, metamaterials for transformation optics, and nanophotonic phenomena involving electromagnetic angular momentum. His work bridges theoretical physics with practical applications in chiral sensing, thermal radiation control, and light structuring technologies. Analysis of his recent publications reveals a strong focus on computational methods for electromagnetic problems, particularly the T-matrix formalism extended to polychromatic fields and complex geometries. His research increasingly integrates multi-scale approaches connecting quantum chemical simulations with classical electromagnetic modeling, especially for molecular nanomaterials and chiral structures. The work shows consistent theoretical depth with practical applications in sensing, light manipulation, and thermal radiation control. As a Staff Scientist, Fernandez-Corbaton collaborates extensively within KIT's Carsten Rockstuhl's Lab and with international partners. His research has significant implications for chiral molecule detection, photonic device design, and fundamental electromagnetic theory. He maintains active publication output with numerous preprints available on arXiv and ResearchGate, reflecting his commitment to open scientific communication.

Ansgar Dennerمشاهده پروفایل

استاد

• Phenomenology of elementary particles
• Collider experiments
• Electroweak gauge bosons
• +۳ مورد دیگر

Prof. Dr. Ansgar Denner is a Professor and Chair holder of the Chair of Theoretical Physics II at the University of Würzburg's Faculty of Physics and Astronomy. His research focuses on collider physics phenomenology, electroweak interactions, Higgs boson physics, and perturbative quantum field theory. He leads the theoretical physics group within the Research Training Group 2994 (Particle physics at colliders in the LHC precision era). His office is located in Building 22 (Physics West), Room 02.011 on the Hubland Nord campus. Phone: +49 931 31-89978 Fax: +49 931 31-81488 Key research areas include precision calculations of electroweak and QCD effects in particle collisions, Higgs boson properties, and theoretical frameworks for high-energy physics experiments. Denner's work contributes to the LHC precision era's goals, emphasizing data interpretation and model validation through advanced computational methods. Publications are listed in the INSPIRE HEP database, with notable contributions to gauge theories and collider phenomenology. He co-authored the textbook Gauge Theories , reflecting his expertise in fundamental physics formalisms.

Peter Boseمشاهده پروفایل

پژوهشگر

• Solid-State Physics
• Quantum Physics
• Electronic Transport
• +۴ مورد دیگر

Peter Bose is a researcher at the Institute of Physics, Faculty of Natural Sciences II at Martin Luther University Halle-Wittenberg, specializing in quantum theory of solids with emphasis on electronic transport phenomena in tunnel junctions. His research expertise includes: Solid-State and Quantum Physics Nanoscale Electronic Transport Tunnel Magnetoresistance Effects Computational Methods in Condensed Matter Interface Phenomena in Magnetic Systems Dr. Bose employs advanced computational techniques based on the Landauer-Büttiker formalism and multiple scattering theory to investigate quantum transport properties. His work demonstrates how atomic-scale interface structures critically influence electronic behavior in planar tunnel junctions, with significant implications for spintronic device design. His research has revealed substantial reductions in tunnel magnetoresistance ratios due to interfacial oxygen contamination and explored potential tuning mechanisms through magnetic interlayers. These findings contribute to the fundamental understanding of quantum transport in magnetic multilayer systems.

Erez Zoharمشاهده پروفایل

دانشیار

• Quantum Many-Body Theories
• Quantum Information
• Quantum Optics
• +۴ مورد دیگر

Dr. Erez Zohar is an Associate Professor at the Racah Institute of Physics, Hebrew University of Jerusalem, Israel. His research focuses on the intersection of quantum many-body theories, quantum information, and quantum optics, particularly addressing challenges in strongly correlated systems and their applications to particle physics. In 2025, he will transition to the School of Physics and Astronomy at Tel Aviv University. Education: BSc in Physics and Mathematics, Tel Aviv University (2009) Doctoral research at Tel Aviv University under Prof. Benni Reznik Dr. Zohar works on developing novel tools for quantum simulation of lattice gauge theories, combining tensor network states with Monte Carlo methods to tackle non-perturbative problems in high energy physics. His research includes constructing gauge-invariant tensor networks with fermionic matter fields and mapping high-energy physics models to laboratory-controllable systems. His recent publications focus on quantum simulation of non-Abelian gauge theories, truncation-free QED simulations with Josephson arrays, and advancements in fermionic PEPS for gauge theories. The work demonstrates expertise in tensor networks, quantum field theory, and quantum computing applications. Scientific Awards: ERC Consolidator Grant (2023) for the OverSign project Adams Fellowship (during PhD at Tel Aviv University) Dr. Zohar's research program aims to reconstruct physical theories from fundamental components, revealing new perspectives in quantum field theory and enabling experimental approaches to previously inaccessible systems. His group's methodology combines theoretical innovation with practical quantum simulation design.

• Computer Architecture
• High-Performance Computing (HPC)
• Internet of Things (IoT)
• +۷ مورد دیگر

Vincent Bode is a researcher and teaching assistant at the Chair of Computer Architecture and Parallel Systems at the Technical University of Munich (TUM) . His work focuses on benchmarking and optimizing Data Distribution Service (DDS) middleware for Industrial IoT applications, particularly through the DDS-Perf project in collaboration with Siemens .

• Quantum Computing
• Quantum Foundations
• Diagrammatic Reasoning
• +۳ مورد دیگر

John van de Wetering is an Assistant Professor at the Theoretical Computer Science group of the Informatics Institute at the University of Amsterdam . He works with the QuSoft research center and co-develops the PyZX open-source quantum compiler. His research spans quantum computation, diagrammatic reasoning, and quantum foundations. Education: PhD in Computer Science (2022, Radboud University) Research: Focuses on ZX-calculus for quantum circuit optimization, verification, and simulation. Explores quantum foundations through algebraic and compositional methods. Recent work includes quantum circuit optimization with AlphaTensor, completeness proofs for ZH-calculus, and scalable spider nets for transversal non-Clifford gates. He directs the new Master's program in Quantum Computer Science at UvA and co-authored the book Picturing Quantum Software . Notable collaborations include PyZX development and EU Gender Equality Working Group participation. Supervision includes current PhD students Lia Yeh (Oxford), Sarah Li (UvA), and Marc Farreras (Leiden). Former students include Boldizsár Poór (Quantinuum), Julien Codsi (Princeton), and Yanbin Chen (TUM). Tools & Outreach: Maintains the ZX-calculus Wikipedia page, co-lectured courses like Quantum Processes and Computation , and develops the ZX-calculus educational website. Organized QPL2026 conference and contributed to open-access journal Quantum .

Rolf Drechslerمشاهده پروفایل

استاد

• Formal Verification
• Quantum Computing
• RISC-V Architecture
• +۴ مورد دیگر

Rolf Drechsler is a Full Professor and Head of the Group of Computer Architecture at the University of Bremen's Institute of Computer Science since 2001, and Director of the Cyber-Physical Systems Group at DFKI Bremen since 2011. He holds an adjunct professorship at the Indian Statistical Institute and has been affiliated with Duke University. Education: Diploma (1992) and Dr. phil. nat. (1995) in Computer Science from Goethe University Frankfurt Academic Leadership: Dean of Mathematics and Computer Science Faculty (2018-2025), Vice Rector for Research (2008-2013) His research focuses on formal verification , RISC-V architectures , and quantum/in-memory computing . Recent work explores LLM integration in hardware testing and polynomial-based verification techniques. Publications from 2024-2025 span IEEE Transactions , DATE , and DAC , emphasizing automated verification , quantum circuit mapping , and LLM-driven testbench generation . Scientific Awards IEEE/ACM Best Paper Awards (2013, 2018) Berninghausen-Preis for Innovative Teaching (2018) IEEE Fellow (2015) Founder Award for Solvertec (2013) He has served on program committees for DAC, ICCAD, DATE, and founded graduate schools in Embedded Systems and System Design under Germany's Excellence Initiative.

Myra Cohenمشاهده پروفایل

استاد

• Software Testing
• Configurable Software
• Search-based Software Engineering
• +۳ مورد دیگر

Myra Cohen is a Professor and the Lanh and Oanh Nguyen Chair in Software Engineering in the Department of Computer Science at Iowa State University. Previously, she held the position of Susan J. Rosowski Professor at the University of Nebraska-Lincoln where she was a member of the ESQuaReD software engineering research group. She serves on the ASE Steering Committee and has held leadership roles including general chair of ASE 2015 and program co-chair for ICST 2019 and ESEC/FSE 2020. Dr. Cohen earned her Ph.D. from the University of Auckland, New Zealand, her M.S. from the University of Vermont, and her B.S. from the School of Agriculture and Life Sciences at Cornell University. Her academic journey includes lecturing positions at both the University of Auckland and University of Vermont during her graduate studies. Her research spans several interconnected domains focused on software quality and assurance. A significant portion of her work addresses software testing challenges in highly-configurable systems, where she applies search-based techniques and combinatorial designs to create efficient test suites. More recently, her research has expanded into innovative areas including software testing for biological systems, quantum computing applications, and security testing through genetic improvement techniques. Her work demonstrates a consistent theme of addressing complex verification challenges through creative application of formal methods and automated techniques. Analysis of her recent publications reveals a growing focus on emerging domains including quantum software testing, molecular/biological computing systems, and assurance cases for safety-critical systems. She has increasingly incorporated AI techniques, particularly large language models, into traditional software engineering problems while maintaining her foundational work in configurable systems and metamorphic testing. NSF CAREER award recipient AFOSR Young Investigator Award recipient ACM Distinguished Scientist Recipient of 4 ACM Distinguished Paper awards Dr. Cohen has served as chair and committee member for numerous conferences including ASE, ICSE, ISSTA, ESEC/FSE, and ICST. She has mentored numerous students through the doctoral symposiums and student research competitions at major software engineering conferences. Her research has been supported by significant grants including those from NSF and AFOSR. She leads the LaVA-OPs (Laboratory for Variability-Aware Assurance and Testing of Organic Programs) research group at Iowa State University, which focuses on testing challenges in biological and organic computing systems.

Fuyuki Ishikawaمشاهده پروفایل

دانشیار

• Software Engineering
• Testing
• Formal Methods
• +۴ مورد دیگر

Fuyuki Ishikawa is an Associate Professor at the Information Systems Architecture Science Research Division of the National Institute of Informatics (NII) in Tokyo, Japan, where he also serves as Director of the GRACE Center. Additionally, he holds positions as Associate Professor at Sokendai (The Graduate University for Advanced Studies) and Visiting Associate Professor at The University of Electro-Communications. His research program, which he describes as 'Trustworthy & Smart Software Engineering,' focuses on dependability in Cyber-Physical Systems and Machine Learning Systems through techniques of formal methods and automated test generation. He investigates verification, reasoning, optimization, automated test generation, and self-adaptation by utilizing various models for requirements, specifications, and designs. His group promotes international and industry-academia collaborations with members from different organizations. Ishikawa's recent work has increasingly concentrated on quantum program testing, autonomous driving systems verification, and quality assurance frameworks for AI systems. His publications demonstrate significant contributions to software engineering, particularly in applying formal methods to emerging domains like quantum computing and machine learning. His research often bridges theoretical foundations with practical applications in safety-critical contexts, particularly for autonomous systems. Awards for Science and Technology (Research Category) from the Minister of Education, Culture, Sports, Science and Technology (April 2024) IPSJ/IEEE Computer Society Young Researcher Award for 'Research on Intelligence-driven Engineering of Dependable Smart Systems' (March 2020) Multiple Best Paper Awards at conferences including ICFEM 2020, SEKE 2020, ICECCS 2019, and ISSRE 2019 Industry Track Best Artifact Award at ISSTA 2015 Ishikawa actively supervises research projects and interns through the ERATO-MMSD Project and MIRAI-eAI Project. He has served on numerous program committees for major software engineering conferences including ASE, ICSE, and ICST, and has organized workshops on machine learning systems engineering (SIG-MLSE) and quality assurance for AI systems (QA4AI). His laboratory provides two main research directions: generative AI for trustworthy software engineering and testing/trust exploration for AI systems, with specific focus on autonomous driving and deep learning applications.

• Computational Mathematics
• Numerical Analysis
• Quantum Mechanics
• +۳ مورد دیگر

Frank Schmidt is a Professor at the Zuse Institute Berlin (ZIB), a leading non-university research institute for applied mathematics and computer science in Berlin, Germany. His work bridges computational mathematics with quantum physics and semiconductor engineering through advanced numerical methods. Primary Affiliation: Zuse Institute Berlin (Takustraße 7, 14195 Berlin) Academic Rank: Professor (Dr.-Ing. title indicating doctoral engineering degree) Institutional Context: ZIB operates within the Leibniz Association and maintains formal collaborations with Berlin universities including Freie Universität Berlin and Humboldt-Universität zu Berlin His research focuses on developing specialized boundary conditions for quantum systems and semiconductor simulations. Key projects include discrete transparent boundary conditions for time-dependent Schrödinger equations over unbounded domains, resonance calculations in open quantum systems, and multi-dimensional modeling of electrically pumped semiconductor light sources. This work demonstrates deep expertise in solving complex partial differential equations for quantum mechanical and optoelectronic applications. While specific lab infrastructure isn't detailed, his research sits at the intersection of computational mathematics and applied physics. The completed projects indicate sustained funding through DFG research grants and collaborative research centers, reflecting strong methodological contributions to numerical analysis in quantum systems. His work on semiconductor light sources suggests relevance to photonic device engineering and quantum technology development.

Matthew F. Puseyمشاهده پروفایل

مدرس

• Quantum Information
• Quantum Foundations
• Quantum Contextuality
• +۳ مورد دیگر

Matthew F. Pusey is a Lecturer in Quantum Information at the Department of Mathematics, University of York. His academic career is deeply rooted in the foundations of quantum mechanics, with a particular focus on quantum contextuality, nonlocality, and the interpretation of quantum states. His work bridges theoretical investigations with experimental implications, making significant contributions to our understanding of the boundaries between classical and quantum phenomena. Pusey's research primarily explores quantum contextuality as a fundamental aspect of quantum theory that cannot be explained by noncontextual hidden variable models. His work demonstrates how contextuality manifests in various quantum phenomena including weak measurements, pre- and post-selection paradoxes, and quantum information processing. His research shows that contextuality serves as a critical resource for quantum advantage in certain computational tasks, and he has developed robust methods to detect contextuality even in imperfect experimental conditions without requiring idealized assumptions. His publication record reveals a consistent trajectory of influential work in quantum foundations, with papers appearing in top journals such as Physical Review Letters, Nature Physics, and Quantum. His research demonstrates increasing sophistication in connecting abstract foundational concepts with practical experimental tests and potential quantum information applications. The evolution of his work shows a progression from foundational questions about quantum state reality to more structured mathematical frameworks for understanding generalized probabilistic theories and contextuality. Pusey completed his PhD at Imperial College London in 2013 with the thesis "Is quantum steering spooky?" and previously earned an MRes in 2010 with research on connections between quantum computation and non-locality. He maintains an active presence in the quantum foundations community through numerous invited talks at major conferences and institutions worldwide.