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 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.
Michael P. Wellman is a Professor of Computer Science and Engineering at the University of Michigan, specializing in computational game theory and its applications to economics and finance. He has advised 28 PhD graduates and currently mentors 6 students, emphasizing independent research and tailored advising approaches. His work focuses on multi-agent systems, strategic interactions, and agent-based modeling of financial markets. He holds the endowed Lynn A. Conway Professorship and created the Morris Wellman Faculty Development Professorship. His research group meets weekly for progress reports, paper discussions, and practice presentations. Wellman encourages internships, teaching experience, and conference participation (e.g., ICAIF, AAMAS, EC) to foster career readiness. His scientific contributions span empirical game-theoretic analysis (EGTA), market manipulation detection, and cybersecurity strategies. He prioritizes student independence, collaborative problem-solving, and ethical considerations in AI-driven financial systems.
Laura Anderson is an Associate Professor in the Department of Mathematics at Binghamton University. She holds a Ph.D. from MIT (1994) and has been affiliated with Binghamton since 2001. Her research focuses on Combinatorics and Topology, with a specialization in matroid theory, hyperplane transversals, and topological combinatorics. She teaches advanced courses such as Introduction to Combinatorics (Math 511) and Discrete Mathematics (Math 314). Her academic contributions include groundbreaking work on oriented matroids, combinatorial Grassmannians, and hyperfield applications. Anderson has advised multiple Ph.D. students, including Olakunle Abawonse, Ulysses Alvarez, and Leandro Junes, whose theses explore topics like matroid extensions and tropical phased matroids. She actively participates in academic conferences, co-organizing the Binghamton University Graduate Conference in Algebra and Topology (BUGCAT). Anderson’s research integrates algebraic topology with discrete mathematics, addressing geometric realizations, hyperfield structures, and topological invariants. Her pedagogical innovations include experimenting with flipped classroom methods in calculus education. She maintains an active presence in academic service, contributing to journal reviews and editorial work in combinatorial geometry.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
Prof. Norbert Lütkenhaus is a Professor and Executive Director of the Institute for Quantum Computing (IQC) at the University of Waterloo, cross-appointed to the Department of Applied Mathematics. He holds affiliations with Perimeter Institute and the Centre for Applied Cryptographic Research. His research focuses on quantum communication theory, particularly quantum key distribution (QKD) and quantum repeaters. He has pioneered methods to bridge abstract quantum protocols with practical optical implementations, emphasizing secure key rate calculations and overcoming quantum channel limitations. Education: PhD (2003) in Physics from University Erlangen-Nürnberg, MSc (1993) and BSc (1990) from Ludwig-Maximilians-Universität München and RWTH Aachen, respectively. Awards include the 2015 American Physical Society Outstanding Referee Award and a 2009 University of Waterloo Excellence Award. Research interests span QKD protocols (e.g., decoy-state BB84, phase-error mitigation), quantum repeater architectures, and entanglement verification. He develops numerical tools for key rate analysis and addresses implementation security loopholes. His work includes theoretical frameworks for long-distance quantum communication and practical QKD system optimizations. Teaching includes courses on quantum information processing (PHYS 768/QIC 890) and mechanics (PHYS 115). He contributes to international standards via ETSI’s QKD-ISG and the QCrypt steering committee. His patents cover QKD system designs and phase-randomization techniques.
Hadi Esmaeilzadeh is an Associate Professor at the University of California, San Diego in the Department of Computer Science and Engineering . He leads the Alternative Computing Technologies (ACT) Laboratory and serves as Associate Director of the Center for Machine Integrated Computing and Security (MICS) . Previously, he was an Assistant Professor at Georgia Institute of Technology. Ph.D., Computer Science and Engineering, University of Washington (2013) Research focuses on computer architecture , machine learning acceleration , and approximate computing His work has produced 15+ publications spanning IEEE Micro Top Picks , CACM Research Highlights , and ISCA . Key projects include: Tabla : Cross-stack ML acceleration framework DnnWeaver : Open-source DNN acceleration platform Major honors include: IEEE TCCA Young Computer Architect Award ISCA Hall of Fame Qualcomm Innovation Fellowship Georgia Tech PURA Award Teaching roles: CSE 141: Introduction to Computer Architecture CSE 240D: Accelerator Design for Deep Learning CSE 240A: Principles of Computer Architecture
Tamara Munzner is a Professor of Computer Science at the University of British Columbia, with a confirmed email at tamara@cs.ubc.ca . Her research focuses on information visualization , visual analytics , and graph drawing , emphasizing practical design frameworks and theoretical foundations. Recent work explores visitor engagement with science museum exhibits large-scale data visualization challenges health informatics applications for chronic pain management advanced graph neural network visualization His publications in IEEE Transactions on Visualization and Computer Graphics and Eurographics conferences demonstrate her expertise in visual analytics. Scientific awards include the Best Panel Award at Euro Vis 2009 for her work on visualization education. Her research spans visualization design principles, dimensionality reduction techniques, and applications in genomic epidemiology and environmental sustainability.
Professor Wayne Luk is a Professor of Computer Engineering at the Department of Computing, Faculty of Engineering, Imperial College London. He leads the Programming Languages and Systems Section and the Custom Computing Research Group, and directs the EPSRC Centre for Doctoral Training in High-performance Embedded and Distributed Systems and the Centre for Advanced Financial Engineering. He previously served as a Visiting Professor at Stanford University from 2006 to 2009. His research spans FPGA acceleration, quantum computing, deep learning optimization, and algorithm-hardware co-design, with affiliations to the CRUK Convergence Science Centre and the Engineering Secure Software Systems group. His research interests include computational modeling for particle physics, causal discovery in agent-based systems, and high-throughput digital electronics. Notable contributions include FPGA-accelerated algorithms for neural networks, quantum circuit simulation, and Bayesian optimization frameworks. His work emphasizes practical applications of reconfigurable hardware in fields like medical imaging, high-energy physics, and financial systems. Professor Luk is a Fellow of the Royal Academy of Engineering, IEEE, and BCS. His publications focus on advancing hardware-aware machine learning, FPGA-based acceleration techniques, and scalable design methodologies. His research bridges theoretical computer science with applied engineering, addressing challenges in real-time systems, embedded computing, and next-generation computing architectures. His academic leadership includes directing interdisciplinary centers and training programs, fostering collaboration across computing, engineering, and physics. Current projects explore quantum computing tools, causal inference systems, and high-performance graph neural networks for particle physics applications.
Frederick Eberhardt is a Professor of Philosophy at the California Institute of Technology (Caltech) since 2013. He holds a B.S. from the London School of Economics (2002), an M.S. from Carnegie Mellon University (2005), and a Ph.D. from Carnegie Mellon (2007). His research focuses on the intersection of philosophy of science, machine learning, and cognitive science, emphasizing causal discovery from data, experimental methods in causality, and foundational issues in probability and causality. He also explores computational models in psychology and historical work on Hans Reichenbach's philosophy. Recent publications span topics like causal emergence, Reichenbachian probability coordination, and causal mapping in neuroscience. His work bridges formal philosophy with empirical applications in cognitive science and computational methods. Education: B.S., London School of Economics, 2002 M.S., Carnegie Mellon University, 2005 Ph.D., Carnegie Mellon University, 2007 Research interests include formal philosophy of science, causal inference techniques, machine learning applications to causal discovery, and the philosophical underpinnings of probability. His work on causal abstraction and computational models in cognitive science highlights interdisciplinary approaches to understanding causal mechanisms. Recent publications emphasize integrating experimental and observational data for causal discovery, with applications in neuroscience and psychology. Publications reflect a focus on advancing causal reasoning methods, from theoretical frameworks to empirical validation. No scientific awards are explicitly listed in the provided text. Advising and grants details are not available here. Eberhardt is affiliated with Caltech’s Philosophy Department and contributes to theoretical and applied research in causality and its implications across disciplines.
Alex Blumenthal is an Assistant Professor in the School of Mathematics at the Georgia Institute of Technology since Fall 2020. His academic background includes a Ph.D. from New York University (2016) with a dissertation titled 'Nonuniformly hyperbolic theory for Banach space mappings.' Prior to joining Georgia Tech, he held positions as an instructor at the University of Maryland, teaching courses in probability theory, linear algebra, and precalculus, and served as a recitation leader at New York University for courses in chaos theory, differential equations, and analysis. Blumenthal's research focuses on dynamical systems and ergodic theory, with specialization in: Chaotic behavior in deterministic and stochastic systems Smooth ergodic theory and SRB measures Lyapunov exponents in random dynamical systems Stochastic fluid mechanics and turbulence modeling Infinite-dimensional dynamical systems on Banach spaces Statistical properties of complex systems His work bridges abstract mathematical theory with physical applications like fluid dynamics and statistical mechanics. Analysis of his recent publications shows strong emphasis on stochastic dynamics, Lyapunov exponents, and fluid mechanical systems, with mathematical techniques drawn from ergodic theory, functional analysis, and probability theory. His publications frequently appear in top mathematical physics and dynamics journals. No scientific awards or honors are mentioned in the source materials. Similarly, no information is available regarding research grants, student advising, or laboratory affiliations.
Michael J. Freedman is the Robert E. Kahn Professor of Computer Science at Princeton University and co-founder/CTO of Timescale. He received his Ph.D. from NYU’s Courant Institute and degrees from MIT. Current roles: Professor, Co-founder & CTO Affiliations: Princeton University, SNS Group, CITP Associate Education: Ph.D. (NYU), S.B./M.Eng. (MIT) His research spans distributed systems, networking, and security, with innovations like CoralCDN, DONAR, and Ethane. His work impacts decentralized content delivery, software-defined networking, and privacy-enhancing technologies. His recent publications address scalable fusion algorithms, GPU acceleration for data systems, and distributed GPU resource management. These works intersect with cloud infrastructure, network optimization, and security. Scientific honors include: Presidential Early Career Award for Scientists and Engineers (PECASE) Sloan Fellowship NSF CAREER Award Office of Naval Research Young Investigator Award Test of Time Award (Theory of Crypto Conference) ACM SIGOPS Mark Weiser Award He advises graduate students like Sam Ginzburg and Ashwini Raina, who joined Meta AI and Timescale post-PhD. His projects have secured substantial grants, including $110M Series C funding for Timescale. Key labs/teams: Princeton SNS Group Co-founder, Timescale (enterprise data platform) Co-founder, iobeam (IoT analytics, acquired by Timescale) Collaboration with FCC on Consumer Broadband Test Contributions to OpenFlow/SDN standardization
Mark Steedman is Professor of Cognitive Science at the University of Edinburgh's School of Informatics, with adjunct appointment at University of Pennsylvania. His research spans computational linguistics, AI, and cognitive science, focusing on Combinatory Categorial Grammar (CCG) and its applications. His research examines: Combinatory Categorial Grammar parsing and semantics Language model capabilities and limitations Cross-linguistic semantic inference Brain modeling of language processing Recent publications analyze hallucination sources in large language models, cross-linguistic entailment graphs, and brain-computer parallels in structure-building. He develops computational models integrating symbolic and distributional approaches to semantics. Honors include ACL Lifetime Achievement Award (2018) and George E. Davis Medal (2001). He serves on editorial boards of major linguistics journals and has authored influential books including 'The Syntactic Process' and 'Taking Scope'.
Tianmin Shu is an Assistant Professor in the Department of Computer Science at Johns Hopkins University , with a joint appointment in the Department of Cognitive Science . He is the founding director of the Social Cognitive AI (SCAI) Lab and was previously a Research Scientist at MIT, working with Josh Tenenbaum and Antonio Torralba. His research goal is to advance human-centered AI by engineering machine social intelligence —building systems that understand, reason about, and interact with humans in real-world settings. His work is inherently interdisciplinary, integrating machine learning, computer vision, robotics, and social cognition. Research Interests: Theory of Mind Reasoning: Developing models that infer human mental states from multimodal behavioral data. Embodied Assistance: Creating agents capable of assisting humans in physical environments through verbal and non-verbal collaboration. Learning from Human Feedback: Extracting reward-relevant preferences from rich human input to guide agent behavior. Social Scene Understanding: Recognizing and reasoning about group activities and social roles from visual and physical cues. Computational Social Cognition: Modeling how humans perceive and interpret social and physical interactions. Scientific Awards: Outstanding Paper Award at ACL 2024 for "MMToM-QA: Multimodal Theory of Mind Question Answering" Grants & Collaborations: Tianmin Shu has led or co-organized several high-impact workshops and tutorials, including the NeurIPS 2023 Tutorial on "Language Models Meet World Models" and the RSS 2024 Workshop on "Social Intelligence in Humans and Robots". His lab has also developed open-source platforms like VirtualHome-Social and SimWorld for multi-agent interaction research. Lab & Team: As director of the Social Cognitive AI (SCAI) Lab at Johns Hopkins University, Tianmin Shu leads a multidisciplinary team focused on building socially intelligent systems. His lab is located in Malone Hall 213 and collaborates closely with the Departments of Computer Science and Cognitive Science.
Gioele Zardini is the Rudge (1948) and Nancy Allen Assistant Professor at MIT's Department of Civil and Environmental Engineering (CEE), with affiliations to the Laboratory for Information and Decision Systems (LIDS) and the Institute for Data, Systems, and Society (IDSS). He holds a PhD from ETH Zurich and previously worked as a postdoctoral scholar at Stanford University. His research focuses on co-design of complex systems, autonomous systems, and game-theoretic modeling of transportation networks. Education: BSc and MSc in Mechanical Engineering and Robotics from ETH Zurich (2017–2019), PhD in 2023. He has held visiting roles at nuTonomy Singapore, Stanford, and MIT. Research interests include co-design methodologies, autonomous vehicle systems, compositionality in engineering, and strategic interactions in mobility networks. Recent work emphasizes scalable fleet coordination, safety-critical robotics, and user-centric transportation solutions. Notable awards include the 2024 ETH Doctoral Dissertation Award (Silver Medal), Best Paper at ITSC 2021, and federal grants for enhancing urban transit equity. He leads the Zardini Lab, fostering interdisciplinary collaboration in systems engineering and autonomy. Grants and advising: Received federal grants for transit accessibility projects. His work on Autonomy Talks has produced over 180 recorded lectures, promoting knowledge exchange in autonomous systems. Labs/Teams: Principal Investigator at LIDS, affiliate at IDSS, and founder of the Zardini Lab, focusing on systems co-design, mobility innovation, and game-theoretic frameworks.
