Amelia Harrison

About me

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.


Journal Articles

Other Refereed Publications


ameliaj at cs dot utexas dot edu


CV, Instagram, Twitter