M.Sc. and B.Sc. Thesis Topics

If you are interested in doing your B.Sc. or M.Sc. thesis in our group, check out the Research and Publications web pages to get a flavor for the kind of work that we do. Under each of these topics, there is a wide range of possible B.Sc. and M.Sc. theses available -- most of these involve some combination of theory and system building.

A number of prior theses done in the group have appeared as publications in top venues in various fields of computer science including programming languages, security, verification, HCI and machine learning (e.g., CCS, CHI, OOPSLA, CAV, ICML, etc).

For more information, please contact Prof. Martin Vechev.