I am just finishing my PhD at UT Austin, where I've worked with
Vladimir Lifschitz researching topics in
Answer Set Programming (ASP). My thesis is about formal methods for ASP
languages. In particular, I've worked to develop theoretical tools for proving
practical properties of ASP solvers and programs.