Hello!

My name is Dominic Kennedy. I like to listen to music, study (and argue about) programming languages, and watch soccer closely.

Presently, I’m a Computer Science Ph.D. student at the University of Utah, where I study Type Theory and Formal Verification under Ben Greenman.

image

Contact

It’s best to reach out at dominicmkennedy[at]gmail.com. Don’t be shy!

I’m also on GitHub, letterboxd and goodreads.

For those interested, here is my full CV. Updated 4/20/2024.

Source code for this site.