Chenchao Ding

Contact: cd17@iu.edu | Github: dcclogin | Office: 2033G in Luddy Hall

I am a Ph.D. student in the Department of Computer Science at Luddy School of Informatics, Computing, and Engineering (SICE), Indiana University Bloomington. I once majored in Bioinformatics at Shanghai Jiao Tong University. 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 PL/Mathematics/Formal Logics and continental philosophy. My favorite authors are Jean-Yves Girard, Alain Badiou, and Slavoj Žižek.

I am currently working on quantum computing (its relation to classical computing, its physical and philosophical implications, etc.) from a programming language perspective. Nothing in conclusion so far :)

You may learn more about my philosophical obsessions from here.

List of stuff

Cubical Sqrt - in progress, suspended temporarily.
λ-Circuit - a graphical prototype language of lambda calculus.

• Slides, Slides, Document.

Recommended Resources

• 主义主义 - about ideology and philosophy (Chinese only).
• The Little Learner - a straight line to deep learning.
• EuclideanSpace - Mathematics and Computing - full of diagrams.
• John Baez’s Blog - stuff on physics and category theory.
• Graphical Linear Algebra - a fresh view, and a diagrammatic approach.
• 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	Fall
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