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

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

Prof. Peter Scholze is a leading mathematician at the University of Bonn and the Max Planck Institute for Mathematics (MPIM). He holds a professorship in the Mathematical Institute at the University of Bonn and is affiliated with MPIM as a principal investigator. His research focuses on arithmetic geometry, representation theory, and p-adic geometry, with notable contributions to perfectoid spaces, prismatic cohomology, and the geometrization of the local Langlands correspondence. Scholze has organized several advanced seminars (ARGOS) and taught courses on topics like condensed mathematics, p-adic geometry, and algebraic geometry. He collaborates widely with researchers such as Laurent Fargues and Bhargav Bhatt. His recent work includes groundbreaking papers on wild Betti sheaves, motivic geometrization of the local Langlands correspondence, and the Habiro ring of number fields. Scholze has pioneered the use of prismatic cohomology to unify p-adic Hodge theories and has developed foundational frameworks in derived algebraic geometry. His research also intersects with representation theory and topological cyclic homology. Affiliations: University of Bonn (Mathematical Institute), Max Planck Institute for Mathematics (MPIM) Research Groups: Arbeitsgruppe Arithmetische Geometrie und Darstellungstheorie Teaching: Recent courses include 'Selected Topics in Algebraic Geometry' and 'Six-Functor Formalisms'. His work frequently explores connections between algebraic geometry and number theory, with a focus on geometric approaches to arithmetic problems. Scholze is a key figure in modern arithmetic geometry, influencing both foundational theory and applied areas like the Langlands program.

Paul Gölzمشاهده پروفایل

استادیار

• Social Choice Theory
• Algorithmic Fairness
• AI Ethics
• +۳ مورد دیگر

Paul Gölz is an Assistant Professor at Cornell University's School of Operations Research and Information Engineering (ORIE), with affiliations in Computer Science. His research focuses on computational social choice, algorithmic fairness, and AI ethics, addressing topics like democratic innovation, fair resource allocation, and AI systems for diverse users. Education: Undergraduate studies at Saarland University (Germany), PhD in Computer Science from Carnegie Mellon University, followed by postdoctoral research at Harvard University, UC Berkeley, and the Simons Laufer Mathematical Sciences Institute. His work has been recognized with awards including the JPMorgan Chase AI Research Fellowship (2021) and honorable mentions for prestigious dissertation awards (Dantzig and ACM SIGecom). Research Highlights : Developed Panelot, a tool for selecting citizens' assemblies using state-of-the-art algorithms. His work on fair refugee resettlement and apportionment methods has been featured in Operations Research and Nature . Recent projects include AI alignment distortion analysis and generative social choice mechanisms. Teaching : Teaches Optimized Democracy (Spring 2025) and Mathematical Programming (Fall 2024). Supervises PhD students in ORIE, focusing on interdisciplinary applications of optimization and social choice. Awards & Grants : Received a $40K Structural Democracy Fellowship (Crankstart) and an OpenAI grant for Democratic Inputs to AI. Active in policy briefs (e.g., mini-public selection strategies). Labs/Tools : Co-developed Panelot.org , a nonprofit platform for fair citizen assembly selection. Active in open-source tool development for social choice applications.

Jeffrey F. Brockمشاهده پروفایل

استاد

• Low-dimensional geometry
• Hyperbolic geometry
• Topology
• +۳ مورد دیگر

Jeffrey F. Brock is the Dean of the School of Engineering & Applied Science and the William S. Massey Professor of Mathematics at Yale University. He holds the Zhao and Ji Chair in Mathematics. His research focuses on low-dimensional geometry and topology, particularly hyperbolic geometry and its applications to data analysis. He completed his undergraduate studies at Yale and earned his Ph.D. from UC Berkeley. He held positions at Stanford, the University of Chicago, and Brown University, where he chaired the Mathematics Department from 2013 to 2017 and founded Brown’s Data Science Initiative in 2016. He joined Yale in 2018, serving as inaugural Dean of Science in the Faculty of Arts and Sciences until assuming his current role in 2022. He is a Guggenheim Fellow and Fellow of the American Mathematical Society. His research spans hyperbolic 3-manifolds, Teichmüller dynamics, and geometric methods in data science. Notable contributions include work on Thurston’s geometrization program, classification of hyperbolic manifolds, and applications of geometric topology to complex datasets. He co-authored foundational papers on ending laminations, Weil-Petersson geometry, and renormalized volume. His recent work bridges pure mathematics with applied challenges, such as algorithmic detection of medical imaging patterns. Awarded the Guggenheim Fellowship (2008) and AMS Fellow (2017), Brock has also led interdisciplinary initiatives at Brown and Yale. His administrative roles include overseeing engineering, natural sciences, and data science programs. Beyond academia, he co-founded the Vijay Iyer Trio, showcasing his passion for music performance and creativity.

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

