Technologist. Researcher in programming languages and formal verification.