Ben Kelly

Computer Science Student at Rensselaer Polytechnic Institute

Email: benjaminkelly at icloud dot com

Michigan Email: benkelly at umich dot edu

My Resume


I am a first year Ph.D. student at the University of Michigan, studying the use of formal methods for verifying distribution protocols with Dr. Manos Kapritsos and GLaDOS@Michigan. Before beginning my Ph.D. I received my B.S. in Computer Science from Rensselaer Polytechnic Institute. There, I was a member of the open source development team for Submitty, an open source grading platform, as well as being an experienced teaching assistant and tutor for both individual students and review sessions of over 150 students. At RPI I also served as the Vice-President and President of Upsilon Pi Epsilon, RPI's computer science honors society. I am the recipient of the RPI Founder's Award of Excellence and the RPI 4.0 Award.

I am not be pursuing any internships until the summer of 2024 or full-time positions for the foreseeable future.

Current Research

Past Research