Hi! I am a formal methods graduate interested in:

• theorem provers,
• protocols and security,
• logic, and
• programming languages in general.