↓ Skip to main content
Harisankar B

About

Table of Contents

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

I work on formal verification and automated reasoning — see Research for my internships and publications, and Projects for things I have built.

Education
#

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

Higher Secondary Education
Sarvodaya Central Vidyalaya,
Thiruvananthapuram, Kerala

Skills
#

AreaTools and Technologies
Proof Assistants and Formal MethodsLean 4, Mathlib
Programming LanguagesPython, JavaScript
Machine Learning and AIPyTorch, TensorFlow, scikit-learn
Scientific ComputingNumPy, Pandas, Matplotlib, Mathematica, LaTeX
Web and ToolingFlask, Django, React, HTML, CSS

Outside of this I play the violin, with an interest in classical and contemporary music.

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.

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 Coffee: Started casual meetups for coding enthusiasts to talk about whatever they find interesting, from algorithms to side projects.
  • 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
#