Post #4230137

Not assigning a specific topic directly for intern students always makes me excited about what students are capable of and the diversity of their interests. 🤩 Two years ago, one of interns proposed a research question about the equivalence of two fractal constructions as functional programs and it later becomes a cute paper (under revision) about the classic second duality theorem in program derivation. And today, my new intern proposes to do some recently developed math in Cubical Agda. (There is some preliminary work but not much.) I’m not sure where it will end but this is something good for students to explore but I may not consider myself in a few years.