Ashley Montanaroمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.

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

Prof. Peter Scholze is a leading mathematician at the Max Planck Institute for Mathematics in Bonn, specializing in algebraic geometry and arithmetic geometry. He holds the academic rank of Professor and is part of the Arbeitsgruppe Algebraische Geometrie und Darstellungstheorie. His research focuses on foundational questions in algebraic geometry, number theory, and representation theory, particularly through the lens of the Langlands program, p-adic Hodge theory, and perfectoid spaces. Scholze has pioneered geometric approaches to the local Langlands correspondence and introduced revolutionary concepts like prismatic cohomology and condensed mathematics. He actively contributes to academia through advanced courses on topics such as geometrization of the Langlands program, étale cohomology, and condensed mathematics. His work bridges algebraic geometry with representation theory, addressing fundamental problems in arithmetic geometry and p-adic analysis. Scholze’s research outputs include seminal papers on perfectoid spaces, prismatic cohomology, and the geometrization of local Langlands correspondence. He collaborates extensively with leading mathematicians globally, contributing to collaborative research initiatives like the ARGOS seminar and the Habiro ring project. His teaching engagements include advanced lectures on algebraic geometry, representation theory, and p-adic geometry, reflecting his commitment to training the next generation of researchers. Despite no explicitly listed awards in the provided text, Scholze is widely recognized as a Fields Medalist (2018) and a leading figure in modern mathematics.

Christian Bizerمشاهده پروفایل

استاد

• Data Integration
• Entity Matching
• Schema Matching
• +۵ مورد دیگر

Professor Christian Bizer is a leading figure in web-based systems and data integration at the University of Mannheim , where he chairs Information Systems V: Web-based Systems . His research focuses on integrating data from multiple sources using large language models and LLM-based agents, with applications in product data extraction and DBpedia knowledge graph construction. He co-founded the DBpedia project and initiated the WebDataCommons initiative. Current research areas: Entity matching, schema matching, table annotation, information extraction, data discovery Key projects: WebMall benchmark, WInte.r integration framework, Schema.org analysis His work applies to e-commerce data integration and knowledge graph construction, with empirical studies on schema.org adoption. He supervises PhD students including Alexander Brinkmann and Ralph Peeters. Scientific Awards: Best Paper at iiWAS 2024 SWSA Ten-Year Award at ISWC 2019 Yahoo FREP Award 2015 Semantic Web Challenge winners Teaching includes courses on web data integration, web mining, large language models, and data mining for master's programs. He leads the DWS PhD colloquium and team projects on LLM agents for data integration.

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.

Christopher Morrisمشاهده پروفایل

استادیار

• Machine Learning
• Graph Neural Networks
• Computer Science Theory
• +۳ مورد دیگر

Christopher Morris is a tenure-track Assistant Professor at RWTH Aachen University and a DFG Emmy Noether fellow. He leads the Learning on Graphs (LoG) research group, focusing on machine learning methods for structured data, particularly graph neural networks. His work bridges machine learning, computer science theory, and discrete mathematics, addressing challenges in generalization, expressivity, and algorithmic efficiency. Education: PhD in Computer Science from TU Dortmund University (advised by Petra Mutzel and Kristian Kersting), postdoctoral research at Mila - Quebec AI Institute (Siamak Ravanbakhsh) and McGill University, and Polytechnique Montréal (Andrea Lodi). Research interests emphasize graph machine learning, including generalization theory, combinatorial optimization, and scalable graph embeddings. Notable contributions include analyzing Weisfeiler-Leman algorithms' impact on GNNs' expressivity and generalization (VC dimension connections). Awards: DFG Emmy Noether Fellowship. Supervises six PhD students in Aachen. Active in teaching, offering courses on graph-based machine learning foundations and applications since 2022. Labs/Teams: LoG group at RWTH Aachen, collaborating with institutions like Mila and Polytechnique Montréal. Erdős number 3 through Petra Mutzel’s collaboration network.

