Person. Bob Atkey University of Strathclyde · bentnib.org · https://github.com/bobatkey PhD advisorDavid Aspinall, Ian Stark PhD studentsAndre Videla PhDUniversity of Edinburgh