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

• Computer Engineering
• Circuit Design
• Fault Tolerance
• +۶ مورد دیگر

Matteo Sonza Reorda is a Full Professor at the Polytechnic University of Turin, affiliated with the Department of Automatic Control and Computer Science (DAUIN). He holds roles such as Partnership Agreement Coordinator with SMAT and has served as Vice-Rector for Research (2021–2024). His research focuses on fault tolerance, hardware reliability, and AI acceleration, with contributions to GPU/CNN reliability, self-test libraries, and defect-oriented testing. Education: M.S. in Electronics Engineering, Politecnico di Torino (1986) Ph.D. in Computer Engineering, Politecnico di Torino (1990) Research Interests: His work spans automatic test equipment, circuit reliability, GPU fault tolerance, neural network hardening, and embedded systems safety . He leads the Electronic CAD & Reliability Group and collaborates with institutions like the ISI Foundation and the National Research Council (CNR). Publications & Impact: With over 180 publications, his recent work emphasizes AI accelerator reliability, fault injection techniques, and safety-critical systems. Key trends include GPU resilience for CNNs, self-test library optimization, and radiation fault modeling in neural networks. Awards & Recognition: IEEE Fellow (2016–) Multiple best-paper awards at IEEE conferences (DDECS, DATE, etc.) Grants & Collaborations: Coordinator of EU projects (RESCUE, TUTORIAL) Partnerships with EDF, Marelli Europe, and SMAT Lead on National HPC/Quantum Computing Spoke 1 (2022–2025) Labs/Teams: Leads the CAD Group and collaborates with the French-Italian LIA LAFISI lab on hardware-software integration.

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.

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.

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 .

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.

Wim Geversمشاهده پروفایل

استاد

• Cognitive control
• Metacognition
• Working memory
• +۳ مورد دیگر

Wim Gevers is a faculty member at the Université libre de Bruxelles (ULB) and leads the CS4S – Cognitive Control & Sleep laboratory within the CRCN research centre. His work bridges cognitive psychology, neuroscience and sleep research to understand how the brain exerts control over thoughts and actions and how sleep contributes to these processes. Research Interests Cognitive Control & Metacognition: Investigating how subjective experiences such as confidence and the "urge-to-err" guide strategic adjustments in behaviour. Working Memory & Ordinal Cognition: Examining how order information is maintained and manipulated, and how these processes relate to mathematical competence. Sleep, Memory & Decision Making: Exploring how sleep-dependent consolidation influences motor learning and decision strategies. Across his 2022–2025 publications a clear trend emerges: a focus on metacognitive monitoring —how humans evaluate their own cognitive states—and the role of emotional and temporal context in shaping those evaluations. Studies range from reaction-time introspection and confidence judgements in perceptual tasks to the impact of aging and depression on metacognitive accuracy. Doctoral Supervision & Mentoring Whitney Stee (PhD 2024) – Sleep-dependent structural brain reorganization & motor learning Gaia Corlazzoli (PhD 2024) – Subjective experience in decision-making Myrtille Dewulf (PhD 2023) – Ordinal coding mechanisms in working memory Rebeca Sifuentes-Ortega (PhD 2023) – REM sleep and memory reactivation All dissertations were defended at ULB, Faculté des Sciences psychologiques et de l’éducation, with Wim Gevers formally listed as Promotor . Laboratory & Collaborative Networks As head of CS4S, Gevers coordinates a multidisciplinary team that combines behavioural experimentation, EEG/MEG, computational modelling and sleep polysomnography. The lab is embedded in the larger CRCN ecosystem, fostering collaborations with groups such as CO3 (consciousness), LCLD (language & deafness), and UR2NF (neurofunctional imaging).

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.

Matthew Emertonمشاهده پروفایل

استاد

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

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.

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

Guido Kingsمشاهده پروفایل

استاد

• Special Values of L-functions
• Tamagawa Number Conjecture
• Polylogarithms
• +۳ مورد دیگر

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.

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 .

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.

• Algebraic Number Theory
• Modular Forms
• Galois Representations
• +۳ مورد دیگر

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

Ralf Schindlerمشاهده پروفایل

استاد

• Mathematical Logic
• Set Theory
• Model Theory
• +۴ مورد دیگر

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.