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