Michael Potter is Professor of Logic at the Faculty of Philosophy , University of Cambridge, and a Life Fellow at Fitzwilliam College. Previously at Balliol College, Oxford (D.Phil. in pure mathematics), he has held research fellowships at St Andrews, Harvard, and Stirling University (AHRC-funded). His work bridges historical and systematic philosophy, focusing on History of analytic philosophy (Frege, Russell, Wittgenstein, Ramsey) Philosophy of mathematics and logic Philosophy of religion Potter's research has produced major works like Set Theory and its Philosophy (OUP 2004) and The Rise of Analytic Philosophy (Routledge 2019), with significant contributions to understanding the Metaphysical underpinn't> of the Tractatus Neo-Fregean logicism Paradoxes in mathematical foundations He has supervised research on topics spanning dialetheism, predicative mathematics, and modal ontological arguments. Scientific awards include the AHRC Senior Research Fellowship (2004-2005). His recent publications analyze Transcendental arguments in Wittgenstein Sortition-based democratic theory Philosophical implications of Ramsey's infinite proofs via peer-reviewed chapters and journal articles.
Brian Conrad is a Professor of Mathematics at Stanford University, specializing in number theory and arithmetic geometry. He holds a position in the Department of Mathematics and has contributed extensively to algebraic geometry, algebraic number theory, and representation theory. His research encompasses foundational work on reductive groups, pseudo-reductive groups, and their applications in arithmetic contexts. Dr. Conrad is an editor for the Journal of the AMS, Algebra and Number Theory, and IMRN. He has organized numerous learning seminars, including those on étale cohomology and the BSD conjecture, and has taught advanced courses on algebraic geometry, class field theory, and modular forms. His work bridges classical algebraic geometry with modern arithmetic applications, emphasizing foundational proofs and geometric intuition. His editorial roles and seminar leadership reflect his commitment to advancing mathematical exposition and education. Education details are not explicitly provided in the texts, but his academic trajectory includes significant contributions to the field through publications and mentorship. Dr. Conrad's research has led to advancements in areas such as the classification of algebraic groups, étale cohomology, and the arithmetic of elliptic curves. His collaborative work with mathematicians like Chai, Oort, and Prasad has produced influential monographs, including Pseudo-reductive Groups and Complex Multiplication and Lifting Problems .
Elden Elmanto is an Assistant Professor in the Department of Mathematics at the University of Toronto, affiliated with the Faculty of Arts and Science. His research focuses on advanced areas of algebraic geometry and homotopy theory, particularly through a motivic perspective. He investigates algebraic cycles, vector bundles, and motivic cohomology, often leveraging techniques from derived algebraic geometry and p-adic geometry. Recently, he co-developed a motivic cohomology theory for singular schemes with Matthew Morrow. His work spans topics like algebraic K-theory, motivic homotopy theory, and the interplay between topology and arithmetic geometry. He actively participates in seminars such as the Toronto Algebraic Geometry Seminar and has led research on topological cyclic homology, equivariant algebraic K-theory, and motivic infinite loop spaces. Elmanto collaborates widely, contributing to fields like étale motivic spectra, Voevodsky’s convergence conjecture, and the Quillen-Lichtenbaum dimension. His research emphasizes foundational questions in modern algebraic geometry, with applications to arithmetic and geometric contexts.
Kartik Prasanna is a Professor in the Department of Mathematics at the University of Michigan , affiliated with the College of Literature, Science and the Arts . He received his PhD from Princeton University in 2003 under the supervision of Andrew Wiles. Research Interests: His work lies at the intersection of number theory , algebraic cycles , and automorphic forms , focusing on the Langlands program , L-functions , algebraic cycles , and Iwasawa theory , particularly through the lens of the Bloch-Beilinson and Bloch-Kato conjectures . His recent publications explore periods of automorphic forms and the arithmetic of Shimura varieties. Grants & Awards: Simons Fellowship (2014-15) von Neumann Fellowship at the Institute for Advanced Study (2014-15) Current NSF Grants : DMS 2001293 and RTG DMS 1840234 Previous NSF grants: DMS 1600494, DMS 1160720, DMS 1015173, DMS 0801191, DMS 0854900 Academic Contributions: He has advised or collaborated with numerous postdoctoral researchers including Christopher Lyons , Ruochuan Liu , and Cameron Franc . Prasanna organized the 2011 FRG/RTG Workshop on L-functions, Galois Representations and Iwasawa Theory at the University of Michigan.
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.
Paul Larson is a Professor of Mathematics at Miami University. His research focuses on set theory, topology, and model theory, with particular expertise in forcing axioms, descriptive set theory, and infinitary logic. He holds a Ph.D. in Mathematics from the University of California, Berkeley. His work bridges foundational mathematical logic with applications in topology and combinatorics. Key contributions include studies on canonical models under fragments of the Axiom of Choice, polar forcings, and cardinal characteristics. Larson has collaborated extensively with leading researchers such as Saharon Shelah and Jindřich Zapletal. His publications span prestigious journals like the Annals of Pure and Applied Logic and Transactions of the American Mathematical Society. Beyond research, he contributes to the academic community through editorial work and expository writings on historical developments in determinacy theory. Education: Ph.D., Mathematics, University of California, Berkeley Research interests emphasize foundational questions in set theory with applications to topology and model theory. His recent work explores advanced forcing techniques, square principles in Pmax extensions, and combinatorial properties of cardinal invariants. Publications reflect interdisciplinary engagement, including crystal structure prediction in high-pressure chemistry and operator theory in functional analysis. Despite an extensive publication record, no specific scientific awards are documented here. His advising and grant activities remain unspecified in the provided texts. Collaborations span international institutions, reflecting his role as a central figure in contemporary set theory research.
Matthew Emerton is a Professor in the Department of Mathematics at the University of Chicago, part of the Physical Sciences Division. He specializes in number theory, arithmetic geometry, and the Langlands program. His research focuses on automorphic forms, Galois representations, and p-adic methods in arithmetic geometry. Education: BSc (Hons) from the University of Melbourne (1993), PhD in Mathematics from Harvard University (1998), advised by Barry Mazur. Research Highlights: Pioneered work on the p-adic Langlands program, moduli stacks of Galois representations, and prismatic cohomology. Authored over 50 publications, including foundational works on p-adic Hodge theory and local-global compatibility. Awards: Alfred P. Sloan Doctoral Dissertation Fellowship (1997-98), Rackham Summer Faculty Fellowship (1999). Grants: Multiple NSF awards (e.g., DMS-2201242 for 'Arithmetic Aspects of the Langlands Program', DMS-1952705 for geometric aspects of the p-adic Langlands program). Students: Mentored 25+ PhD students and postdocs, many contributing to number theory and representation 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.
Prof. Dr. Guido Kings is a Professor of Pure Mathematics at the Faculty of Mathematics, University of Regensburg. His research focuses on Special Values of L-functions , Tamagawa Number Conjecture , and Polylogarithms , with significant contributions to Iwasawa Theory and Arithmetic Geometry . He has held leadership roles in research projects such as the CRC Higher Invariants. Prof. Kings has authored influential papers on topics like Eisenstein-Kronecker classes , p-adic interpolation , and regulators in arithmetic geometry . He received the Frontier of Science Award in recognition of his work. His team includes doctoral students and postdoctoral researchers, such as Bernadette Melichar and Julio de Mello Bezerra. Current Affiliations: Faculty of Mathematics, University of Regensburg Recent Courses Taught: Analysis II, Advanced Seminar in Arithmetic Geometry, and Modular Forms Research Group: Comprises scientific staff (e.g., Han-Ung Kufner) and doctoral students working on number theory and algebraic geometry. His publications are widely cited in Annals of Mathematics , Duke Mathematical Journal , and Inventiones Mathematicae , reflecting his expertise in connecting motivic cohomology with p-adic analysis.
Jaclyn Lang is the Selma Lee Bloch Brown Assistant Professor of Mathematics at Temple University. Her research centers on algebraic number theory, focusing on modular forms, Galois representations, elliptic curves, motives, and p-adic methods. Education: Ph.D. in Mathematics, UCLA (2016), advised by Haruzo Hida Part III of the Mathematical Tripos, University of Cambridge (2010), supervised by Tom Fisher MA in Mathematics, Bryn Mawr College (2009), supervised by Helen Grundman Research Interests: She works on advanced problems in number theory, including the Eisenstein ideal, pseudorepresentations, and arithmetic geometry of elliptic curves. Her work often bridges algebraic geometry and automorphic forms using p-adic techniques. Scientific Awards: Churchill Scholarship (2009–2010) Clare Booth Luce Scholarship (2007–2009) NSF Graduate Research Fellowship (2010–2015) Charles E. and Sue K. Young Graduate Student Award (2015) NSF Mathematical Sciences Postdoctoral Research Fellowship (2016–2020) AWM Travel Grant (2023) Fulbright U.S. Student Program Grant (2016) Simons Travel Support for Mathematicians (2023–2028) Grants: She has received NSF Standard Grant DMS-331117 (2023–2026) and participated in programs like the Park City Math Institute and Women in Numbers Europe (WINE3).
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.
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 .
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
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.
Prof. Dr. Philipp Habegger is a faculty member at the University of Basel's Department of Mathematics and Computer Science . His research focuses on Number Theory , specifically Diophantine Geometry, heights on abelian varieties, unlikely intersections, and algebraic number theory. He leads the Research Group in Number Theory and participates in collaborative seminars like the Number Theory Web Seminar with Mike Bennett and Alina Ostafe. Contact : philipp.habegger@unibas.ch | +41 61 207 26 98 Office : Spiegelgasse 1, 4051 Basel, Switzerland Academic Role : Research and teaching in number theory and Diophantine problems Research Overview Habegger's work addresses fundamental questions about the distribution of special points on algebraic varieties and the arithmetic properties of polynomial dynamics. His recent publications analyze degeneracy loci in abelian families, canonical heights, and the geometric Bogomolov conjecture. The 15 most recent articles reflect a focus on number theory, algebraic geometry, and effective bounds in Diophantine problems. Scientific Collaborations Collaborated with Ziyang Gao, Harry Schmidt, Umberto Zannier, and others Contributed to journals: Annals of Mathematics , Forum of Mathematics, Sigma , Compositio Mathematica Key themes: Abelian varieties , Heights , Unlikely intersections , CM jacobians
