About
I am an assistant professor of computer science at San Francisco State University. In the past, I have been fortunate to work with Professor Dawn Song (at UC Berkeley), Jean-Baptiste Tristan (now at AWS), and Professor Greg Morrisett for my PhD (at Harvard).
I am interested in research and education at the intersection of programming languages and AI. Languages bridge software and hardware, and so constrain how we express, reason about, and efficiently implement AI systems.
I run the Language-Based Artificial Intelligence (LBAI) Lab at San Francisco State. I teach classes on artificial intelligence, quantum computing, and formal models and semantics.