openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
tchajed
https://www.chajed.io
Massachusetts Institute of Technology
Account Summary
PhD student doing research on proving systems software correct.
Projects Used
Joined Open Hub
about 5 years ago
Development History
There are no contributions available to display.
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree
