I am a first year Ph.D. student at the University of Michigan studying the use of formal methods for verifying distributed 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 currently beginning my research with Dr. Manos Kapritsos on formal verification of distributed systems.

• Crowdsourcing Perceptions of Gerrymandering [Paper]
  • Working with Dr. Lirong Xia and Inwon Kang
  • This work was presented at HCOMP 2022.
  • Kelly, Benjamin, Inwon Kang, and Lirong Xia. "Crowdsourcing Perceptions of Gerrymandering." Proceedings of the AAAI Conference on Human Computation and Crowdsourcing. Vol. 10. No. 1. 2022.
  • Copy BibTex

---

• Gerrymandering under Uncertain Preferences [Student Abstract] [Poster]
  • This work was a student abstract and poster at AAAI 2021
  • Kelly, Benjamin. "Gerrymandering under Uncertain Preferences (Student Abstract)." (2022).
  • Copy BibTex

---

• SCIENCE with Blockchain

---

• HEALS Project