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

• Algebraic Geometry
• Number Theory
• Representation Theory
• +۳ مورد دیگر

Andreas Bode is a Research Fellow at the University of Wuppertal, where he is part of the group led by Sascha Orlik in the Department of Mathematics. His research focuses on D-modules on rigid analytic spaces, integrating geometric representation theory and nonarchimedean geometry. His research interests span several areas of algebraic geometry and number theory, including the study of p-adic differential operators, nonarchimedean geometry, and representation theory. He explores the interplay between D-modules and rigid analytic spaces, contributing to the understanding of holonomicity, Auslander regularity, and the application of almost mathematics in p-adic contexts. His work bridges geometric and analytic approaches to problems in nonarchimedean settings. Bode's recent publications include advancements in the theory of Auslander regularity for p-adic structures, contributions to the holonomicity of D-cap-modules on rigid analytic spaces, and explorations into locally analytic representations of p-adic groups. His work often intersects with homological algebra and functional analysis, reflecting a deep engagement with both theoretical and methodological challenges in nonarchimedean geometry. He has not been mentioned as having received any scientific awards in the provided texts. Bode's current role as a postdoctoral researcher does not involve formal academic advising of students. No grants are specifically mentioned in the provided information. He is affiliated with the Algebra and Number Theory group at the University of Wuppertal, collaborating with colleagues such as Sascha Orlik and contributing to the broader research community in nonarchimedean geometry.

• Biomechanics
• Biomimetics
• Bio-inspired Structures
• +۱۴ مورد دیگر

Renate Sachse is a Researcher at the Chair of Structural Analysis, Technical University of Munich (TUM), where she has worked since May 2024. Previously, she held postdoctoral positions at Harvard University's Bertoldi Lab (2024) and TUM's Chair of Computational Mechanics (2021-2024), following academic staff roles at the University of Stuttgart (2015-2020). Her interdisciplinary work bridges civil engineering, biomechanics, and computational modeling. Her educational foundation includes a Master's in Civil Engineering from the University of Stuttgart (2014; thesis: 'Isogeometric contact analysis of thin-walled structures') and a Bachelor's from the same institution (2011; thesis: 'A Primary School Pavilion for Magagula in South Africa - Structural Analysis'). She also completed ERASMUS studies at ESTP Paris and internships at Foster + Partners and Werner Sobek AG. Dr. Sachse's research centers on biomechanics and biomimetics, with pioneering work on plant-inspired structures. She investigates snapping mechanisms in carnivorous plants (Venus flytrap, waterwheel plant) to develop bio-inspired adaptive systems, soft robotics, and metamaterials. Her expertise spans motion design for large-deformation structures, isogeometric analysis, and hygroscopic actuation in 4D-printed materials, emphasizing computational modeling of contact mechanics and structural stability. Analysis of her 15 most recent publications reveals a dominant focus on biomechanics (60% of articles), particularly plant movement mechanics translated into engineering solutions. Her work consistently integrates computational structural analysis with biological principles, showing increasing emphasis on motion design (25% of recent output) and additive manufacturing applications (15%). Key trends include translating snap-buckling phenomena into robotics and developing material design spaces for responsive structures. Her distinguished awards include the Bertha Benz Prize (2022), Klaus Tschira Boost Fund Fellowship (2022-2024), and University of Stuttgart Publication Award (2022). Additional recognition comprises GAMM Juniors Fellowship (2020-2022), AVK Innovation Award (2017), and Emil Mörsch Study Prize (2014). She has secured independent funding through the Klaus Tschira Boost Fund for high-risk interdisciplinary projects and participates in collaborative initiatives including CoDA, MistralWind, WINSENT, and FlexWing. While teaching advanced courses at TUM (Advanced Finite Element Methods, Theory of Plates), her mentorship focuses on computational mechanics and biomimetic design principles. Currently based at TUM's Chair of Structural Analysis under Prof. Bletzinger, she maintains active collaboration with Harvard University's Bertoldi Lab in developing next-generation adaptive structures.

Nils Fleischhackerمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

• Quantum Information Theory
• Quantum Many-Body Systems
• Quantum Dissipative Evolutions
• +۲ مورد دیگر

