shobhit
Tagline:MSc CS @ Chennai Mathematical Institute | I also teach math sometimes
Chennai, Tamil Nadu, India
About Me
I am a final year Computer Science Master’s Student at Chennai Mathematical Institute.
Currently I am working on proving correctness of distributed consensus protocols and being advised by Prof M.K. Srivas and Prof. M. Praveen.
My research interests lie broadly in Formal Methods, Game Theory, Mechanism Design, Automata and Machine Learning.
I am also interested in mathematical pedagogy.
Hobbies include rock climbing and collecting pdfs to read later.
Education
Master of Science
from: 2023, until: presentField of study:Computer Science School:Chennai Mathematical InstituteLocation:Chennai
Bachelor of Science
from: 2019, until: 2022Field of study:Mathematics and Development School:Azim Premji University Location:Bangalore
Research
Verification of Distributed Consensus Algorithms
date: 2024Organization:Chennai Mathematical Institute
Description:I am working on it under Prof MK Srivas and Prof M Praveen. It is in collaboration with Supra Oracles.
Reading project on Satisfiability of Word Equations
date: 2024Organization:Institute of Mathematical Sciences
Description:I read multiple papers on Word equations and Matiyasevich algorithm and presented them. Worked under the guidance of Prof Prakash Saivasan.
Talks
Interesting Courses Taken
Formal verification Workshop
from: Dec 2024, until: Dec 2024
Organization: IIT Delhi .
Description:SAT Solvers
Enumerative Synthesis / Program repair
Verification of Neural NetsAlgebraic Automata Theory
from: Sep 2024, until: Dec 2024
Organization: Chennai Mathematical Institute .
Software Verification Analysis
from: Aug 2024, until: Dec 2024
Organization: Chennai Mathematical Institute .
Algorithmic Game Theory
from: Aug 2024, until: Dec 2024
Organization: Institute of Mathematical Sciences .
Intro to Hegel and Marx
from: Aug 2024, until: Aug 2024
Organization: Chennai Mathematical Institute .
Logic Automata Games
from: Jan 2024, until: Apr 2024
Organization: Chennai Mathematical Institute .
Natural Language Processing
from: Aug 2023, until: Dec 2023
Organization: Chennai Mathematical Institute .
Non Linear Dynamics
from: Jan 2022, until: Apr 2022
Organization: Azim Premji University .
Curriculum Vitae (CV)
DownloadMathy Books I Really Like
Theory of Computation by Michael Sipser
Mathematics and Computation by Avi Wingderson
What is Mathematics by Richard Courant
Proofs: A Long-Form Mathematics Textbook by Jay Cummings
Math for Nonmathematicians by Morris Kline
Mathematics Form and Function by Saunders McLane