Sarang Shastry
Bengaluru
Summary
Computer science graduate with interests in theoretical computer science, formal methods, and cryptography. Taught computer science courses for two years and currently working on formalizing polynomial-time cryptographic adversaries using Rcoq.
Overview
2
2
years of professional experience
4
4
Certifications
Work History
Faculty Member
Divysrijan IAS Academy
02.2024 - 08.2025
- Emphasize teaching responsibilities.
- Show mentoring and exam prep guidance.
- Assessed student performance through a variety of evaluation methods, providing constructive feedback for continuous improvement.
- Created assignments to encourage student learning and develop communication skills and higher-order thinking.
Assistant Professor
Thevanai Ammal College for Women
07.2023 - 01.2024
- Designed and implemented engaging lesson plans to improve student learning.
- Utilized interactive technologies, like PowerPoint and Flipped Classrooms.
- Created materials and exercises to illustrate application of course concepts.
- Mentored students and communicated internship and employment opportunities.
Education
Master of Computer Applications - Computer Science And Applications
Gyan Ganga College of Technology
Jabalpur05-2023
Bachelor of Computer Applications - Computer Science And Applications
Nachiketa College Of Computer Science Commerce And Advance Technology
Jabalpur01.2021
Skills
Programming: Python, Java, R, Haskell
Additional Information
Research Collaboration with Mukesh Tiwari.
Swansea University, Whales , UK.
Formal Methods and Cryptography.
Jan-2026 (ongoing)
- Working on formalizing polynomial-time cryptographic adversaries using RCoq (Interactive Theorem Prover ).
- Modeling adversarial behavior under polynomial-time constraints within a proof assistant.
- Studying foundational links between cryptography, computational complexity, and interactive theorem proving.
Certification
Tableau Training: Scored 83% Sep 15, 2024
Relevant Coursework And Self Study
- Theory Of Computation (NPTEL)
- Computational Complexity (NPTEL)
- Algorithmic Game Theory (NPTEL)
- Formal Verification
- Design and Analysis of Algorithms
- Data Structures
- Graph Theory
- Theorem Proving (RCoq and Isabelle)
- Functional Programming (Haskell, Lisp, OCaml)
Timeline
Faculty Member
Divysrijan IAS Academy
02.2024 - 08.2025
Assistant Professor
Thevanai Ammal College for Women
07.2023 - 01.2024
Master of Computer Applications - Computer Science And Applications
Gyan Ganga College of Technology
Bachelor of Computer Applications - Computer Science And Applications
Nachiketa College Of Computer Science Commerce And Advance Technology