Angela Capel Cuevas is an Assistant Professor of Quantum Information Theory/Theoretical Quantum Computation at the University of Cambridge's Department of Applied Mathematics and Theoretical Physics (DAMTP). Previously, she held a Junior Professorship at Eberhard Karls Universität Tübingen (2021-2024) and was an MCQST Distinguished PostDoc at TU München (2020-2021). Her research focuses on the intersection of quantum information theory and quantum many-body systems, particularly studying thermalization dynamics via quantum functional inequalities. She is a recipient of the Simons Emmy Noether Fellowship and Forbes 30 Under 30 (Spain 2023). Education: PhD in Mathematics, Universidad Autónoma de Madrid/ICMAT (2015-2019) Master in Computational Engineering and Mathematics, URV/UOC (2016-2018) Bachelor in Mathematics, Universidad de Granada (2009-2014) Research: Angela's work applies analytic and geometric tools to quantum systems, emphasizing decay of correlations in Gibbs states and quantum dissipative evolutions. Key topics include entropy inequalities, modified logarithmic Sobolev inequalities, and thermalization rates in spin chains. Her recent work bridges quantum functional analysis with practical implications for quantum computing and thermalization phenomena. Grants & Roles: PI of CRC TRR 352 'Mathematics of Many-Body Quantum Systems' (7M€) Co-PI of QuantERA project TouQan (1.25M€) Organized workshops at BIRS and Tübingen (2023-2024) Awards: Simons Emmy Noether Fellowship (2023) Forbes 30 Under 30 (2023) Vicent Caselles RSME-FBBVA Award (2022) Labs/Teams: Leads a group studying quantum dissipative systems and thermalization at DAMTP. Collaborates with institutions globally on quantum functional inequalities and Gibbs state properties.

Jan von Delftمشاهده پروفایل

استاد

• Correlated electron systems
• Quantum impurity models
• Quantum criticality
• +۷ مورد دیگر

Jan von Delft is a Professor (chair) at Ludwig-Maximilians-University (LMU) Munich, working in the Faculty of Physics within the Chair of Theoretical Solid State Physics. His research group consists of postdocs, PhD students, and master's students working on various aspects of strongly correlated electron systems, with physical space located at Theresienstr. 37 (Room A420) in Munich. von Delft's research focuses on correlated electron and spin systems, with particular interest in dynamical and transport properties, quantum impurity models, Hund metals, unconventional superconductors, quantum magnets, and quantum criticality. His methodological expertise includes many-body field theory, parquet formalism (FRG), DMFT, and tensor networks (NRG, DMRG, PEPS, XTRG, etc.). His work bridges theoretical concepts with computational approaches to understand complex quantum phenomena in condensed matter systems. He has developed a distinctive emphasis on real-frequency calculations and numerical methods for studying quantum critical phenomena. Analysis of von Delft's recent publications reveals a strong focus on developing and applying advanced computational methods to study strongly correlated electron systems. His group has made significant contributions to numerical renormalization group techniques, tensor network methods, and the parquet formalism for calculating real-frequency correlation functions. His research shows increasing sophistication in handling quantum criticality, particularly in heavy-fermion systems, and exploring unconventional superconductivity mechanisms. Notably, his group has developed specialized computational libraries like KeldyshQFT to make these advanced methods more accessible to the broader physics community. von Delft actively mentors a substantial research group consisting of one postdoc (Markus Scheb), eleven PhD students (Anxiang Ge, Sasha Kovalska, Mathias Pelz, Marc Ritter, Nepomuk Ritz, Changkai Zhang, Markus Frankenbacher, Felipe Picoli, Simone Fodera, Ming Huang), and two master's students (Ester Pages, Gianluca Grosso). His detailed Style Guide for scientific communication demonstrates his commitment to high-quality research presentation. The group appears well-funded with ongoing research activities spanning theoretical development, computational implementation, and physical interpretation of complex quantum phenomena.

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Forest Ecology
• Global Change Biology
• Root Ecology
• +۶ مورد دیگر

Prof. Dr. Ina Christin Meier serves as Head of Department and Head of Research Unit for Functional Forest Ecology at the University of Hamburg, within the Faculty of Mathematics, Computer Science and Natural Sciences. She is affiliated with the Institute of Wood Sciences (Institut für Holzwissenschaften) in the Department of Biology, where she leads research on forest ecosystem responses to global environmental changes at Ohnhorststrasse 18, 22609 Hamburg. Dr. Meier's research focuses on the impacts of global change factors —including increasing atmospheric CO 2 concentration, summer drought, nitrogen deposition, and intensified management—on the biogeochemistry and biodiversity of temperate, boreal, Mediterranean, and global forest biomes. Her work spans functional ecology of forest trees and grasslands , interactions between roots, mycorrhizal fungi and soil , ecophysiology , and long-term changes in forest ecosystems . She has made significant contributions to understanding root carbon allocation, tropical forest responses to climate change, and the role of mycorrhizal relationships in forest ecosystems. Analysis of Dr. Meier's publication record reveals a strong emphasis on belowground ecology and global change biology , with particular attention to root systems across diverse biomes. Her research bridges plant physiology, ecosystem ecology, and climate science, often synthesizing data from multiple studies to identify broader patterns. She frequently investigates how carbon allocation to root exudates affects soil sequestration and drought response, and has developed important frameworks for understanding root trait responses to multiple global change drivers. Dr. Meier actively collaborates with international research teams across continents. Her work on Nature's Contributions to People has demonstrated that securing essential ecosystem services requires maintaining at least 20-25% semi-natural habitat in human-modified landscapes. She also investigates the chemical complexity of root exudates and their ecological significance, contributing methodological advances to this challenging area of research.

