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

Robin Jiaمشاهده پروفایل

استادیار

• Natural Language Processing (NLP)
• Deep Learning
• Artificial Intelligence
• +۷ مورد دیگر

Robin Jia is an Assistant Professor in the Thomas Lord Department of Computer Science at the University of Southern California (USC) , where he leads the AI, Language, Learning, Generalization, and Robustness (Allegro) Lab . His research focuses on enhancing the reliability and robustness of large language models (LLMs) through mechanistic understanding, benchmarking under distribution shifts, and neurosymbolic integration. Key affiliations include collaborations with the USC Keck School of Medicine and contributions to legal frameworks like the EU's Digital Services Act. Robin's research spans multiple domains, including: Scientific analysis of LLM capabilities in in-context learning , data memorization , and numerical reasoning Advancements in robust NLP systems , emphasizing uncertainty estimation and calibration Development of methods combining LLMs with symbolic solvers for complex reasoning tasks Interdisciplinary applications in medicine and law , such as privacy-preserving synthetic data generation and medical misconception evaluation . His recent publications (2024-2025) address Fourier-based numerical embeddings (NeurIPS), neurosymbolic planning (NAACL), and multimodal benchmarking (COLM), with a strong emphasis on privacy , fairness , and transparency . Scientific awards include the Google Research Scholar Award (2023) , SoCalNLP Symposium Best Paper Awards , and ACL/EMNLP outstanding papers . He advises PhD students like Johnny Wei and Ameya Godbole, and has secured grants from the NSF , USC-Capital One , and USC-Amazon .

Eric Larsonمشاهده پروفایل

دانشیار

• Algebraic Geometry
• Brill-Noether Theory
• Moduli Spaces
• +۳ مورد دیگر

Eric Larson is an Associate Professor at Brown University's Department of Mathematics, specializing in algebraic geometry. His research focuses on moduli spaces, Brill-Noether theory, and algebraic curves. He collaborates with notable mathematicians such as Isabel Vogt and Izzet Coskun on topics like normal bundles, Chow rings, and stability conditions. Larson actively engages in academic outreach, organizing Putnam competition practices and undergraduate colloquia. He has developed computational tools for studying elliptic curves' Galois representations and contributed to expository works on interpolation problems and LaTeX accessibility.

• Graph Algorithms
• Optimization
• High-Dimensional Geometry
• +۳ مورد دیگر

Yang P. Liu is an Assistant Professor at Carnegie Mellon University 's Department of Computer Science . He received his PhD from Stanford University under the supervision of Aaron Sidford and previously studied at MIT . Fields of Interest : Graph Algorithms, Optimization, High-Dimensional Geometry, Additive Combinatorics, Theoretical Computer Science. His research focuses on algorithmic design and analysis for graph problems, optimization, and combinatorics, with applications in machine learning and complexity theory. Recent work includes advancements in parallel repetition games , combinatorial lines , and dynamic graph algorithms . In 2024, his research spanned FOCS , STOC , and RANDOM conferences, addressing problems in k-CSPs , min-cost flow , and hypergraph sparsification . Earlier contributions (2023) included deterministic flow algorithms and spectral hypergraph techniques. Scientific Awards : NDSEG Fellowship (2018-2021), Google PhD Fellowship (2022-2023), FOCS Best Paper (2022), STOC Best Student Paper (2022), FOCS Best Student Paper (2021). He teaches CS 15-759 , a graduate course on convex optimization theory and applications, covering gradient descent, interior point methods, and algorithmic sparsification techniques.

Aise Johan de Jongمشاهده پروفایل

استاد

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

Aise Johan de Jong is a Professor in the Department of Mathematics at Columbia University, where he teaches courses including representations of finite groups and organizes the algebraic geometry seminar. He is a leading figure in algebraic geometry with a particular focus on stacks theory and arithmetic aspects of algebraic varieties. Institution: Columbia University, Department of Mathematics Research Focus: Algebraic stacks, arithmetic geometry, moduli spaces Major Project: The Stacks Project (open-source collaborative textbook) De Jong's research primarily centers on algebraic stacks, arithmetic geometry, and the foundations of algebraic geometry. His work bridges abstract theoretical frameworks with concrete computational aspects, particularly in positive characteristic. He has made significant contributions to understanding Brauer groups, period-index problems, and the geometry of moduli spaces. His research often connects number theory with geometric structures, exploring how arithmetic properties manifest in geometric settings. His publication record shows a consistent focus on fundamental structures in algebraic geometry, with particular emphasis on stacks theory (evident in The Stacks Project), Brauer groups, rational connectivity, and arithmetic properties of algebraic varieties. The trajectory of his work demonstrates increasing sophistication in handling complex geometric structures while maintaining connections to arithmetic questions. His most recent work continues to explore the interplay between algebraic geometry and number theory, particularly through the lens of stacks and moduli spaces. De Jong actively mentors graduate students, with numerous descendants listed in the Mathematics Genealogy Project. His academic lineage includes researchers working across various subfields of algebraic geometry. He has organized multiple conferences including "Moduli spaces and moduli stacks" (2012) and "Spaces of curves and their interaction with diophantine problems" (2009), demonstrating his leadership in the field. He leads The Stacks Project, a major collaborative open-source initiative that has become an essential reference for algebraic geometers worldwide. This project provides comprehensive foundations for algebraic stacks and related concepts, with regular updates and community contributions. De Jong also maintains the Stacks Project Blog where he discusses mathematical topics related to the project and shares updates.

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

Brian Conradمشاهده پروفایل

استاد

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

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 .

