~/ me/ edu/ res/ dev/ ../
blog/ lab/

/res/proj$ _

Currently I’m interested in Programming Language Theory and in the use of programming in the foundations of Mathematics and Physics.

I have a special interest in problems related to the Axiomatization Problem of Physics, which can be viewed as a “stable” version of the classical Hilbert’s sixth problem.

For a precise description of the projects, with a step-by-step prescription of how to follow them, see here. For a talk about them, see here.