Dhruv Nevatia

Teaching

Sep-Dec 2023

Diskrete Mathematik

Teaching Assistant, ETH Zürich
Jan-Apr 2023

Formal Methods and Functional Programming

Teaching Assistant, ETH Zürich
Sep-Dec 2022

Theoretische Informatik

Teaching Assistant, ETH Zürich
Aug-Nov 2020

Mathematical Logic

Teaching Assistant, CMI
Aug-Nov 2020

Theory of Computation

Teaching Assistant, CMI
Aug-Nov 2019

Introduction to Programming in Haskell

Teaching Assistant, CMI
Aug-Nov 2018

Abstract Algebra Workshop for JEST applicants

Lecturer, CMI-IMSc

Feb-Aug 2023

Sarp Sümer, Bachelor's Thesis

Implementation of Timed Lossy Channel Systems in Haskell