At Veridise, Ian serves as a Senior R&D Engineer, conducts security audits, and is a member of our in-house tooling development team. Ian is the lead developer of LLZK.

Ian has conducted academic research in various fields of software and hardware testing and security, such as finding and fixing persistent memory bugs and defending against speculative execution attacks. In his research, he focuses on designing tools to automatically reason about program vulnerabilities and reproduce incidents from production systems.

In addition to his academic accomplishments, Ian brings research experience from his previous roles at Google, Microsoft, and IBM.

Ian earned his PhD in Computer Science at the University of Michigan, with a focus on creating tools for automatic bug detection.