### 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:- 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

hi dan, looking forward.

ReplyDelete