¡Hola! Soy profesor asistente de informática en la Universidad de California en Davis .
Mis principales intereses académicos son los lenguajes de programación y los métodos formales . Estoy particularmente interesado en las aplicaciones de estos campos a problemas de procesamiento de datos , sistemas distribuidos y seguridad informática .
Me gradué en agosto de 2022 con un doctorado en informática en la Universidad de Pensilvania, dirigido por Rajeev Alur . Antes de eso, obtuve mi licenciatura en matemáticas y ciencias de la computación en la Universidad de Brown en 2016.