Interested in Programming Language Theory, Type Theory, Metamathematics, Theoretical Physics, and many other fields.