I am a researcher and programmer interested in provability logics, positive modal logics, and formal verification.