My research interest are formal methods and security, and ideally combining the two, though much of my research into security is more applied.