Talk to sales Try for Free
Ankit Kumar

Ankit Kumar

Associate

Followers of Ankit Kumar647 followers
location of Ankit KumarBoston, Massachusetts, United States

Connect with Ankit Kumar to Send Message

Connect

Connect with Ankit Kumar to Send Message

Connect

  • Timeline

  • About me

    Student

  • Education

    • XII Board Delhi Public School, Dhanbad

      2006 - 2006
      S.E 2006

    • X Board Delhi Public School, Dhanbad

      2004 - 2004
      Science

    • Indian Institute of Technology, Kanpur

      2015 - 2017
      Master’s Degree Computer Science

    • Indian Institute of Technology (Banaras Hindu University), Varanasi

      2006 - 2010
      Bachelor’s Degree Electrical Engineering

    • Northeastern University

      2018 - 2023
      Doctor of Philosophy - PhD Computer Science

      Activities and Societies: Board Games

  • Experience

    • Morgan Stanley

      Aug 2010 - Sept 2012
      Associate

      Developer on derivative trading apps

    • Ola

      Sept 2012 - Nov 2014
      SDE II

      Work on Android apps

    • Amazon

      May 2022 - Sept 2022
      Applied Scientist Intern

    • Rivos Inc.

      Jun 2023 - Sept 2023
      PhD Intern

  • Licenses & Certifications

    • SCJP 5

      Sun Microsystems

    • SDI Divemaster

      Scuba Diving International - SDI
      Dec 2024

  • Honors & Awards

    • Awarded to Ankit Kumar
      Best Student Paper Award ACL2 Workshop May 2025 Awarded Best Student Award for my paper "A Formalization of the Correctness of the Floodsub Protocol" https://ankitku.github.io/stuff/floodsub-acl2ws.pdf
    • Awarded to Ankit Kumar
      Dissertation Completion Fellowship Northeastern University May 2024
    • Awarded to Ankit Kumar
      Best Student Paper Award ACL2 Workshop Nov 2023 Awarded Best Student Paper Award for our paper: Verification of GossipSub in ACL2shttps://arxiv.org/pdf/2311.08859
    • Awarded to Ankit Kumar
      1st Prize in Hacknight at Droidcon India 2013 Sony, Intel Nov 2013 Created a geo-spatial messaging app for android, compatible with the Sony SmartWatch.App demo here: http://www.youtube.com/watch?v=3qtuORgVMrQ
    • Awarded to Ankit Kumar
      3rd Prize in Tnooz Thack Bangalore Tnooz Nov 2013 Sangharsh Bouddh and I built a personalised destination recommendation platform called TravelSpire, which works by retrieving data from Facebook friends.Additional details at: http://www.tnooz.com/article/thack-hackathon-bangalore-results