I am a researcher and programmer interested in provability logics, positive modal logics, and formal verification. Take a look at my CV, publications, and projects.