Faculty

Clark Barrett
Professor (Research) of Computer Science,
Director

Subhasish Mitra
Professor of Computer Science and Electrical Engineering

Caroline Trippel
Assistant Professor of Computer Science and Electrical Engineering

Thomas Icard
Associate Professor of Philosophy and, by courtesy, of Computer Science

Research Scientists

Aina Niemetz
Senior Research Scientist

Mathias Preiner
Senior Research Scientist

Nestan Tsiskaridze
Research Scientist

Postdoctoral Researchers

Pei Huang
Postdoctoral Researcher

Min Wu
Postdoctoral Researcher

Graduate Students

Samuel Akinwande
Ph.D. Student

Rachel Cleaveland
Ph.D. Student

Caleb Donovick
Ph.D. Student

Hanna Lachnitt
Ph.D. Student

Abdalrhman Mohamed
Ph.D. Student

Alex Ozdemir
Ph.D. Student

Ying Sheng
Ph.D. Student

Scott Viteri
Ph.D. Student

Leni V. Aniva
Ph.D. Student

Amalee Wilson
Ph.D. Student

Haoze Wu
Ph.D. Student

Aron Perez-Lopez
Ph.D. Student

Chuyue (Livia) Sun
Ph.D. Student

Elizaveta (Liza) Pertseva
Ph.D. Student

Harun Khan
Masters Student

Udayan Mandal
Masters Student