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

Muhammad Bilal Zafarمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Fairness in AI
• +۳ مورد دیگر

Professor Muhammad Bilal Zafar holds the Chair of AI and Society within the Department of Computer Science at Ruhr University Bochum. He maintains key affiliations with the Research Center for Trustworthy Data Science and Security, Cluster of Excellence CASA (as Principal Investigator), and the Horst Görtz Institute for IT Security. His research program centers on human-centric artificial intelligence with core expertise in: Fairness algorithms for bias mitigation Explainable AI systems Robustness testing in human-AI interaction Trustworthy machine learning deployment Professor Zafar develops technical solutions addressing challenges that emerge when AI models interact with human users across various application domains. Prior to his academic appointment, he gained significant industry experience as Senior Applied Scientist at Amazon Web Services (AWS) in Berlin and Research Scientist at Bosch Center for Artificial Intelligence in Renningen. His educational foundation includes a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University under the supervision of Krishna P. Gummadi and Manuel Gomez Rodriguez. He leads the AI and Society research team at Ruhr University Bochum, which investigates the societal implications of artificial intelligence while developing concrete technical approaches for responsible AI development. Prospective researchers can find current opportunities through the team's dedicated information page.

• Cell Biology
• Molecular Biology
• Biophysics
• +۳ مورد دیگر

Professor Anthony A. Hyman is a leading researcher at the Max Planck Institute of Molecular Cell Biology and Genetics (MPI-CBG) in Dresden, with active collaboration in Technische Universität Dresden's Cluster of Excellence 'Physics of Life' (PoL). His work bridges cell biology and biophysics to investigate fundamental organizational principles of living systems. Research centers on liquid-liquid phase separation in gene expression control, microtubule dynamics (particularly catastrophe kinesins), and cell polarity mechanisms using C. elegans as a model organism. His approach integrates physical principles to decode how cellular components self-organize, with current focus on the physics of living matter through the PoL initiative. Major recognition includes: Gottfried Wilhelm Leibniz Prize (2011) His research program has been sustained through multiple DFG Priority Programme grants, including projects on microtubule regulation, developmental polarity, and phase separation biology. Current leadership in the Cluster of Excellence 'Physics of Life' demonstrates ongoing commitment to large-scale collaborative science, while prior involvement in the International Graduate School for Biomedicine and Bioengineering Dresden (GSC 97) highlights mentorship contributions to doctoral training. The MPI-CBG environment provides state-of-the-art infrastructure for interdisciplinary cell biology research, with Professor Hyman's group contributing to the institute's mission of uncovering molecular mechanisms underlying cellular organization.

• Molecular Cell Biology
• Liver Regeneration
• Cancer Microenvironment
• +۳ مورد دیگر

Professor Meritxell Huch is a leading faculty member at the Max Planck Institute of Molecular Cell Biology and Genetics (MPI-CBG) in Dresden, where she holds the rank of Professor directing research at the intersection of liver biology, cancer mechanics, and epigenetic regulation. Her work addresses fundamental questions in tissue regeneration and disease pathogenesis through innovative molecular and cellular approaches. Her research program focuses on three critical frontiers: Epigenetic control mechanisms in liver ductal cell response to injury Mechanical force transmission between cancer cells and their microenvironment Epithelial-stromal crosstalk in Metabolic dysfunction-associated steatotic liver disease (MASLD) Professor Huch currently maintains robust research activity through multiple active German Research Foundation (DFG) grants, including principal investigator roles for both in-kind funding and Research Groups projects, plus sub-project leadership in a Transregional Collaborative Research Centre. This sustained funding portfolio demonstrates significant peer recognition of her scientific contributions to molecular cell biology. As a Professor at MPI-CBG—a premier institution within the globally respected Max Planck Society—she operates within a highly collaborative research ecosystem that emphasizes fundamental discovery and technological innovation in cell biology. Her position provides access to state-of-the-art core facilities for advanced microscopy, genomics, and tissue engineering essential for her mechanistic studies.

• Developmental Biology
• Cell Biology
• Bioimaging
• +۴ مورد دیگر

