Ariel Kellison


I am a first-year PhD student and Department of Energy Computational Science Graduate Fellow working under the supervision of David Bindel in the Department of Computer Science at Cornell University. My research interests are in scientific computing and formal methods. Prior to starting my PhD, I worked on axiomatic systems for intuitionistic geometry with the NuPRL group.