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.

Publications

Journal Articles

Other Refereed Publications

Contact

ameliaj at cs dot utexas dot edu

Etc.

CV, Instagram, Twitter