Agnishom Chattopadhyay

Rice University 2019 - Present

PhD Candidate: Computer Science
Advisor: Dr. Konstantinos Mamouras

Chennai Mathematical Institute 2016 - 2019

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

RV'21 A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

TACAS'21 Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

RV'20 A verified online monitor for metric temporal logic with quantitative semantics

Agnishom Chattopadhyay, Konstantinos Mamouras

LMCS 17 Pumping Lemma for Weighted Automata

Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl, Cristian Riveros

FSTTCS'19 Query Preserving Watermarking Schemes for Locally Treelike Databases

Agnishom Chattopadhyay, M. Praveen

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

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

Lean Together 2020January 2020, Pittsburgh

Conference on Formal Methods in Mathematics

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

Rice University 2020 - 2021

Reasoning about Software, Functional Programming

Hosting Tutorials, Grading Assignments

Chennai Mathematical Institute 2017 - 2019

Programming Language Concepts, Mathematical Logic, Advanced Programming, Programming in Haskell

Hosting Tutorials, Preparing Supplementary Notes, Creating Assignments

NPTEL Online Courses 2017 - 2019

Design and Analysis of Algorithms, Introduction to Haskell Programming

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

  2,166 Reputation

• Stack Overflow

  1,858 Reputation

• Code Review

  433 Reputation

Recreational Programming

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

Graduate Coursework 2019 - Present

Principles of Programming Languages, IOT Programming and Data Analysis, Secure and Cloud Computing, Introduction to Security, Computer Systems Architecture, Probabilistic Algorithms and Data Structures, Topics in Programming Languages and Formal Methods

Undergraduate Coursework 2016 - 2019

• 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, Rust

Other Computing Skills

Paint.NET, Linux, Mathematica, Web Technologies

Soft Skills

Communicating Ideas, Brainstorming