About

I am a doctoral student at Rochester Institute of Technology studying formal methods for software verification under Dr. Arthur Azevedo de Amorim.

My academic interests are

I like programming in OCaml, Rocq, Wolfram Language (Mathematica), Racket and SML, as well as Python and Java.

Outside of work I am interested and/or involved in community building, LGBTQ advocacy, vegetarian cooking and board games.

See my full CV for more of what I have been doing.