Tarakaram Gollamudi

Current : Privacy Preserving Machine Learning

Money and Payments Research

Advisor: Stephanie Balzer

• Formal Verification and Pogramming Langauges.

Advisor: Joseph Tassarotti

• Formally verifying the robustness of cryptography and machine learning models.

Advisor: Alley Stoughton

• During the internship, I developed a testsuite for maintaining ucDSL. This involves developing a test description language (using Menhir) that automatically executes the corresponding test and generates an elaborate report. Part of the challenge is in supporting extensive exception/error handling. Future work includes translating ucDSL programs into EasyCrypt’s procedural programming language and proving that the translation is semantically preserving. The project also involved writing formal proofs in EasyCrypt proof assistant.

Advisor: Joel Bellaiche

• My primary area of research is Eigen varieties and p-adic L-functions.
  • My dissertation focuses on investigating the behaviour of L_b ideal without knowing the modules of overconvergent modular symbols M+ and M- at p irregular cuspidal CM modular forms of weight 1 and level N.
• Courses Taught (as an independent instructor)
  • Applied Linear algebra (Fall 2020)
  • 2nd-semester calculus (Fall 2016, Fall 2017, Spring 2020)
  • 1st-semester calculus (Spring 2017, Fall 2015)
• Courses Designed
  • Applied Linear Algebra Practicum at Brandeis University (with Prof. John Wilmes and others)
  • Mathematics of Cryptography. This course introducesthe mathematics of public key cryptosystems with an emphasis on Elliptic Curve Cryptography