Tej Chajed
@tchajed
Researcher working on formal verification of systems software. I do most of my work in the Coq proof assistant using Iris.
ID: 246629018
https://www.chajed.io/ 03-02-2011 04:19:45
2 Tweet
116 Followers
46 Following
@tchajed
Researcher working on formal verification of systems software. I do most of my work in the Coq proof assistant using Iris.
ID: 246629018
https://www.chajed.io/ 03-02-2011 04:19:45
2 Tweet
116 Followers
46 Following
