Welcome to my little corner of the web! Here are the projects and events I’m currently working on + maintaining:
portfolio of my professional experience
researcher profile: cv | google scholar | dblp
contact: cckisby ☆ gmail ♧ com
I’m Caleb, a mathematician and programmer, and currently trying to finish my PhD at Indiana University. For my PhD, I ended up proving a theorem that bridges neural network learning and dynamic epistemic logic. The proof, a model-building algorithm, suggests an interesting new approach to AI alignment, which I’m currently implementing as a usable program.
Before this chapter of my life, I was a script kiddie who learned to program by using game dev engines. At some point, I was taken by an LMU/Coursera class in mathematical philosophy, and this book that I read one summer at my grandmom’s place. From there I had a decade-long obsession with ideas from logic and theoretical CS and blending these with psychology & cognitive science. I have been very fortunate so far to be able to pursue a career that combines these interests.
As for what’s next: I’m on a personal journey to understand what interesting work beyond academia looks like for me. I also have some cool ideas in the works, and I’m on the lookout for ways to make them happen.