We are excited to work with students who want to pursue a bachelor or master thesis with us in program analysis or incremental computing. Please reach out if you are interested!
