Jan 2020 – Mar 2020 · 2 mos

Jan 2018 – Dec 2019 · 1 yr 11 mos

Jun 2015 – Dec 2017 · 2 yrs 6 mos

• Mainly focuses on risk mitigation and operating cost reduction of Goldman Sachs using ML and data science.
• The team performs data analytics and exploration, uses state-of-the-art ML algorithms, stochastic predictive reasoning and other analytical engineering approach to achieve its goals.

May 2013 – Jul 2013 · 2 mos · Uppsala, Sweden

• Created an algorithm for Automatic verification of asynchronous programs in C++ using SMT solver.
• Considered the issues of efficiency and applicability by optimizing previous existing algorithms for automatic verification of message passing programs.
• Synchronized a message passing program inputted as an XML le into a Deterministic Finite Automaton.
• Converted DFA into an optimized structure to generate Quantier-free Presburger Formulas.
• Satisability of these formulas are then checked using SMT Solver namely Z3 theorem prover.
• Final analysis and statistics of output is displayed in a separate latex le generated by the algorithm itself.
• Implemented the resulting algorithm in a tool and applied the tool to several non-trivial and exhaustive case studies.
• Tool can be found at https://github.com/Subhammodi/MPass.

Aug 2012 – May 2013 · 9 mos · IIt kanpur

• Organized Yahoo! Hack U - a 24 hour coding marathon at IITK in '11 and '12 in coordination with Yahoo.
• Oraganized Code.Fun.Do and Appathon - a 24-hour Windows App Development contest and a 24-hour coding contest respectively by Microsoft in 2013.
• Provided semester long projects in CS eld to over 80 rst year students through ACA in 2012-13.
• Set up and maintained a programming judge (DomJudge).
• Conducted weekend programming contests at IITK.
• Conducted a lecture series for Competitive Programming under the name League of Programmers at IITK.
• Set up a server for hosting the practice problems for the rst year students.
• Helped the department in the conduction of freshers, farewell and other events.

Jun 2012 – Jul 2012 · 1 mo · Mumbai Area, India

• Developed a message monitoring system that will receive trade messages from dierent multicast channels and display them in GUI. The application is written in C++ and uses the new QT4 library for frontend.
• Messages are fed from multi-cast channels to the tool through network library of the core module.
• The tool, thus developed, helps the user to monitor messages and analyze them.
• User has option to search for particular message by providing channel ID or Sequence number.
• Messages are de-serialized using message dictionary module of core library and then all the fields are shown in the frontend in the delimited format.
• User also has the option of controlling the number of messages to be read.

Mar 2012 – May 2012 · 2 mos · Kanpur Area, India

• Successfully led a team of 40 students to plan and execute the flagship event of Antaragni.
• Conducted 7 competitions running back to back in the 4 day period.
• Conceived and introduced a variety of changes and new competitions resulting in an increased participation of over 400 participants from all over India.
• Tied up with popular dance institutes ( Shiamak Davar Institute of Performing Arts and Banjara
• Dance Institute) to judge the event and oer internships for the winners.
• Publicized the event extensively through the web, videos and posters, resulting in increased participation.

Sep 2011 – Feb 2012 · 5 mos · Kanpur Area, India

• Successfully worked with a team of 40 students to plan and execute the
• agship event of Techkriti.
• Managed and assisted in conduction of various technology and design workshops which saw an attendance
• of over 1500 students from all over the country
• Coordinated to maintain nances during the entire period of the festival.
• Conducted varied and extensive workshops over a period of 4 days.