Howdy!

My name is Dominic Kennedy. I’m a Computer Science Ph.D. student at the University of Utah studying under Dr. Ben Greenman. My research interests include Abstract Interpretation, Program Synthesis, and Type Systems.

Contact

You can reach me at dominicmkennedy[at]gmail.com. Don’t be shy! You can also find me on GitHub, letterboxd and goodreads. For those interested, here is my CV.

Publications

Dominic Kennedy, Paula Olaya, Jay Lofstead, Rodrigo Vargas, and Michela Taufer. Augmenting singularity to generate fine-grained workflows, record trails, and data provenance. In 2022 IEEE 18th International Conference on e-Science, 2022

Paula Olaya, Dominic Kennedy, Ricardo Llamas, Leobardo Valera, Rodrigo Vargas, Jay Lofstead, and Michela Taufer. Building trust in earth science findings through data traceability and results explainability. IEEE Transactions on Parallel and Distributed Systems, 2023

Guojing Cong, Shruti Kulkarni, Seung–Hwan Lim, Prasanna Date, Shay Snyder, Maryam Parsa, Dominic Kennedy, and Catherine Schuman. Hyperparameter optimization and feature inclusion in graph neural networks for spiking implementation. In 2023 International Conference on Machine Learning and Applications (ICMLA), 2023

In my free time I like to listen to music, study (and argue about) programming languages, and watch soccer closely.

Source code for this site. Updated 12/3/2024.