His research interests span topics in computer systems security and privacy with use of ideas from compilers, operating systems and formal methods for defending cyber attacks. email - web - 312.996.4860