- game semantics, an interactive approach to denotational semantics
- Geometry of Synthesis, a new approach to high-level synthesis
- programming languages, the general area in which I do research
- proof assistants, such as Coq or Agda
- seamless computing, a new way to compile for distributed systems
- system level semantics, a syntax-independent semantics of languages
- teaching mathematics, especially algebra, to children
- anticomputationalism, my attempt to refute the most fashionable theory of mind
Mostly programming language semantics with a dash of armchair philosophy. The views expressed here are personal and in no way reflect those of my employers.
Saturday 10 September 2016
Welcome to my blog
This is a continuation of my old blog, The Lab Lunch. My old posts remain there. The main topics I covered in that blog are:
Subscribe to:
Post Comments (Atom)
Understanding the issue of equality in Homotopy Type Theory (HoTT) is easier if you are a programmer
We programmers know something that mathematicians don't really appreciate: equality is a tricky concept. Lets illustrate this with a str...
-
Monads have exerted a curious fascination on programmers who turn to Haskell. The incomprehension of the newbies is matched in intensity onl...
-
I like reading history of science and, as a working academic, I am amused by theories that used to be widely accepted yet false, such as th...
-
For the first time in my 15 years as a lecturer I got to teach Compilers . I have written compilers before and I have published a bunch of r...
hi dan, looking forward.
ReplyDelete