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
Created on July 18, 2019 at 10:00:33. See the history of this page for a list of all contributions to it.