I spend much of time hanging here or in other research communities. My primary research interests lie at the intersection of Vulnerability Research and Theoretical Mathematics and Mathematical Physics specifically the mathematical structures of physical theories such as QFT and QIT,on the TCS side of things I’m mainly interested in understanding the exploitation of vulnerabilities in the Kernel-land and developments from Type Theory, Formal Verification and Static Program Analysis in application to problems in Vulnerability Research.