About

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

Research Interests

#

I am fascinated by theoretical computer science and machine learning, with particular interest in how these areas overlap with complexity theory, formal methods, logic, and graph theory. My current focus lies in automated theorem proving, especially using tools like LEAN4.

Education

#

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

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

#

Research and Internships

#

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.

AI in Oral Health

#

In the summer of 2023, I completed an internship under the guidance of 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

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