Security Research Groups

Data Privacy and Trustworthy Machine Learning Lab

Reza SHOKRI

Verified Systems Engineering

Ilya SERGEY

We do research in the design and implementation of programming languages (PL), mathematical models of computation, and computer-assisted formal reasoning. We investigate the theoretical foundations of programming and build tools for ensuring that certain kinds of costly software errors and vulnerabilities never occur in the real-world code, which many people rely upon in their everyday lives.

• 
• Blockchain Security, Fintech Security, Trustworthy Computing