[{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/tags/automated-reasoning/","section":"Tags","summary":"","title":"Automated Reasoning","type":"tags"},{"content":"This section collects short notes on mathematics, theoretical computer science, automated reasoning, machine learning, and student-led technical projects.\n","date":"9 May 2026","externalUrl":null,"permalink":"/blogs/","section":"Blogs","summary":"This section collects short notes on mathematics, theoretical computer science, automated reasoning, machine learning, and student-led technical projects.\n","title":"Blogs","type":"blogs"},{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/categories/","section":"Categories","summary":"","title":"Categories","type":"categories"},{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/tags/formal-methods/","section":"Tags","summary":"","title":"Formal Methods","type":"tags"},{"content":" Theoretical Computer Science | Formal Methods | Logic | Machine Learning\n","date":"9 May 2026","externalUrl":null,"permalink":"/","section":"Harisankar B","summary":" Theoretical Computer Science | Formal Methods | Logic | Machine Learning\n","title":"Harisankar B","type":"page"},{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/tags/lean/","section":"Tags","summary":"","title":"Lean","type":"tags"},{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/categories/notes/","section":"Categories","summary":"","title":"Notes","type":"categories"},{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/tags/","section":"Tags","summary":"","title":"Tags","type":"tags"},{"content":"","date":"9 May 2026","externalUrl":null,"permalink":"/tags/theoretical-computer-science/","section":"Tags","summary":"","title":"Theoretical Computer Science","type":"tags"},{"content":"Automated reasoning sits at an exciting boundary between mathematics and computer science. It asks how far formal logic, carefully designed languages, and computation can go in representing and checking mathematical arguments.\nMy current interest is in learning how proof assistants such as Lean connect abstract foundations with practical verification. The subject feels especially compelling because it draws on logic, algorithms, complexity, and the craft of expressing ideas precisely enough for both humans and machines.\nThis blog will gradually collect notes from that exploration, along with related thoughts on graph theory, machine learning, programming projects, and technical communities at NISER.\n","date":"9 May 2026","externalUrl":null,"permalink":"/blogs/first-note/","section":"Blogs","summary":"Automated reasoning sits at an exciting boundary between mathematics and computer science. It asks how far formal logic, carefully designed languages, and computation can go in representing and checking mathematical arguments.\nMy current interest is in learning how proof assistants such as Lean connect abstract foundations with practical verification. The subject feels especially compelling because it draws on logic, algorithms, complexity, and the craft of expressing ideas precisely enough for both humans and machines.\n","title":"Why Automated Reasoning Interests Me","type":"blogs"},{"content":"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.\nResearch 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.\nEducation # Integrated MSc in Mathematics\nNational Institute of Science Education and Research, Bhubaneswar\nFourth year\nHigher Secondary Education Sarvodaya Central Vidyalaya, Thiruvananthapuram, Kerala\nRelevant 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.\nComputer 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.\nSkills # Area Tools and Technologies Programming Python, JavaScript Machine Learning and AI PyTorch, TensorFlow, scikit-learn Scientific and Productivity Tools Mathematica, LaTeX, NumPy, Matplotlib, Pandas, Obsidian, Notion Web Development HTML, CSS, Flask, React, Django Music Violin, with interest in classical and contemporary music 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.\nAI in Oral Health # 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.\nPublication # 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\nProjects # QR Coupon for Event Management\nA lightweight website for sending QR codes for event participation through email with Google Apps Script, plus a static verification page for organizers. GitHub Repo\nProblem of the Week Platform\nA website for weekly competitive programming problems with automated leaderboard management for community coding engagement. View Project\nSwitcheroo Website\nA 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\nNISER Mess Menu Website\nA website that presents the weekly NISER mess menu, with staff uploads through Google Forms and automatic display for students. View Website\nEvent Management\nAn event scheduling system concept that integrates with Google Calendar to reduce scheduling conflicts and support a public NISER club calendar. Project Link\nTimetable Generator\nA work-in-progress system for minimizing course conflicts using constraint satisfaction, graph coloring, and scheduling algorithms.\nCompetition Website\nA work-in-progress coding competition platform using Django and React for NISER students, including leaderboards, point tracking, and team participation. GitHub Repo\nCommunity # 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.\nSelected activities include:\nCode 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 ","externalUrl":null,"permalink":"/about/","section":"About","summary":"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.\nResearch 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.\n","title":"About","type":"about"},{"content":" QR Coupon for Event Management\nA lightweight website for sending QR codes for event participation through email with Google Apps Script, plus a static verification page for organizers. GitHub Repo\nProblem of the Week Platform\nA website for weekly competitive programming problems with automated leaderboard management for community coding engagement. View Project\nSwitcheroo Website\nA 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\nNISER Mess Menu Website\nA website that presents the weekly NISER mess menu, with staff uploads through Google Forms and automatic display for students. View Website\nEvent Management\nAn event scheduling system concept that integrates with Google Calendar to reduce scheduling conflicts and support a public NISER club calendar. Project Link\nTimetable Generator\nA work-in-progress system for minimizing course conflicts using constraint satisfaction, graph coloring, and scheduling algorithms.\nCompetition Website\nA work-in-progress coding competition platform using Django and React for NISER students, including leaderboards, point tracking, and team participation. GitHub Repo\n","externalUrl":null,"permalink":"/projects/","section":"Projects","summary":" QR Coupon for Event Management\nA lightweight website for sending QR codes for event participation through email with Google Apps Script, plus a static verification page for organizers. GitHub Repo\n","title":"Projects","type":"projects"}]