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

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Adam Runionsمشاهده پروفایل

پژوهشگر

• Computational Modeling
• Developmental Biology
• Computer Science
• +۴ مورد دیگر

Adam Runions is a researcher in the Department of Computer Science at the University of Calgary, leading the MPG Partner Group in computational analysis of leaf development through collaborative work with Miltos Tsiantis. His group is embedded in the Graphics Cluster, focusing on interdisciplinary problems at the intersection of computer science and developmental biology. University of Calgary - Department of Computer Science MPG Partner Group (2022) Graphics Cluster affiliation His research explores computational modeling and analysis of plant form and development across multiple scales, integrating geometric modeling, physically-based simulation, and computer-aided design. Key themes include plant morphogenesis, self-organization of natural forms, and cross-disciplinary applications in computer graphics and animation. Recent publications emphasize plant development (leaf shape, bark patterning), mathematical modeling (auxin-driven patterning), and geometric techniques (subdivision surfaces, PUPs). Collaborations span institutions like the Max Planck Institute for Plant Breeding Research. Scientific Awards Marie Sklodowska-Curie Fellowship Best Paper Award (International Conference on Cyberworlds 2015) Best Student Paper Award (Computer Graphics International 2011) The group actively recruits BSc, MSc, and PhD students with backgrounds in computer science and mathematics for projects on plant form simulation and digital content creation. Research integrates evolutionary biology, biomechanical modeling, and computational techniques.

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.

Dennis Säringمشاهده پروفایل

استاد

• Deep Learning
• Medical Image Analysis
• Artificial Intelligence
• +۵ مورد دیگر

Prof. Dr. Dennis Säring is a faculty member at the University of Applied Sciences Wedel , specifically affiliated with the School of Engineering. His academic and research activities focus on Deep Learning , Medical Image Analysis , and applications of Artificial Intelligence in healthcare and biomedical imaging. He has led seminars on Deep Learning topics and supervised student projects in Autonomous Driving at Audi's AADC 2018 competition. Research Highlights : Cardiovascular imaging, forensic age estimation via MRI, neural network-based bone segmentation, and cerebrovascular aneurysm analysis. Technical Expertise : Cardiac MRI, 3D/4D image processing, parametric mapping, and spatiotemporal data fusion. His recent publications (2018-2023) emphasize 3D MR segmentation for age assessment, CMR strain analysis in athletes, and T1/T2 mapping for myocarditis. Key collaborations include institutions like the University Medical Center Hamburg-Eppendorf and Wedler Hochschulbund, with funding for autonomous vehicle research. While no explicit scientific awards are listed, his work spans clinical cardiology, forensic radiology, and AI-driven medical diagnostics.

Richard L. Petersمشاهده پروفایل

استاد

• Tree Physiology
• Wood Formation Science
• Forest Ecology
• +۶ مورد دیگر

Prof. Richard L. Peters is a Professor and Head of the Chair of Tree Growth and Wood Physiology at the Technische Universität München (TUM) since 2024. His research focuses on tree physiology, wood formation, and climate-forest interactions. He holds a doctorate summa cum laude from the University of Basel (2018) and has conducted postdoctoral research at the Swiss Federal Institute for Forest Science (WSL) and Ghent University. His work integrates forest ecology, dendrochronology, and ecophysiology to address climate change impacts on forests. Education: B.Sc./M.Sc. in Biology at Utrecht University, Ph.D. from University of Basel (2018). Key career steps include a Swiss National Science Foundation (SNSF) fellowship at Ghent University and coordination of the Swiss Canopy Crane II project (2021). Research Interests: Tree water-use strategies, drought tolerance mechanisms, carbon allocation dynamics, and the physiological basis of tree growth. He leads interdisciplinary projects to monitor forest responses to environmental stress using tools like the TreeNet network. Awards: Early Postdoc Mobility Fellowship (SNSF, 2019), Doctorate summa cum laude (2018). Contributions: Authored >180 publications, co-developed the datacleanr R package for ecological data processing, and pioneered methods linking tree-ring data with climate models. His work emphasizes the need for better observational data to improve vegetation models.

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.

