Theory

Christopher L. Barrett is the inaugural Distinguished Professor in Biocomplexity, Executive Director of the Biocomplexity Institute, and Professor in the Department of Computer Science at the University of Virginia. He is an interdisciplinary computational scientist who has published more than 100 research articles.

Matheus is an Assistant Professor of Computer Science at the University of Virginia. His research interests include AI, Algorithmic Economics, and Security. He applies artificial intelligence, optimization, and theoretical computer science tools to create secure, transparent, and auditable platforms.

Nando Fioretto leads UVA's Responsible AI for Science and Engineering (RAISE) group, 
which advances foundation models for scientific and engineering research and 
promotes the responsible use of AI. 
RAISE's mission is to develop AI models grounded in physical and engineering 
principles, endowing them with a principled understanding of the world

I am interested in Cryptography, Algorithms, and in general Theoretical Computer Science. My current research focuses on accessing large data efficiently and privately. My results cover Oblivious Random Access Machines (RAM), Private Information Retrieval, and Fully Homomorphic Encryption for RAM programs.

Anil Vullikanti is a Professor in the Department of Computer Science and the Biocomplexity Institute. His research interests are randomized algorithms, combinatorial optimization, distributed computing, dynamical systems and network science, machine learning, and AI, and their applications to epidemiology, public health, and modeling.

Chen-Yu Wei is an Assistant Professor in the Computer Science department at the University of Virginia. Previously, he was a Postdoctoral Associate at Massachusetts Institute of Technology and a Research Fellow at the Simons Institute. His research focuses on fundamental problems in interactive decision making and reinforcement learning.