Following details will be shared with the tutors you will contact:
Confirm to delete
Are you sure want to delete this?
SarangProgramming and Formal Verification
No reviews yet
I hold a Master’s degree in Computer Applications and have a strong academic background in Computer Science, with experience spanning both teaching and research. I have taught Programming Languages and Systems Sciences to BCA, MCA, and MSc Computer Science students, where I focused on building strong fundamentals, conceptual clarity, and structured problem-solving skills among students from diverse academic backgrounds.
In parallel with teaching, I am currently pursuing a research internship at Indian Institute of Technology Madras under Ananta Padmanabha. My research work aligns with formal methods and foundational aspects of computer science, strengthening my ability to connect theoretical concepts with rigorous reasoning.
This combination of classroom teaching and active research experience has helped me develop a balanced academic profile, enabling me to effectively teach core computer science subjects while mentoring students with a research-oriented perspective.
Subjects
Maths Beginner-Expert
Discrete Math Beginner-Expert
Programming (C) Beginner-Expert
Java & Data Structures and Algorithms Beginner-Expert
Experience
Assistant Professor (Jul, 2023–Jun, 2025) at TACW, Villupuram
Education
Computer Application (May, 2021–Jun, 2023) from GGCT JABALPUR