Amelia Harrison

About me

I am a third year PhD student at UT Austin. I work with Vladimir Lifschitz researching topics in Answer Set Programming (ASP). I work on developing theoretical approaches to formal methods for ASP languages, so that we can prove practical properties of ASP solvers and programs .


Journal Articles

Other Refereed Publications


ameliaj at cs dot utexas dot edu


Instagram, Twitter