Dr. Pavel Tomancak is a Researcher at the Max Planck Institute of Molecular Cell Biology and Genetics (MPI-CBG) in Dresden, Germany, leading an independent group focused on developmental and cell biology. His work bridges experimental biology with computational analysis to address fundamental questions in animal development and regeneration. His research program centers on understanding cellular diversity through integrated methodologies: live imaging captures dynamic processes, cell tracking monitors individual cell behaviors, deep learning analyzes complex patterns, and large-scale data visualization interprets results. Key interests include developmental mechanisms in Drosophila and Spiralia, genome-wide expression analysis, and computational approaches to chiral cell divisions. His contributions to the Fiji open-source image processing platform demonstrate commitment to bioimage informatics infrastructure. Dr. Tomancak maintains a strong funding record with the German Research Foundation (DFG), currently leading a project on cell diversity and regeneration. He previously completed three DFG projects: two in-kind grants on Drosophila gene expression and chiral cell divisions, plus a research data/software grant for Fiji sustainability. This consistent support reflects his expertise in interdisciplinary research at the biology-computation interface.

• Membrane Transport Proteins
• Structural Biology
• Molecular Cell Biology
• +۲ مورد دیگر

Professor Eric Geertsma serves as a Group Leader at the Max Planck Institute of Molecular Cell Biology and Genetics (MPI-CBG) in Dresden, Germany, where he directs research on membrane transport protein mechanisms. His primary research focuses on: Structural and functional analysis of SLC26/NCS2 transporter families Anion transport mechanisms using nanobody-based multi-stage interrogation Disorder-function relationships in transporter conformational dynamics Currently leading two DFG Research Groups projects, his work bridges molecular cell biology and structural biophysics to decode membrane protein operations. The lab actively develops innovative approaches for studying transporter dynamics with implications for disease mechanisms. Professor Geertsma's research program includes: Ongoing: 'Nanobodies for multi-stage analysis of SLC26 anion transporters' (PZ) Ongoing: 'Disorder Functional Relationships in SLC26 Transporters' (P1) Completed: Sub-project management in SFB 'Structure, function and dynamics of SLC26 and NCS2 transport proteins' His group provides specialized training in membrane protein biochemistry and structural analysis for graduate researchers within MPI-CBG's collaborative research environment.

Daniel Kráľمشاهده پروفایل

استاد

• Discrete Mathematics
• Graph Theory
• Combinatorics
• +۷ مورد دیگر

Daniel Kráľ is an Alexander von Humboldt Professor for Discrete Mathematics at Leipzig University and an affiliated member of the Max Planck Institute for Mathematics in the Sciences (MPI MiS). Previously, he held the Donald Ervin Knuth Professorship at Masaryk University in Brno and is also an honorary professor at the University of Warwick, where he was a professor of mathematics and computer science and a member of the Centre for Discrete Mathematics and its Applications (DIMAP). His research addresses various topics at the interface of mathematics and computer science, with primary focus on structural and extremal graph theory, discrete algorithms, and combinatorial limits. The theory of combinatorial limits is an emerging area that provides analytic methods to study large graphs such as social networks, establishing new links between analysis, combinatorics, ergodic theory, group theory and probability theory. His work has been supported by prestigious ERC grants including the CCOSA Starting grant and LADIST Consolidator grant. Dr. Kráľ's scholarly output includes over 150 journal research papers and numerous conference contributions. His recent publications demonstrate continued leadership in extremal combinatorics, graph limits, and structural graph theory, with significant contributions to understanding quasirandomness, Turán densities, and the coloring of complex graph structures. Scientific Recognition: SIAM Fellow (2024) Fellow of the American Mathematical Society (2020) Philip Leverhulme Prize in Mathematics and Statistics (2014) European Prize in Combinatorics (2011) ERC Consolidator grant LADIST (2015-21) ERC Starting grant CCOSA (2010-15) Professor Kráľ has supervised numerous PhD students and postdoctoral fellows throughout his career. His editorial service includes Editor-in-Chief of SIAM Journal on Discrete Mathematics (2017-2022), Co-Editor-in-Chief of Journal of Combinatorial Theory (since 2025), and Managing editor of Advances in Combinatorics (since 2018). He has organized multiple international workshops and conferences including Oberwolfach workshops on Graph Theory and the European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23).

Felix Stutzمشاهده پروفایل

پژوهشگر

• Formal Methods
• Distributed Systems
• Security Protocols
• +۳ مورد دیگر

