Security Research Groups

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

Data Privacy and Trustworthy Machine Learning Lab

Reza SHOKRI