Tej Chajed
@tchajed
Researcher working on formal verification of systems software. I do most of my work in the Coq proof assistant using Iris.
45 Following 192 Followers 2 Posts
No public posts to show
@tchajed has no posts that X serves to logged-out readers right now. Posts may be protected, deleted, or reply-only.
Open profile on X