Felix Stutz is a postdoctoral researcher in the Security and Trust of Software Systems (SaToSS) group at the University of Luxembourg. His research focuses on formal methods for concurrent and distributed systems, as well as security protocols. He previously held positions as a PhD student at the Max Planck Institute for Software Systems (MPI-SWS) and a half-year research intern at MIT CSAIL (with Nikos Vasilakis) and Imperial College London (with Emanuele D’Osualdo and Philippa Gardner). MSc in Computer Science, University of Saarland PhD, Max Planck Institute for Software Systems (MPI-SWS), co-advised by Rupak Majumdar and Damien Zufferey Research interests include formal verification of software systems, algorithmic analysis of message-passing programs, and depth-bounded protocol verification. His work has produced tools like Lemma9 for cryptographic protocol verification and contributions to the PaSh parallelization framework. He has collaborated with institutions including MIT CSAIL, Imperial College London, and the University of Saarland. Felix is actively involved in software development and is available for asynchronous communication via email.

Georg Zetzscheمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Formal Verification
• Infinite-State Systems
• +۵ مورد دیگر

Georg Zetzsche is a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany, since November 2018. He leads the Models of Computation group , focusing on theoretical foundations of formal verification and synthesis for infinite-state systems. His work bridges decidability, computational complexity, and automata theory , with applications to program analysis and concurrent systems .

Hans-Peter Lenhofمشاهده پروفایل

استاد

• Bioinformatics
• Cancer Biology
• Personalized Cancer Therapy
• +۴ مورد دیگر

Prof. Dr. Hans-Peter Lenhof holds the Chair for Bioinformatics at Saarland University since 2000, where he leads research in computational biology and disease mechanism analysis. His career includes: Postdoctoral research at Max Planck Institute for Informatics (1993-1999) Research Group Leader at MPI (1999-2000) Professor at Saarland University (2000-Present) His group develops innovative bioinformatics methods with three primary focus areas: Personalized Cancer Therapy : Creating AI/ML approaches to optimize drug selection from over 200 cancer therapeutics, addressing tumor heterogeneity through predictive modeling of treatment efficacy. Diagnosis & Prognosis : Pioneering blood-based diagnostic methods using autoantibody and miRNA profiles that demonstrate high clinical sensitivity for multiple cancers and neurological disorders through collaborative studies. Pathogenic Mechanism Analysis : Employing graph-based network models to visualize and analyze deregulated biological processes, particularly signaling cascades in cancer progression. The lab maintains active collaborations with Andreas Keller's Clinical Bioinformatics group and Eckart Meese's Human Genetics team. Computational tools developed include BALLView for molecular visualization, GeneTrail for high-throughput data analysis, and specialized frameworks for therapy optimization (MERIDA) and miRNA networks (miRTargetLink).

• Migration Studies
• Social Inequality
• Welfare States
• +۳ مورد دیگر

Hanna Carlsson serves as an Assistant Professor of Public Administration at Radboud University in Nijmegen, the Netherlands. She is an active member of the Radboud Network of Migrant Inclusion (RUNOMI) and holds a board position in the European Network of Intercultural Elderly Care (ENIEC). Her academic profile includes a recent guest residency at the Max Planck Institute for the Study of Religious and Ethnic Diversity (MPI-MMG) during October and November 2023. Her educational background features a doctoral degree earned Cum Laude in 2022 from Radboud University. The dissertation critically examined municipal responses to the care needs of older migrants amid post-multiculturalism and localism policy shifts. Subsequent postdoctoral research investigated trust variations in home care services among heterogeneous elderly populations in Amsterdam. Dr. Carlsson's research program centers on social inequality and migration-related diversity within evolving welfare states, spanning interdisciplinary intersections of migration studies, aging demographics, and public policy analysis. Key thematic emphases include intercultural elderly care models, migrant entrepreneurship in health services, welfare state comparative analysis, trust dynamics in care delivery, policy adaptation to demographic change, and intersectional discrimination in social services. She is currently developing a new project analyzing how migrant care entrepreneurs negotiate diversity representations across European welfare contexts. Her scholarly engagement extends through RUNOMI and ENIEC, where she contributes to advancing research frameworks for migrant inclusion and intercultural care practices. Current work builds upon prior investigations into municipal care responses for aging migrants and trust determinants in Amsterdam's home care systems.

