started my PhD

Starting my PhD at the end of this month in programming languages and formal methods with Robert Lewis and Nikos Vasilakis at Brown University.