Avatar

Alexander Cox

Honours Student

The Australian National University

Biography

I am a computer science student at The Australian National University. I enjoy learning about logic, solving interesting problems and going for nature walks. I’m mostly interested in the formal side of computer science, such as software verification and functional programming.

Interests

  • Logic
  • Formal Methods
  • Moral, Ethical and Political Philosophy

Education

  • BSc, 2019

    The Australian National University

Contact