Lars Rohwedderمشاهده پروفایل

دانشیار

• Algorithms
• Approximation Algorithms
• Online Algorithms
• +۳ مورد دیگر

Lars Rohwedder is an Associate Professor in the Algorithms Group at the University of Southern Denmark (SDU) in Odense. He previously held positions as an Assistant Professor at Maastricht University (Netherlands) and postdoc researcher at EPFL, Lausanne (Switzerland). He earned his Ph.D. in Computer Science from CAU Kiel (Germany), advised by Klaus Jansen, and is a recipient of the 2019 PhD of the year award from Förderverein der TF of Kiel University. His research focuses on algorithms for combinatorial optimization, including approximation algorithms, online algorithms, parameterized algorithms, and integer programming. He has contributed to solving scheduling problems, resource allocation, and optimization under uncertainty. Rohwedder has served on program committees for conferences like MAPSP, SODA, STACS, and ICALP. He is funded by NWO's Open Competition M1 project on quasi-polynomial time algorithms. His teaching includes courses on advanced algorithms, operations management, and optimization at SDU and Maastricht University. Key achievements include a quasi-polynomial approximation for the restricted assignment problem, FPT algorithms for scheduling, and contributions to the Submodular Santa Claus problem. His work bridges theoretical foundations and practical applications, with a focus on algorithmic efficiency and robustness.

• Embedded Security
• Cryptography
• Hardware Security
• +۵ مورد دیگر

Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.

Mirko Hornungمشاهده پروفایل

استاد

• Aircraft Design
• Aviation Technology
• Aerospace Engineering
• +۳ مورد دیگر

Prof. Dr. Mirko Hornung is a Professor of Aircraft Design at the TUM School of Engineering and Design, Technische Universität München. His research focuses on conceptual aircraft design, integration of propulsion systems, and evaluation of aviation technologies in operational contexts. Education and Career: PhD in Aeronautical Engineering from the University of the Bundeswehr (2003), awarded a research prize for work on reusable space transport systems. 2003–2009: Worked at Airbus Group (EADS) on military air systems, propulsion integration, and program management. Executive Director of Research & Technology at Bauhaus Luftfahrt, a think tank for long-term aviation developments. Research Interests: Aircraft design optimization, including hybrid energy systems, electric propulsion, and UAV technologies. Environmental sustainability in aviation, such as hydrogen-powered aircraft and lifecycle assessment. Aerodynamic and structural analysis, including flutter suppression and composite materials. Key Publications Highlight Trends: Focus on hybrid-electric and hydrogen propulsion for reducing environmental impact. Advancements in UAV design, including morphing wings and autonomous systems. Integration of AI-driven tools for propulsion optimization and lifecycle analysis. Scientific Awards: EADS Promotion Award (1995) Research Prize for Thesis on Reusable Space Transport Systems (2003) Advising & Grants: Directs research at Bauhaus Luftfahrt, collaborating on future aviation concepts. Engaged in interdisciplinary projects like FLEXOP UAV demonstrator and Ce-Liner eMobility studies. Labs/Teams: Active in the Aircraft Design Professorship at TUM and leadership roles at Bauhaus Luftfahrt, focusing on next-generation aviation technologies.

Ralf Schindlerمشاهده پروفایل

استاد

• Mathematical Logic
• Set Theory
• Model Theory
• +۴ مورد دیگر

Prof. Dr. Ralf Schindler is a Professor at the Institute for Mathematical Logic and Fundamental Research within the Department of Mathematics and Computer Science at the University of Münster. His primary research focuses on foundational aspects of mathematical logic, particularly in set theory and model theory. Schindler's research explores core areas including inner model theory, forcing techniques, large cardinals, determinacy axioms, and descriptive set theory. His investigations address fundamental questions about the structure of mathematical universes, consistency proofs, and connections between set theory and other mathematical disciplines. Recent work emphasizes applications of determinacy hypotheses and extensions of Martin's Maximum. Schindler's publications demonstrate consistent focus on advanced set theory concepts from 2000 to 2021. Key trends include deep investigations into inner models (especially core models and mouse constructions), forcing axioms and their consequences, determinacy hypotheses, and the interplay between large cardinals and descriptive set theory. His collaborative works frequently appear in premier logic journals. Schindler has received significant recognition for his contributions: Hausdorff Medal (2022) Dov Gabbay Prize (2024) He leads the research project EXC 2044 - A2: Groups, model theory and sets , which investigates applications of model theory to arithmetic geometry, topological dynamics, and group theory, while addressing fundamental questions in geometric group theory and set theory foundations.

