| CARVIEW |
Chenchao Ding
Contact: cd17@iu.edu | Github: dcclogin | Office: 2033G in Luddy Hall
I am a D.Sc. student in the Department of Computer Science at Luddy School of Informatics, Computing, and Engineering (SICE), Indiana University Bloomington (IUB). I once majored in Bioinformatics at Shanghai Jiao Tong University (SJTU). My interests range from theoretical aspects of programming languages to continental philosophy (Phenomenology as well as other descendants of German Idealism). I have a strong interest to reconcile mathematics, formal logique, and programming languages with continental philosophy. I read Jean-Yves Girard (logique), Alain Badiou & Slavoj Žižek (philosophies).
I am attempting something that enjoys the dignity of the “impossible triangle” that knots
- Quantum Contextuality (Physics).
- Leibniz Equality (Logique).
- Computational Effect (PL).
For my philosophical obsessions: see here.
List of stuff
Effectful Contextuality
Cubical Sqrt
λ-Circuit - a graphical prototype language of lambda calculus. Slides.
Recommended Resources
- The Little Learner - a straight line to deep learning.
- EuclideanSpace - Mathematics and Computing - catalogue of math & logique.
- John Baez’s Blog - stuff on physics and category theory.
- 1lab - detailed explanation and full implementation of cubical type theory.
- The n-Category Café - on math, physics and philosophy.
- EPIT Spring School on HoTT - a gentle introduction to dependent types and HoTT.
Teaching
| Course | Role | Year | Semester |
|---|---|---|---|
| C343 Data Structures | Associate Instructor | 2024 | Spring |
| B555 Machine Learning | Associate Instructor | 2023 | Fall |
| C311/B521 Programming Languages | TA | 2023 | Spring |
| C311/B521 Programming Languages | TA | 2022 | Fall |
| C311/B521 Programming Languages | Master TA | 2022 | Spring |