Research Experiences for Undergraduates
The REU program at CMU allows for undergraduate students to gain experience in research methods and practices. Students work on projects throughout the summer with a graduate student advisor. Any undergraduate who is interested in working with SoDA may apply through the REUSE application.
Projects
Summer 2025
First-Order Quantified Separator in Alloy Analyzer
Mentor: Andy Hammer
Student: One An
Compositional Verification of Distributed Protocols in TLA+
Mentor: Ian Dardik
Student: John Ngyuyen
