Georgia Gkioxari is an Assistant Professor in the Division of Computing and Mathematical Sciences at Caltech , with a part-time affiliation at Meta AI . Her work focuses on extending visual perception models through advanced 2D and 3D representation learning, spatial reasoning, and generative models. Education: Not explicitly mentioned in the text Research interests span 3D perception , spatial reasoning , and vision-language integration , with projects like Visual Agentic AI for Spatial Reasoning and Token-by-Token Multimodal Alignment . Her publications emphasize 3D object detection , reconstruction , and generative modeling techniques including diffusion models and transformers . Scientific recognition includes the Meta LLM Evaluation Research Grant , Okawa Research Grant , Google Faculty Scholar Award 2024 , and Amazon Research Award . She teaches courses like Large Language & Vision Models (EE/CS 148) and Learning & 3D (CS 101) at Caltech. Labs & Teams: Leads Glab with members including Ilona Demler, Ziqi Ma, and Damiano Marsili
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).
Rashmi Vinayak is an Associate Professor in the Computer Science Department at Carnegie Mellon University, with a courtesy appointment in the Electrical and Computer Engineering Department. She is a member of both the Systems group and Theory group at CMU and leads TheSys research group. She is also affiliated with the Parallel Data Lab (PDL). Her educational background includes a Ph.D. from UC Berkeley in 2016, followed by postdoctoral studies at the same institution. Rashmi's research spans the intersection of computer/networked systems and information/coding theory. Her current focus is on robustness and resource efficiency in data systems across storage, communication, and computation. Key thrusts include storage systems, caching systems, and systems for machine learning. Her work on SIEVE, a cache eviction algorithm, has been widely adopted by industry including VMware, Google, Redpanda, and numerous open source libraries. Her recent publications demonstrate a strong trend toward practical systems research with theoretical foundations, particularly in caching algorithms, storage systems, and machine learning infrastructure. Many of her papers have received best paper awards and industry adoption. Notable awards include: Sloan Research Fellowship (2023) IEEE Information Theory Society Goldsmith Lecturer (2023) NSF CAREER Award (2020) Multiple USENIX NSDI Community (Best Paper) Awards VMware Systems Research Award (2021) Facebook and Google Research Awards Rashmi has supervised numerous PhD, Master's, and undergraduate students, many of whom have gone on to prestigious positions at Harvard, Google, Meta, and other leading institutions. Her research has been generously funded by NSF, Sloan Foundation, Open Compute Project, Google, Facebook/Meta, VMware, and Amazon Web Services. She actively collaborates with industry partners including Google, Microsoft, NetApp, Facebook, Cisco, Intel and Cloudera. She leads TheSys research group which focuses on designing next-generation data systems that are robust, efficient, and performant. The group takes a multi-disciplinary approach spanning computer systems, information theory, and machine learning.
John P. O'Doherty serves as the Fletcher Jones Professor of Decision Neuroscience within Caltech's Division of Humanities and Social Sciences, holding continuous faculty appointments since 2004 (Assistant Professor 2004-07, Associate Professor 2007-09, Professor 2009-present, Fletcher Jones Professor 2021-present). He previously directed the Caltech Brain Imaging Center (2013-17) and maintains affiliations with the T&C Chen Center for Social and Decision Neuroscience. His educational background includes a B.A. from University of Dublin, Trinity College (1996) and D.Phil. from University of Oxford (2000). His research focuses on computational and neural mechanisms of reward-based learning and decision-making , employing fMRI, intracranial recordings, and mathematical modeling to investigate how the brain solves complex decision problems through evolutionarily conserved algorithms. Key areas include Reinforcement learning systems (model-based/model-free arbitration) Observational and social learning mechanisms Neural representation of value, risk, and uncertainty Computational phenotyping of mental disorders Temporal dynamics of goal persistence Analysis of his 2023-2025 publications reveals dominant trends in computational psychiatry (problem gambling, autism traits), hierarchical decision-making, and neuroeconomic modeling of social behavior. His work consistently integrates cross-species computational frameworks with human neuroimaging to identify transdiagnostic mechanisms. While specific awards beyond his endowed professorship aren't detailed, his leadership as Brain Imaging Center Director and prolific high-impact publications demonstrate significant recognition. Current advising includes graduate researcher Sneha Aenugu on goal-persistence projects, with administrative support from Mary A. Martin (mmartin@caltech.edu). His active research program continues to pioneer computational approaches to understanding decision pathologies.
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.
Takako Fujioka is an Associate Professor of Music at Stanford University, affiliated with the Center for Computer Research in Music and Acoustics (CCRMA). Her research focuses on the neural mechanisms underlying auditory perception, auditory-motor coupling, and music-supported therapy for neurorehabilitation. She holds a Ph.D. in Physiology from the Graduate University for Advanced Studies, Japan, and M.Sc./B.Eng. degrees in Electrical Engineering from Waseda University. Her work combines neurophysiological techniques such as MEG and EEG to study brain plasticity in development, aging, and stroke recovery. Notable contributions include investigating how music influences motor and cognitive recovery in stroke patients, as well as exploring the neural basis of musical perception through rhythmic synchronization and pitch discrimination studies. Supported by awards from the Canadian Institutes of Health Research during her postdoctoral work at the Rotman Research Institute, her research bridges clinical neuroscience and music cognition. Dr. Fujioka’s expertise spans auditory neuroscience, neurorehabilitation, and technology-assisted music therapy. She has pioneered studies on tactile mapping for cochlear implant users and networked music performance systems, emphasizing cross-modal perception and human-technology interaction. Her findings contribute to both theoretical understanding of auditory processing and practical applications in medical and educational settings. Awards: Canadian Institutes of Health Research Awards (postdoctoral phase) Labs/Teams: CCRMA, Stanford Music Perception Laboratory, Rotman Research Institute collaborations Key Themes: Neuroplasticity, Music-Mediated Rehabilitation, Auditory-Motor Integration, Multisensory Processing Her recent work examines aging-related changes in binaural hearing and the role of beta/gamma oscillations in rhythmic processing. She advocates for translational research that connects neural mechanisms with real-world therapeutic interventions.
Ben Fisch is an Assistant Professor of Computer Science at Yale University's School of Engineering & Applied Science. He is also the co-founder of Espresso Systems, a company focused on blockchain infrastructure. His research focuses on privacy and verifiability in decentralized systems like Bitcoin and Ethereum, with applications in digital finance and healthcare. Dr. Fisch received his B.A. from the University of Pennsylvania and completed his Ph.D. at Stanford University, where he worked with Dan Boneh in the applied cryptography research group. His educational background provided the foundation for his work at the intersection of cryptography, distributed systems, and economics. His research centers on leveraging cryptographic tools such as succinct non-interactive zero-knowledge proofs (zk-SNARKs), private information retrieval, and homomorphic encryption to address challenges in verifiable computation, verifiable storage, and verifiable fairness. He has made significant contributions to verifiable delay functions (VDFs) and proofs of replication, which have been adopted by major blockchain projects including Ethereum 2.0, Chia, and Filecoin. His work on Filecoin's Proofs of Replication has helped the network reach over 1.5 exabytes of storage capacity. His publication record shows a clear trend toward increasingly sophisticated cryptographic protocols for blockchain applications, with recent work focusing on data availability for Bitcoin rollups, efficient folding schemes for pairing-based arguments, and privacy pools with proof-carrying disclosures. His research bridges theoretical cryptography with practical implementations that have real-world impact in decentralized systems. His notable recognition includes: Best Paper Finalist at ACM CCS 2017 for 'Iron: Functional Encryption using Intel SGX' Dr. Fisch's research has led to significant technology transfer, most notably with his work on Verifiable Delay Functions (VDFs) sparking a multimillion dollar industry initiative through the VDF Alliance. His research on Proofs of Replication forms the basis of Filecoin's incentive layer and consensus protocol. His newer SNARK system Basefold is being used by several commercial products. He maintains active collaborations across academia and industry, with publications spanning top conferences in cryptography and security. As co-founder of Espresso Systems, Dr. Fisch leads a team developing next-generation blockchain infrastructure, particularly focusing on sequencing layers for rollups. His work bridges academic research with practical implementation, ensuring that theoretical advances in cryptography find real-world applications in decentralized systems.
Alexei Kitaev is the Ronald and Maxine Linde Professor of Theoretical Physics and Mathematics at the California Institute of Technology (Caltech). His research focuses on quantum computation, topological quantum phases, anyons, topological insulators and superconductors, and the black hole information paradox. He has pioneered the concept of topological quantum computation, where quantum information is protected through topological properties of many-body systems. His recent publications explore quantum error correction, scrambling dynamics, and holographic principles in SYK-like models, reflecting his interdisciplinary impact on quantum physics, computer science, and condensed matter. His work on the Sachdev-Ye-Kitaev model has advanced understanding of quantum chaos and gravitational phenomena. Kitaev has received numerous accolades, including the MacArthur Award (2008), Breakthrough Prize in Fundamental Physics (2012), Dirac Medal (2015), and Oliver Buckley Condensed Matter Prize (2017). He has taught advanced courses such as 'Quantum Computation' and 'Advanced Condensed-Matter Physics' at Caltech. Scientific Awards: MacArthur Award (2008) Breakthrough Prize in Fundamental Physics (2012) Dirac Medal (2015) Oliver Buckley Condensed Matter Prize (2017)
Laurence Hunt is an Associate Professor of Experimental Psychology at the University of Oxford and a Tutorial Fellow in Psychology at St John's College. He leads the Laboratory of Decision Dynamics, focusing on neural mechanisms underlying decision-making. His work integrates mathematical models with electrophysiological techniques in humans and animal models to study behavioral and neural data. Key roles include the Wellcome/Royal Society Sir Henry Dale Fellowship and prior postdoctoral positions at UCL and Oxford's Department of Psychiatry. Education: D.Phil in Neuroscience from the University of Oxford (2007-2011), pre-clinical Medicine at Cambridge University. Research emphasizes cognitive computational neuroscience, particularly how neural systems process value, uncertainty, and learning. Collaborators include notable figures like Matthew Rushworth and Christopher Summerfield. Scientific Awards: Wellcome/Royal Society Sir Henry Dale Fellow Advising & Grants: His research is supported by fellowships, though specific grants or advisees are not detailed. The Hunt Lab actively explores topics such as reward processing, decision dynamics, and neural geometry using advanced analytical methods. Labs/Teams: Director of the Laboratory of Decision Dynamics, part of the Department of Experimental Psychology. Engaged in interdisciplinary collaborations across Oxford and international institutions.
Eric Grivel is a Professor at the University of Bordeaux affiliated with the IMS Bordeaux (Integration Laboratory from Materials to Systems). His research focuses on Signal and Image Processing Spectral Analysis Stochastic Process Modeling His work spans theoretical contributions to signal processing and practical applications in radar systems and biomedical signal analysis. Key trends in his recent publications include Optimization of Detrended Fluctuation Analysis (DFA) for Hurst exponent estimation Development of divergence metrics for comparing ARMA and Gaussian processes Waveform design in MIMO OFDM DFRC (Dual Function Radar-Communication) systems Integration of AI tools like ChatGPT in educational signal processing projects Collaborations and industrial partnerships evident in his publications involve institutions such as Indian Institute of Science Thales Airborne Systems STMicroelectronics CEA Leti Slb (Schlumberger)
Rahul Sarkar is a Postdoctoral Fellow at the University of California, Berkeley, affiliated with the Department of Mathematics . He was previously a Ph.D. student in the Institute for Computational and Mathematical Engineering (ICME) at Stanford University, graduating in 2022 under the advisement of Biondo Biondi and András Vasy. Research Interests : Quantum information theory, inverse problems, machine learning, microlocal analysis, and numerical methods for PDEs. Scientific Contributions : Developed novel quantum computing algorithms and numerical schemes for geophysical imaging, with applications in seismic tomography and quantum signal processing. Teaching : Taught courses at Stanford including Introduction to Quantum Computing and 3D Seismic Imaging , with roles as instructor and course assistant. Awards : Schlumberger Innovation Fellowship (2019-2020). His work bridges mathematical analysis and quantum computation , with a focus on solving real-world problems through interdisciplinary approaches. He has collaborated with institutions like IBM and Schlumberger to apply quantum algorithms to geoscience and financial optimization.
Daniel A. Spielman is a Sterling Professor of Computer Science, Statistics & Data Science, and Mathematics at Yale University. He serves as the inaugural James A. Attwood Director of the Institute for Foundations of Data Science (FDS) and was previously co-Director of the Yale Institute for Network Science (YINS). He is also a member of TILOS, the NSF Institute for Learning-Enabled Optimization at Scale. His research interests span Spectral Graph Theory, Algebraic Graph Theory, Laplacian Matrices, Expander Graphs, and Random Walks on Graphs. Spielman has made fundamental contributions to understanding the mathematical foundations of data science, including work on smoothed analysis of algorithms, spectral sparsification, and solutions to the Kadison-Singer problem. Spielman's publications demonstrate a consistent focus on developing efficient algorithms with strong theoretical foundations. His work bridges pure mathematics, theoretical computer science, and practical applications in network analysis and machine learning. His research has evolved from foundational work on smoothed analysis to recent contributions in experimental design using discrepancy theory. His scientific honors include: Nevanlinna Prize for contributions to mathematical aspects of computer science Two Gödel Prizes (2008 and 2015) for outstanding papers in theoretical computer science MacArthur Fellowship ('Genius Grant') Simons Investigator award Membership in the National Academy of Sciences and American Academy of Arts and Sciences Spielman has advised numerous PhD students who have gone on to prominent positions in academia and industry. His teaching includes advanced courses in Spectral Graph Theory and Computation and Optimization. He has developed important software packages like Laplacians.jl for solving Laplacian linear equations and related problems.
Daniel Gottesman is the Brin Family Endowed Professor in Theoretical Computer Science at the University of Maryland, affiliated with the Department of Computer Science, Institute for Advanced Computer Studies (UMIACS), and the Joint Center for Quantum Information and Computer Science (QuICS). He holds a Ph.D. in Physics from Caltech (1997) and has held positions at institutions like the Perimeter Institute and Quantum Benchmark. His research focuses on quantum computing, quantum error correction, and fault-tolerant systems, with contributions to stabilizer codes and quantum teleportation-based gates. Education: Bachelor's in Physics, Harvard University (1992) Ph.D. in Physics, California Institute of Technology (1997) Research Interests: Quantum error correction and fault-tolerant architectures Quantum cryptography and secure communication protocols Quantum complexity theory and algorithm design Applications of stabilizer codes and topological quantum computing Scientific Awards: Fellow of the American Physical Society CIFAR Senior Fellow in Quantum Information Science Three U.S. Patents (e.g., quantum key distribution systems) Advising & Grants: Supervised over 30 students/postdocs and served on numerous thesis committees. Active in securing funding for quantum research through endowed professorships and industry partnerships (e.g., Quantum Benchmark). Labs/Teams: Member of QuICS and UMIACS, collaborating on quantum hardware-software integration and error correction challenges.
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.
Casey Reas is a Professor of Design Media Arts at the University of California, Los Angeles (UCLA), within the UCLA School of the Arts and Architecture. Previously, he served as an Associate Professor at Interaction Design Institute Ivrea (2001–2003). His academic background includes a BSc in Design from the University of Cincinnati (1996) and an MSc in Media Arts and Sciences from MIT (2001). Reas co-created the open-source programming language Processing with Ben Fry, revolutionizing visual arts and education globally. He is renowned for blending art and technology, creating generative works exhibited in institutions like the Centre Georges Pompidou and the Whitney Museum of American Art. His research focuses on computational aesthetics, algorithmic art, and digital media's intersection with music and design. Education: Bachelor of Science in Design, University of Cincinnati, 1996 Master of Science in Media Arts and Sciences, MIT, 2001 Research Interests: Reas explores the synergy between code and creativity, emphasizing generative systems, real-time visualization, and interactive installations. His work often addresses themes of randomness, pattern formation, and human-computer interaction. Notable projects include Processing language development, music video collaborations with The National, and immersive installations like Sketch Machine and Warm Up . Recent Collaborations: Music videos for The National’s Sleep Well Beast (2017), blending algorithmic visuals with Grammy-winning music. Interactive installations such as Impure Functions (2017) and Warm Up (2017), co-created with UCLA’s Conditional Studio. Public commissions like Sketch Machine (2018), an open-source drawing tool for GIPHY. Awards: Contributor to The National’s Grammy Award for Best Alternative Music Album ( Sleep Well Beast , 2018). Labs/Teams: Reas leads the Reas Studio and collaborates with UCLA’s Arts Conditional Studio, focusing on experimental software, generative art, and interdisciplinary projects.
