Khoury Systems Research Group
Karan Joisher
karanjoisher
I am pursuing my Master of Science in Computer Science at Northeastern University, Boston
Hewlett Packard Enterprise Boston
Bryant Curto
bryantcurto
Proving systems software correct with computers.
Northeastern University Boston