nLab Dirk Pattinson

Dirk Pattinson is a mathematician cum computer scientist at the A.N.U.

His research interests are stated on his webpage as including:

  • modal logics, in partiular coalgebraic semantics, automated reasoning

  • domain theory, in particular computation over continuous data

  • logic and category theory in general

His webpage is

category: people

Created on July 18, 2019 at 14:00:33. See the history of this page for a list of all contributions to it.