Elijah Rivera

I am currently a Ph.D. candidate at Brown University in both the Programming Language Theory (PLT) and Computer Science Education (CSEd) groups, under the supervision of Shriram Krishnamurthi. I'm investigating how students plan out solutions to programming problems, and how we can build out both pedagogy and tools/automation to enhance that planning process.

I'm also interested in other applications of PL in educational contexts, including automation and synthesis, formal methods, and property-based testing,

I previously completed both my S.B. and M.Eng. in Computer Science at MIT, where I was involved in research spanning program synthesis, formal methods, and software security.

Read more about my research here.

My faith in God guides everything I do. Outside of school I volunteer in a local church, where I help lead Bible studies and musical worship. I'm also involved in organizations that advocate for a Biblical worldview on ethics, politics, and practical social good for the local community.