Congratulations to Joseph E. McMahan, on winning the inaugural Distinguished Graduate Student Presentation Award for his talk at summit.cs 2017. Titled “Software Like a Bridge,” McMahan’s presentation addressed formal methods in systems and architecture.

McMahan is a PhD candidate for computer architecture, working in the ArchLab with his advisor, Professor Tim Sherwood.