Chenchao Ding

Contact: cd17@iu.edu | Github: dcclogin | Office: Nowhere 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 exploring quantum computing (quantum advantages, 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) the title is misleading since it’s still experimental.
λ-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	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