I am a mathematician turned logician. During my PhD I studied duailty theory for non-normal (modal) logics. For my postdoc I am now broadening my scope to (the logic of) protocol verification.