Graduate students interested in joining the group should first take a class with (preferably graduate-level) with either Prof. Stump or Prof. Tinelli. Examples of such classes include:
- 22c:185, Programming Language Foundations (usually in Fall)
- 22c:188, Logic in Computer Science (usually in Fall)
- * 22c:181, Formal Methods in Software Engineering (usually in Spring)
Undergraduates are also encouraged to contact Prof. Stump or Prof. Tinelli if they are interested in a summer undergraduate research project or independent study during the semester.
We do not usually accept unsolicited requests for internships from students at other institutions. If you are interested in visiting us from another school, please have one of your professors write us a short letter on your behalf.