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.

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.

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.

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.

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 BanjaraDance 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.

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 attendanceof over 1500 students from all over the countryCoordinated to maintain nances during the entire period of the festival.Conducted varied and extensive workshops over a period of 4 days.