Agnishom Chattopadhyay

Rice University 2019 - Present

PhD Candidate: Computer Science

Chennai Mathematical Institute 2016 - 2019

Bachelor of Science: Mathematics and Computer Science
CGPA: 9.12/10

LaBRI, Université de Bordeaux Summer Intern - May 2019 - July 2019

Pumping Lemma for Weighted Automata, Equivalence of Streaming String Transducers

Mentor: Anca Muscholl, Filip Mazowiecki

Chennai Mathematical Institute Focused Study - September 2018 - April 2019

Query Languages for Graph Structured Data, Watermarking Schemes for Databases

(FSTTCS 2019, arXiv:1909.11369)

Mentor: M. Praveen

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

Modification of a Symbolic Binary Analysis Engine

Mentor: Ansuman Banerjee

Vacationlabs Haskell Intern - May - July 2018

Web Development with Haskell, Elm and related technologies

Mentor: Saurabh Nanda

Brilliant.Org Content Intern - 2016 - 2019

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

• Programming Language Concepts

  January - April, 2019

• 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

  2019, 2018

• Introduction to Haskell Programming

  2018, 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 posts

StackExchange Network

• Mathematics

  1,652 Reputation

• Stack Overflow

  876 Reputation

• English Language & Usage

  267 Reputation

• Code Review

  238 Reputation

• Programming Puzzles and Code Golf

  230 Reputation

Recreational Programming

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

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, Complexity Theory, Mathematical Logic, Proofs and Types, Interactive Theorem Proving, Software Verification with SMT Solvers, Logic-Automata-Games, Weighted Automata, Timed Automata, Games on Graphs, Concurrent Programming

• 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, Coq, Python, C++

Other Computing Skills

Paint.NET, Linux, Mathematica, Web Technologies

Soft Skills

Communicating Ideas, Brainstorming