• Arithmetic Algebraic Geometry
• Motivic Homotopy Theory

Prof. Dr. Niko Naumann is a faculty member at the University of Regensburg, affiliated with the Department of Mathematics (NWF I - Mathematics). His research focuses on the intersection of Arithmetic Algebraic Geometry and Motivic Homotopy Theory. His work explores stable homotopy theory, equivariant algebraic K-theory, and the application of topological modular forms to arithmetic problems. Notable collaborations include researchers such as Tobias Barthel, Akhil Mathew, and Justin Noel. The 15 most recent publications span topics in homotopy theory, algebraic geometry, and number theory, with a particular emphasis on nilpotence theorems, motivic spectra, and arithmetic invariants. Key journals include Inventiones Mathematicae, Advances in Mathematics, and Geom. Topol. Niko Naumann’s departmental role includes leadership in international academic exchange programs like ERASMUS. Current advisees or students are not explicitly listed in the provided text.

Marco Platznerمشاهده پروفایل

استاد

• Reconfigurable Computing
• Approximate Computing
• Self-Aware Computing
• +۷ مورد دیگر

Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.

Eva Viehmannمشاهده پروفایل

استاد

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

Prof. Dr. Eva Viehmann is a leading mathematician at the University of Münster within the Faculty of Mathematics and Computer Science and a key figure in the Mathematics Münster cluster. She was awarded the prestigious Gottfried Wilhelm Leibniz Prize 2024 for her groundbreaking work in arithmetic algebraic geometry and representation theory within the Langlands program . University: University of Münster Department: Mathematical Institute Her research focuses on the intersection of algebra , geometry , and analysis , particularly through the lens of Shimura varieties and moduli spaces of local G-shtukas . She has pioneered the study of affine Deligne-Lusztig varieties in equal and mixed characteristics, advancing understanding of their dimension , connectedness , and irreducible components . Recent publications highlight her work on Newton stratification , Harder-Narasimhan theory , and p-adic moduli spaces . Her scientific advisory contributions include mentoring former doctoral student Stefania Trentin and collaborating with Prof. Urs Hartl over 15 years. Awards and honors include the Leibniz Prize 2024 , reflecting her status as a trailblazer in arithmetic geometry and p-adic geometry . Her research projects span the CRC 1442 and EXC 2044 , aiming to unify Galois representations , automorphic forms , and geometric methods .

• Embedded Machine Learning
• High-Performance Computing
• Computer Architecture
• +۶ مورد دیگر

Holger Fröning is a full professor at Heidelberg University’s Institute of Computer Engineering (ZITI), where he leads the Hardware and Artificial Intelligence (HAWAII) Lab. His research focuses on embedded machine learning , high-performance computing , and hardware-software co-design , with emphasis on resource efficiency, power optimization, and emerging architectures like analog , photonic , and resistive memory systems. He has held leadership roles including Managing Director of ZITI (2023–present) and Dean of Studies for Computer Science (2019–2022) , and has collaborated with institutions such as NVIDIA Research, Chinese Academy of Sciences, and Graz University of Technology. Research Trends : His recent publications explore Bayesian neural networks , green machine learning , analog computing noise mitigation , and GPU/FPGA optimization . Articles highlight photonic computing for AI , memory-efficient training , and hardware-aware DNN compression . Scientific Awards : 2025 HiPEAC Paper Award (Nature Computational Science) 2014 Google Faculty Research Award Multiple Best Paper Awards (IPDPS, ICPP, ECML-PKDD workshops) Leadership & Service : Organized workshops (WEML, ITEM, F4HD), chaired tracks at EuroPar and ISC, and served on program committees for ICPR, ECAI, and FPL. Education & Affiliations : PhD and MSc from University of Mannheim (2007/2001). Sponsors include DFG, FWF, FFG, NVIDIA, SAP, and XILINX.

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.

Assia Mahboubiمشاهده پروفایل

پژوهشگر

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +۳ مورد دیگر

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.