• Neuroscience
• Metabolism
• Energy Homeostasis
• +۱ مورد دیگر

Dr. Chao Ding serves as a Researcher at the Max Planck Institute for Metabolism Research (MPI) in Cologne, Germany, where he leads the dedicated research group on Synaptic Transmission in Energy Homeostasis. Based at Gleueler Str. 50, 50931 Köln, his office location is HG E14, with contact details including telephone 0221-4726-634 and email chao.ding@sf.mpg.de. His research program investigates the critical neural mechanisms governing metabolic regulation, specifically how synaptic transmission in the brain modulates systemic energy balance. This work bridges Neuroscience and Metabolism , with core emphases on Energy Homeostasis and Synaptic Transmission to unravel pathways relevant to obesity and metabolic disorders. Scientific Awards: No awards or honors are documented in the provided source material. Advising and Research Support: While doctoral students and specific grants are not mentioned, Dr. Ding's leadership of an independent research group implies active mentorship responsibilities and likely external funding for his specialized investigations. The Synaptic Transmission in Energy Homeostasis laboratory represents his primary research unit, advancing interdisciplinary approaches to understand brain-metabolism crosstalk within the institute's framework.

Charles Hoefferمشاهده پروفایل

دانشیار

• Neuroscience
• Molecular Biology
• Neurodegenerative Diseases
• +۵ مورد دیگر

Charles Hoeffer is an Associate Professor in the Department of Integrative Physiology at the University of Colorado Boulder, with joint appointments at the Institute for Behavioral Genetics. His research focuses on understanding the cellular and molecular basis of neurological disorders and neurodegenerative diseases, particularly exploring the connections between sleep disruption and Alzheimer's disease pathology. Dr. Hoeffer's research program investigates molecular mechanisms underlying neurological disorders, with special attention to Alzheimer's disease, Down syndrome-related Alzheimer's disease, and sleep disruptions. His laboratory employs a range of techniques including mouse models, molecular biology approaches, and advanced imaging to unravel complex neurodegenerative processes. His work often examines AKT signaling pathways, TDP-43 pathology, and RCAN1 gene function in relation to circadian rhythms and neurodegeneration. Dr. Hoeffer's recent publications reveal a strong focus on the intersection of sleep, neurodegeneration, and genetic factors. His work spans from basic molecular mechanisms to potential therapeutic applications, with several studies examining innovative approaches to neuroinflammation treatment and tau aggregation targeting. NIA R01 AG064465-01 (MPI: Hoeffer, Link, Opp) 7/1/2019-6/30/2024: Sleep Disruption and Alzheimer's Disease Pathology (PI) NIA R01 AG085307 (Hoeffer) 7/1/2024-3/31/2029: The Role of double-stranded RNA in neuronal cell death (MPI) NIDA R21/R33 DA055781-A1 (Hoeffer, Ehringer, Stitzel) 9/15/2022-9/14/2027: Role of glial expression in nicotine behaviors (PI) NIH R01 AG083268 (Hoeffer) 9/1/2023-8/31/2028: Sleep abnormalities in Down Syndrome-related Alzheimer's disease (PI) Lab Venture Challenge (LVC) (MPI Hoeffer, Parker, Van Alstyne) 3/1/2024-2/28/2026: New treatment for dementia with peptide therapeutics targeting tau aggregation (PI) Dr. Hoeffer actively mentors graduate students and postdoctoral researchers, with several predocotoral trainees currently working in his laboratory. His lab also includes professional research assistants who contribute to various aspects of the research program. He is currently recruiting new students for a fall 2026 start date and maintains an active laboratory investigating the molecular basis of neurological disorders through interdisciplinary approaches.

• formal methods for security
• programming languages
• design and verification of security-critical systems
• +۱۱ مورد دیگر

