dummy-link

tchajed

Tej Chajed


PhD student in systems. I write software and prove that it's correct.

Joined Github

December 2011

Lives in

Cambridge, MA

Works at

Coding

Supported Packages