John MacFarlaneمشاهده پروفایل

استاد

• Philosophy of Language
• Philosophical Logic
• Metaphysics
• +۸ مورد دیگر

John MacFarlane is a Professor of Philosophy at the University of California, Berkeley , with affiliations to the Group in Logic and the Methodology of Science and co-organizer roles in the Meaning Sciences Club and Townsend Center Working Group . His research spans philosophy of language, philosophical logic, metaphysics, epistemology, philosophy of mathematics, history of logic , and ancient philosophy , particularly Aristotle . He has held visiting positions at institutions like École des Hautes Études en Sciences Sociales (EHESS), Paris . Education : Ph.D. in Philosophy (2000, University of Pittsburgh), M.A. in Classics (1997) and Philosophy (1994), A.B. summa cum laude in Philosophy (1991, Harvard). Research Interests focus on semantic relativism , particularly assessment sensitivity as explored in his book Assessment Sensitivity: Relative Truth and Its Applications (Oxford, 2014). He investigates how epistemic modals and vagueness interact with truth evaluation. His work in philosophical logic includes a textbook Philosophical Logic: A Contemporary Introduction (Routledge, 2021). Secondary interests include ancient philosophy (Aristotle, Plato), formal logic , and fiddlosophy . Article Trends reveal contributions to relativism , epistemic modals , vagueness , and logicism . His recent work (2025) examines Plato’s Protagoras and belief utility , while 2022–2020 articles address semantic indecision and probabilistic knowledge . Earlier works (2008–2000) include foundational studies on Frege, Kant, and Aristotle . Scientific Awards include a 2023 Residential Fellowship at Wissenschaftskolleg, Berlin (declined), 2016–17 Fellow at IEA Paris , and 2015 American Academy of Arts and Sciences membership . He has received multiple Humanities Research Fellowships at Berkeley (2016, 2008, 2003) and Research Enabling Grants (2000–2009). Advising includes supervising 15+ PhD students in areas like logic, epistemology, and philosophy of language . Notable advisees include Richard Lawrence (2017) and Sophie Dandelet (2021). He also guided honors theses at Berkeley, such as Benjamin Logan’s work on epistemic modals (2018). Labs and Teams involve co-organizing the Townsend Center Working Group in History and Philosophy of Logic, Mathematics, and Science and contributing to the Group in Logic and Methodology of Science . His interdisciplinary approach integrates philosophy, logic, and computational tools , including creating Pandoc for document conversion.

Elden Elmantoمشاهده پروفایل

استادیار

• Algebraic Geometry
• Homotopy Theory
• Algebraic K-theory
• +۳ مورد دیگر

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مشاهده پروفایل

استاد

• Number Theory
• Automorphic Forms
• Algebraic Cycles
• +۶ مورد دیگر

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مشاهده پروفایل

دانشیار

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

Paul Larsonمشاهده پروفایل

استاد

• Set Theory
• Topology
• Model Theory
• +۳ مورد دیگر

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.

James Bremerمشاهده پروفایل

استاد

• Numerical Analysis
• Acoustic and Electromagnetic Scattering Problems
• Integral Equation Methods
• +۵ مورد دیگر

James Bremer is a Professor in the Department of Mathematics and holds a cross-appointment in the Department of Computer and Mathematical Sciences at the University of Toronto's Scarborough campus. His research focuses on developing efficient numerical algorithms for solving elliptic boundary value problems, integral equations, and special function transforms.

Benedikt Bünzمشاهده پروفایل

استادیار

• Applied Cryptography
• Blockchain Technology
• Consensus Algorithms
• +۴ مورد دیگر

Benedikt Bünz is an Assistant Professor of Computer Science at New York University's Courant Institute of Mathematical Sciences. He is also a co-founder and chief scientist of Espresso Systems, where he applies his research expertise to real-world blockchain solutions. His academic work bridges theoretical cryptography with practical blockchain implementations, focusing on enhancing privacy, security, and usability of decentralized systems. Dr. Bünz's research centers around applied cryptography, consensus mechanisms, and game theory as they relate to cryptocurrencies. His work spans zero-knowledge proofs, verifiable delay functions, secure multi-party computation, and privacy-preserving protocols. He has made significant contributions to Bulletproofs, a zero-knowledge proof system deployed on blockchains like Monero, and pioneered research in verifiable delay functions which are now part of Ethereum 2.0's design. His recent work focuses on recursive proof systems, accumulation schemes, and efficient verification techniques for blockchain scalability. His publication record shows a consistent progression from foundational cryptographic primitives to practical blockchain implementations. Recent work demonstrates increasing sophistication in recursive proof systems (ProtoStar, HyperPlonk), novel accumulation techniques (ARC, DewTwo), and foundational work on randomness generation (VDFs). His research consistently bridges theoretical cryptography with real-world blockchain applications, resulting in protocols that are both theoretically sound and practically implementable across multiple blockchain platforms. Dr. Bünz actively contributes to the academic community through teaching and mentorship. He teaches courses on cryptography of blockchains and computer security at NYU, providing students with hands-on experience in blockchain security and cryptographic protocols. His industry engagement through Espresso Systems demonstrates his commitment to translating academic research into practical solutions for the blockchain ecosystem.

Sanjit A. Seshiaمشاهده پروفایل

استاد

• Formal Methods
• Cyber-Physical Systems
• Computer Security
• +۱۰ مورد دیگر

Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.

Supratik Chakrabortyمشاهده پروفایل

استاد

• Formal Methods
• Formal Verification
• Automated Synthesis
• +۷ مورد دیگر

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.