Cătălin Hrițcu is a tenured faculty member and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany. He also serves as Adjunct Professor in the Faculty of Computer Science at Ruhr University Bochum (RUB), where he is affiliated with HGI and the CASA Cluster of Excellence. His educational background includes: PhD from Saarland University in Saarbrücken, Germany Habilitation from ENS Paris Hrițcu's research focuses on developing rigorous formal techniques for security. His primary interests span three interconnected areas: Formal methods for security: secure compilation, compartmentalization, memory safety, speculative execution defenses, information flow control, and security protocols Programming-languages techniques: program verification, machine-checked proofs, dependent types, formal semantics, and property-based testing Design and verification of security-critical systems: compilation chains, reference monitors, tagged hardware architectures, and high-assurance cryptography His recent publications reveal a strong trajectory toward addressing real-world security challenges through formal methods, with increasing emphasis on hardware security aspects like speculative execution vulnerabilities and memory safety. Hrițcu has received significant scientific recognition: ERC Starting Grant on formally secure compilation Distinguished Paper Award at CSF 2025 for FSLH: Flexible Mechanized Speculative Load Hardening Distinguished Paper Award at CSF 2021 for SSProve As an advisor, Hrițcu has mentored numerous PhD students and postdoctoral researchers who have gone on to successful academic careers. His group receives substantial funding through projects like ERC SECOMP. He has co-authored volumes of the Software Foundations textbook series and actively teaches courses at RUB. Hrițcu leads the Formally Verified Security research group at MPI-SP, which includes PhD students, postdocs, and research interns working on cutting-edge problems at the intersection of programming languages and security. The group has made significant contributions to verification tools including F* and Coq, with applications in secure compilation and cryptographic verification.

Zhenbang Chenمشاهده پروفایل

استاد

• Program analysis
• Symbolic execution
• Formal methods
• +۲ مورد دیگر

Zhenbang Chen is a Professor in the College of Computer at National University of Defense Technology (NUDT), China. His academic career spans over a decade with significant contributions to software engineering, particularly in program analysis and formal methods. He has served on program committees for major conferences including ASE, ICSE, and FSE, and has been actively involved in research that bridges theoretical formal methods with practical software engineering applications. Dr. Chen received his Ph.D. and Bachelor degrees in computer science from National University of Defense Technology (NUDT) in June 2009 and July 2002, respectively. His educational background from NUDT has provided a strong foundation for his research in software engineering and formal methods. Ph.D. in Computer Science, National University of Defense Technology (NUDT), 2009 Bachelor's Degree in Computer Science, National University of Defense Technology (NUDT), 2002 Zhenbang Chen's research primarily focuses on program analysis, with special emphasis on symbolic execution techniques. His work extends to formal methods and their practical applications in software engineering. He investigates constraint solving approaches to improve the efficiency of program analysis and explores program synthesis techniques to automate software development tasks. His research bridges theoretical foundations with practical software engineering challenges, particularly in the areas of software verification and testing. His recent work has increasingly focused on optimizing symbolic execution through novel constraint solving techniques and exploring multi-modal approaches to behavior tree synthesis. This demonstrates his commitment to advancing both the theoretical underpinnings and practical applications of software analysis techniques. Professor Chen's publication record shows a consistent focus on symbolic execution and constraint solving, with a clear progression toward more sophisticated optimization techniques. His recent work demonstrates a shift toward multi-objective optimization for floating-point constraints and multi-modal approaches to program synthesis. The research spans both theoretical foundations and practical implementations, with several tools developed from his research participating in international competitions. Dr. Chen's research excellence has been recognized through multiple prestigious awards: ACM SIGSOFT Distinguished Paper Award for FSE 2025 paper "QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints" ACM SIGSOFT Distinguished Paper Award for ISSTA 2021 paper "Type and interval aware array constraint solving for symbolic execution" ACM SIGSOFT Distinguished Paper Award for ICSE 2018 paper "Towards optimal concolic testing" Bronze Medal (3rd place) in Cover-Branches category at Test-COMP 2025 for the FDSE tool Professor Chen is actively involved in mentoring the next generation of researchers, currently seeking Ph.D. and M.Sc. students to work with him on cutting-edge research in program analysis and formal methods. His research group has developed several tools that have gained recognition in international competitions, including AISE which ranked 1st in SV-COMP 2025's ReachSafety-Loops category and FDSE which won Bronze Medal in Test-COMP 2025. His research has been supported by grants that enable participation in major international conferences and competitions, fostering collaborations with researchers worldwide. Dr. Chen leads a research group focused on program analysis and formal methods at NUDT. His team has developed several notable tools including AISE for program verification and FDSE for software testing, which have achieved top rankings in international competitions like SV-COMP and Test-COMP. The research group maintains active collaborations with other institutions and participates regularly in major software engineering conferences, contributing to both theoretical advancements and practical tool development in the field.