Agnishom Chattopadhyay

Chennai Mathematical Institute 2016 - 2019

Bachelor of Science: Mathematics and Computer Science

Vacationlabs Haskell Intern - May - July 2018

Web Development with Haskell, Elm and related technologies

Mentor: Saurabh Nanda

Indian Statistical Institute - R. C. Bose Centre for Cryptology and Security Summer Intern - May - July 2017

Modification of a Symbolic Binary Analysis Engine

Mentor: Dr. Ansuman Banerjee

Brilliant.Org Content Intern - June 2016 - Present

Writing problems, motivating community, developing courses

Indian National Olympiad in Informatics

January 2016 - Indian Association for Research in Computer Science

Qualifier

13th National Cyber Olympiad

June 2014 - Science Olympiad Foundation

Winner

Atmadeep May 2013 - Eisamay

Among top 25 students of the city

The Third Indian SAT+SMT SchoolDecember 2018, Hyderabad

Winter school on SAT and SMT solvers

Monadic Party June 2018, Poznan

Functional Programming Haskell Summer School

Adventures of The Mind August 2015, Philadelphia

Achievement-focused mentoring camp for the most promising high school students

DST-Inspire Internship Science Camp June 2014, Kolkata

JB Centre of Excellence for Student-Scientists

Chennai Mathematical Institute

• Mathematical Logic

  August - November, 2018

• Advanced Programming

  January - April, 2018

• Programming in Haskell

  August - November, 2017

Hosting Tutorials, Preparing Supplementary Notes, Creating Assignments

NPTEL Online Courses

• Design and Analysis of Algorithms

  September - November, 2018

• Introduction to Haskell Programming

  February - April, 2018

• Introduction to Haskell Programming

  February - April, 2017

Community Involvement, Creating Assignments

Brilliant.Org Moderator - 2013 - 2016

Moderated Computer Science, Combinatorics and Calculus

Math Is Fun Forum Real Member - 2013 - Present

Over 10,000 forum post

StackExchange Network

• Mathematics

  1,599 Reputation

• Stack Overflow

  784 Reputation

• English Language & Usage

  267 Reputation

• Programming Puzzles and Code Golf

  230 Reputation

• Code Review

  218 Reputation

Recreational Programming

Worked on several recreational programming projects. See http://github.com/Agnishom/

Focused Reading September 2018 - Present

Query Languages for Graph Structured Data

Mentor: M. Praveen

Undergraduate Coursework 2016 - Present

• Mathematics: Algebra (Linear Algebra, Group Theory, Ring and Field Theory, Module Theory, Galois Theory), Probability Theory, Real Analysis, Calculus, Differential Equations, Complex Analysis, Topology

• Computer Science: Programming(Haskell and Python), Programming Language Concepts, Implementation of Functional Programming, Discrete Mathematics, Design and Analysis of Algorithms, Theory of Computation, Mathematical Logic, Proofs and Types, Software Verification with SMT Solvers, Logic-Automata-Games, Games on Graphs

• Other: Classical Mechanics, English, Values Through Literature

Coursera Online Courses 2014 - 2015

Taken online courses in Cryptography, Mathematical Philosophy, Social Psychology, Microeconomics, Game Theory

Programming Languages

Haskell, Python, C++

Other Computing Skills

Paint.NET, Linux, Mathematica, Web Technologies

Soft Skills

Communicating Ideas, Brainstorming