Log inSign up
Image
user avatar
Ankit Kumar
@_ankitku
PhD Candidate at Northeastern University, interested in Formal Methods, Decision Procedures, Distributed Systems and Programming Languages
Boston, USA
ankitku.github.io
Joined July 2009
151
Following
133
Followers
RepliesMedia