The Azimuth Project
Matthew Doty

Matthew Doty is in the Applied Category Theory course. He writes:

Hi! I am a software engineer.

I program in Scala for work, and Haskell and Isabelle/HOL in my free time.

My interests are: computer assisted verification, probability, decision algorithms and mathematical logic.

category: people, members