Waldemar Kolanusمشاهده پروفایل

استاد

• Molecular Immunology
• Cell Signaling
• Signal Transduction Pathways
• +۴ مورد دیگر

Prof. Waldemar Kolanus leads the Molecular Immunology and Cell Biology department at the University of Bonn's Life & Medical Sciences Institute (LIMES) . His research bridges immunoregulation , stem cell dynamics , and metabolic stress responses in immune cells. Unit 2 member at LIMES Principal investigator in SFB 704 and ImmunoSensation Cluster Leads a multidisciplinary lab with postdocs, PhD students, and technical staff His work focuses on intracellular signaling pathways connecting immune activation to tissue homeostasis, particularly through: Cytohesin proteins in integrin-mediated adhesion and migration TRIM71 in stem cell regulation and congenital hydrocephalus High-salt environments affecting macrophage function Publication trends show expertise in immune cell migration , genetic models , and chemical inhibition , with frequent use of mice and zebrafish for in vivo studies. Key articles explore: TRIM71's dual role in auditory development and germ cell maintenance Cytohesin family's Golgi regulation and insulin signaling Ruxolitinib's off-target migration inhibition of dendritic cells Contact details: Address: LIMES Institute, Carl-Troll-Straße 31, Bonn Email: kolanus.sekretariat@uni-bonn.de Phone: +49 228 73-62788

Igors Gorbovickisمشاهده پروفایل

دانشیار

• Dynamical Systems
• Complex Analysis
• Discrete Geometry
• +۳ مورد دیگر

Prof. Igors Gorbovickis is an Associate Professor of Mathematics at the Department of Mathematics, School of Computer Science and Engineering, Constructor University (formerly Jacobs University Bremen). His research focuses on complex dynamical systems, including topics such as renormalization theory, bifurcation analysis, Julia sets, and applications to mathematical physics. He also contributes to discrete geometry, particularly exploring conjectures like the Kneser-Poulsen problem. His work bridges pure mathematics with interdisciplinary applications, emphasizing rigorous analysis of nonlinear systems and geometric configurations. Key areas of investigation include critical point accumulations, Hausdorff dimension estimates, and equidistribution phenomena in parameter spaces. Recent publications highlight advancements in understanding chaotic systems, circle maps, and the interplay between algebraic structures and dynamical behavior. Prof. Gorbovickis collaborates internationally, with co-authored papers appearing in journals like Advances in Mathematics , Ergodic Theory and Dynamical Systems , and Nonlinearity . His office is located at Research I, Room 128 on the Constructor University campus in Bremen, Germany.

Urs Hartlمشاهده پروفایل

استاد

• Arithmetic Geometry
• Algebraic Number Theory
• Representation Theory
• +۳ مورد دیگر

Prof. Dr. Urs Hartl is a faculty member in the Department of Mathematics and Computer Science at the University of Münster, affiliated with the Faculty of Mathematics and Computer Science. He is an Investigator in Mathematics Münster and a member of the Collaborative Research Centre (CRC) 1442 'Geometry: Deformations and Rigidity.' His research focuses on arithmetic geometry, representation theory, algebraic number theory, and arithmetic of function fields. He holds a prominent position in the field, contributing to areas such as Shimura varieties, p-adic Hodge theory, and the Langlands program. Affiliations: Member of CRC 1442 Geometry Investigator in Mathematics Münster Research Interests: Arithmetic algebraic geometry Algebraic number theory Arithmetic of function fields Structure theory of Shimura varieties p-adic Hodge theory p-adic Langlands programme Model theory Recent Publications: Hartl's recent work includes studies on moduli stacks of global G-shtukas, periods of Drinfeld modules, and p-adic Galois representations. His research emphasizes foundational contributions to arithmetic geometry and number theory, often involving collaborations with leading mathematicians such as Rajneesh Kumar Singh and Eva Viehmann. Grants & Advising: Hartl’s involvement in CRC 1442 reflects his leadership in geometric research. While specific advising details are not provided, his extensive publications suggest active mentorship in advanced mathematical research. Labs/Teams: Collaborates within the Mathematics Münster research group and the CRC 1442 team, focusing on geometric and arithmetic structures.