[Directory]
People
Our community brings together computer scientists, engineers, mathematicians, and philosophers working on foundational problems.
Faculty & Directors
Dr. Elena Vance
Director
Neural Architecture
Prof. Arthur Pendelton
Senior Fellow
Formal Methods
Prof. Sarah Jenkins
Turing Research Fellow
Autonomous Robotics
Dr. A. Miller
Associate Professor
Verification
Researchers & Engineers
L. Chen
Senior Research Scientist
Distributed Protocols
H. Tanaka
Robotics Engineer
Perception
J. Kovic
Postdoctoral Researcher
Sparse Networks
M. Sterling
Research Engineer
Ethics & Safety
P. Nakamura
Research Scientist
Proof-Carrying Code
H. Kaur
Postdoctoral Researcher
Consensus Protocols
Graduate Students
Maria Gomez
PhD Candidate
Multi-Agent RL
S. K. Gupta
PhD Candidate
Swarm Systems
J. Doe
PhD Candidate
Neuromorphic Hardware
R. Vance
MSc Student
Model Checking
T. Aluko
PhD Candidate (2026 intake)
Agent Auditing
W. Zhang
PhD Candidate (2026 intake)
Spiking Transformers