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

I am moving my blog here both due to regular failures of my old installation and because I want to perhaps express some non-work-related opinions in the future.