About

I am currently a fourth-year Integrated MSc student at the National Institute of Science Education and Research (NISER), majoring in Mathematics and a minor in Computer Science.

Research Interests

#

My research interests lie at the intersection of automated reasoning, formal methods, theoretical computer science, and machine learning. I am particularly interested in developing systems that can reason about, verify, and synthesize correct software and mathematical artifacts. My current work focuses on automated theorem proving, proof assistants such as Lean, and the formal verification of distributed systems. More broadly, I am fascinated by the foundations of computation, logic, programming languages, and the ways in which formal reasoning techniques can be combined with modern machine learning methods to build more reliable and trustworthy intelligent systems.

Research and Internships

#

Research Intern at FPLaunchpad, IIT Madras

#

I am currently a Research Intern at FPLaunchpad at the Indian Institute of Technology Madras, working under the guidance of Dr. KC Sivaramakrishnan. My research focuses on formal verification of replicated data types, where I am using Lean to verify correctness of distributed systems.

Summer Research Program, IMSc Chennai

#

In the summer of 2025, I participated in the Summer Research Program at the Institute of Mathematical Sciences (IMSc), Chennai, under the guidance of Dr. Meena Mahajan, Professor in the Theoretical Computer Science group. My work focused on automated reasoning, where I explored topics in formal logic, experimented with Lean, and studied automated theorem proving.

Winter Internship, IISc Bangalore

#

In the winter of 2023, I did a small reading project under the guidance of Dr. L Sunil Chandra at the Indian Institute of Science (IISc), Bangalore. The project involved reading and summarizing a research paper on Graph Theory

AI in Oral Health, NISER

#

In the summer of 2023, I completed an internship under the guidance of Dr. Subhankar Mishra on a research project related to Artificial Intelligence in Oral Health. This work contributed to a book chapter on applications of AI in diagnosis, treatment, and patient care in dentistry.

Publication

#

Harisankar Binod, T. Shithij, A. Tichy, and S. Mishra. Artificial Intelligence in Oral Health. In Artificial Intelligence for Oral Health Care: Applications and Future Prospects, eds. F. Schwendicke, P.K. Chaudhari, K. Dhingra, S.E. Uribe, M. Hamdan. Springer Nature Switzerland, Cham, 2025, pp. 1-21. https://doi.org/10.1007/978-3-031-84047-0_1

Education

#

Integrated MSc in Mathematics
National Institute of Science Education and Research, Bhubaneswar
Fourth year

Higher Secondary Education
Sarvodaya Central Vidyalaya,
Thiruvananthapuram, Kerala

Relevant Courses

#

Mathematics: Real Analysis, Linear Algebra, Discrete Mathematics, Group Theory, Probability Theory, Metric Spaces, Differential Equations, Multivariate Calculus, Rings and Modules, Measure Theory, Complex Analysis, Graph Theory, Number Theory, Functional Analysis, Topology.

Computer Science: Data Structures and Algorithms, Theory of Computation, Discrete Structures and Computation, Design and Analysis of Algorithms, Advanced Machine Learning, Algorithmic Coding Theory, Computational Geometry.

Skills

#

Projects

#

QR Coupon for Event Management
A lightweight website for sending QR codes for event participation through email with Google Apps Script, plus a static verification page for organizers. GitHub Repo

Problem of the Week Platform
A website for weekly competitive programming problems with automated leaderboard management for community coding engagement. View Project

Switcheroo Website
A Flask-based web server for a coding event where teams collaborate by switching systems and solving problems together, with integrated timing and scoring. GitHub Repo

NISER Mess Menu Website
A website that presents the weekly NISER mess menu, with staff uploads through Google Forms and automatic display for students. View Website

Event Management
An event scheduling system concept that integrates with Google Calendar to reduce scheduling conflicts and support a public NISER club calendar. Project Link

Timetable Generator
A work-in-progress system for minimizing course conflicts using constraint satisfaction, graph coloring, and scheduling algorithms.

Competition Website
A work-in-progress coding competition platform using Django and React for NISER students, including leaderboards, point tracking, and team participation. GitHub Repo

Community

#

As the Head of the Coding Club at NISER, I organize events, oversee activities, and plan initiatives that promote coding and technology. I am also a core member of the MathematiX Club, where I help foster interest in mathematics through events and competitions.

Selected activities include:

• Code N Cffee: Organized weekly coding sessions for problem solving, algorithms, and programming discussions.
• Switcheroo Coding Event: Organized the event, developed the competition website, and supported execution. Event details
• Pi Day Celebration 2024: Organized a mathematics-focused event with puzzles, quizzes, and talks.
• SUMS, SRS, and AXIOM: Helped organize talks within the club and participated in related events.

Contact

#

• Email: harisankar.b@niser.ac.in
• Personal Email: harisankarbinodss@gmail.com
• LinkedIn: Harisankar B
• GitHub: Methaphur