Qiaowei Panمشاهده پروفایل

پژوهشگر

• Evolutionary Biology
• Molecular Biology
• Genetics
• +۷ مورد دیگر

Qiaowei Pan is a Researcher at the University of Lausanne , focusing on Evolution and Ecology . They have held a Guest Researcher role at the Institute of Molecular Biology gGmbH (IMB) in Mainz, Germany since 2023, and a Postdoctoral Researcher position at the University of Lausanne since 2018. Education: PhD in Molecular and Evolutionary Biology (2014-2018), INRAe, University of Rennes II, France Erasmus Mundus Master in Evolutionary Biology (MEME) (2012-2014), University of Groningen (Netherlands) & University of Montpellier II (France) BSc in Biology (2008-2012), University of North Carolina-Chapel Hill, USA Research Interests: Qiaowei Pan's work centers on the intersection of molecular genetics , evolutionary biology , and developmental biology , particularly in sex determination mechanisms across diverse animal models. Their studies span non-coding RNA regulation , sex chromosome evolution , and signal transduction pathways like TGF-β in reproductive systems. Publication Trends: Recent articles highlight expertise in sex determination systems (5/12 publications), genomic approaches (6/12), and fish developmental evolution . Collaborative work includes computational methods ( RADSex workflow ) and comparative studies across ant , goldfish , catfish , and cavefish models. Labs & Teams: Currently affiliated with the Keller-Valsecchi group at IMB and the Department of Evolution and Ecology at the University of Lausanne.

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.

Yin Tat Leeمشاهده پروفایل

دانشیار

• Convex Optimization
• Convex Geometry
• Graph Algorithms
• +۲ مورد دیگر

Yin Tat Lee is an Associate Professor at the Paul G. Allen School of Computer Science & Engineering , University of Washington, and a Senior Principal Researcher in Microsoft AI. His research spans convex optimization , convex geometry , graph algorithms , online algorithms , and differential privacy , with applications in machine learning and theoretical computer science.

Knut Reinertمشاهده پروفایل

استاد

• Algorithmic Bioinformatics
• Genomic Sequence Analysis
• Proteomics
• +۷ مورد دیگر

Professor Knut Reinert is a leading figure in algorithmic bioinformatics at the Free University of Berlin, where he holds a professorship in the Department of Mathematics and Computer Science. He also maintains a significant affiliation with the Max Planck Institute for Molecular Genetics in Berlin, where he leads the Efficient Algorithms for Omics Data group. His research spans both institutions through the Reinert Lab, which focuses on developing novel computational approaches for biological data analysis. Reinert's educational background includes a Diploma in Computer Science (1994) and a Doctorate (Dr. Ing./Ph.D., 1999, with honors) from the Max-Planck-Institut for Computer Science and Universität des Saarlandes in Saarbrücken. Prior to his professorship, he worked as a computer scientist under Prof. Gene Myers at Celera Genomics in Rockville, USA (1999-2002). His primary research interests center on algorithmic bioinformatics with specific focus on developing novel algorithms and data structures for biomedical mass data analysis. This includes creating mathematical models for genomic sequence analysis and algorithms for mass spectrometry data to detect differential protein expression between normal and diseased samples. His work bridges the gap between computational tool development and practical biological applications, with particular emphasis on NGS and proteomics data. The publications and projects led by Prof. Reinert demonstrate a consistent focus on advancing computational methods in bioinformatics. His research spans genomic sequence analysis, RNA research (particularly long non-coding RNAs), parallel computing applications, and GPU acceleration for biological data processing. The work shows increasing sophistication in handling large-scale biological datasets through innovative algorithmic approaches. Intel® Parallel Computing Center designation for his lab CUDA Research Center status DFG funding of 530 thousand Euros for RNA research de.NBI funding of 2 million Euros BMBF funded projects 'LIVE-DREAM' and 'EssBar' Prof. Reinert leads multiple significant research projects and has established strong collaborations with international partners including Texas A&M, Kings College London, Eberhardt-Karls Universität Tübingen, Robert-Koch-Institute, and various Turkish institutions. His lab receives funding from major organizations including DFG, BMBF, and Intel. The Reinert Lab maintains active teaching responsibilities at FU Berlin, offering courses at BSc, MSc, and PhD levels using both traditional and innovative learning concepts like e-learning and inverted classrooms. The Reinert Lab consists of two interconnected research groups that work closely with experimental biologists and medical researchers to develop practical computational solutions for real-world biological problems. The lab has established itself as a key player in the German and international bioinformatics community through its development of the widely-used SeqAn library and participation in national infrastructure initiatives.

