diagram

Proof-based general-purpose computing

People

Portrait of Srinath Setty

Srinath Setty

Senior Principal Researcher and Manager

Portrait of Weidong Cui

Weidong Cui

Partner Researcher and Manager

Portrait of Ioanna Tzialla

Ioanna Tzialla

Senior Research Software Engineer

Portrait of Sai Deng

Sai Deng

Senior Research Software Engineer

Portrait of Wilson Nguyen

Wilson Nguyen

Senior Researcher

Portrait of Abhiram Kothapalli

Abhiram Kothapalli

Senior Applied Cryptographer