Computer scientist specializing in

• programming languages
• formal verification

Penchant for

• functional programming
• category theory
• game theory