• Earthquake Seismology
• Seismic Tomography
• Subduction Zone Processes
• +۴ مورد دیگر

Andreas Rietbrock is Professor and Director of the Geophysical Institute (GPI) at the Karlsruhe Institute of Technology (KIT) , Germany, where he also serves as Dean of Studies for Geophysics . He is a leading expert in earthquake seismology, seismic tomography, and subduction zone dynamics, with a strong focus on integrating advanced observational techniques and computational methods. Education: While specific degrees are not listed in the provided text, his extensive publication record and leadership roles indicate advanced academic training in geophysics and seismology. Research Interests: His work spans a wide range of topics including: Seismic imaging of subduction zones (e.g., Nazca, Lesser Antilles) Earthquake rupture dynamics and fault mechanics Volcanic seismology and magma transport Full waveform inversion and AI-enhanced seismic analysis Distributed Acoustic Sensing (DAS) applications Induced seismicity and reservoir monitoring Research Trends: His recent publications (2022–2025) emphasize the use of dense seismic arrays, AI-based data processing, and multi-method tomography to study complex tectonic environments. Key themes include high-resolution imaging of slab structures, fluid migration in subduction zones, and the integration of DAS and machine learning for seismic monitoring. Scientific Contributions: Andreas has led major international projects such as the ANTICS Large-N deployment in Albania and the VoiLA project in the Lesser Antilles. He has published extensively in top-tier journals like Nature , Geophysical Research Letters , and Journal of Geophysical Research , with over 200 peer-reviewed articles. Teaching and Supervision: He teaches courses such as "Introduction to Geophysics II", "Seismology", and "Current Topics in Seismology and Risk". While specific student names are not listed, his role as Dean and principal investigator on numerous projects indicates active supervision of graduate students and postdocs. Labs and Teams: He leads the seismology group at GPI, coordinating large-scale deployments of seismic instruments, including ocean-bottom seismometers and fiber-optic DAS systems. His team collaborates globally with institutions in Europe, South America, and Asia.

Susanne Weisمشاهده پروفایل

استاد پژوهشی

• Neuroimaging
• Cognitive Neuroscience
• Machine Learning in Neuroscience
• +۳ مورد دیگر

Susanne Weis is a Research Professor and Group Leader of the 'Variability of the Brain' group at the Department of Brain and Behavior (INM-7), part of the Institute of Neuroscience and Medicine (INM) at Research Center Jülich GmbH. Her work focuses on understanding brain variability through advanced neuroimaging techniques and machine learning, with particular emphasis on sex differences, hormonal influences, and clinical applications in mental health. Her research interests include neuroimaging methodologies, machine learning applications in cognitive neuroscience, and the structural-functional relationships underlying brain variability. She investigates how factors like sex hormones and naturalistic stimuli (e.g., movies) affect brain connectivity and cognitive performance, aiming to improve diagnostic and predictive tools for disorders such as schizophrenia and Alzheimer’s disease. Publications highlight her contributions to developing datasets (e.g., SpEx), analyzing confound leakage in ML models, and exploring meta-analytic networks during naturalistic viewing. Her work bridges basic science and clinical impact, addressing challenges in interpreting neuroimaging data and advancing personalized medicine approaches. In her role as a group leader, Weis oversees research projects and collaborates with interdisciplinary teams. She is affiliated with the Helmholtz Association and contributes to the broader scientific community through her research in neuroimaging and computational neuroscience.

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