New Student Recruiting

I will likely be able to take on a new Ph.D. students to start in Fall 2020. The position and topic are dependent both on the availability of funding and the interest of the student. However, possible topics include language design, gradual verification, and studying the productivity impact of language and type system features.

To get an idea for my research, see the links and papers at my home page. If you'd like to learn more about a particular project, please contact me! To apply, see the computer science or software engineering program information.

I have written some advice for students who are writing statements of purpose for CMU's Ph.D. program.

Frequently Asked Questions: