Chenchao Ding

Contact: | 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.


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