Caleb Schultz Kisby

Welcome! I’m a PhD Candidate in Computer Science at Indiana University, co-supervised by Larry Moss and Saúl Blanco. I’m a member of the IU logic group and plwonks.

Research

I work on the mathematical foundations of artificial intelligence. Currently I am developing formal groundwork for neural-symbolic AI, the bridge between neural networks and logic. More generally, I am interested in neural net learning, dynamic epistemic logic, belief revision, formal verification, and model building. If you’d like to see what I’m thinking about right now, check out this list of open problems I like.