Sometime cryptographer, sometime verification nerd. I like to stare at theorem provers until my brain tingles. Lean user. EasyCrypt-curious.