ETH - Chair of Programming Methodology

About us | People

Contact | Sitemap | Help

Publications | Research | Education

Intranet

ETH Zurich - Department of Computer Science - Chair of Programming Methodology - Education - Student Projects

Ongoing Student Projects

Completed Master's Theses

Completed Bachelor's Theses

Completed Research in Computer Science

Completed Semester Projects

Available Student Projects

Our group offers a variety of topics for Master's theses and Research in Computer Science projects and Bachelor's theses. The topics originate from our research projects and cover many areas of programming methodology. Since research is very dynamic, the available topics change frequently, depending on the progress in our research, challenges we encounter, and solutions we develop. The following list highlights some of the topics that are currently available. The descriptions give a rough indication of a possible project and leave many aspects to be defined based on your experience, interests, and goals. If you are interested in working with us, it is best to contact any group member about a personal meeting to discuss whether we have the right topic for you.

Open Topics	Contact
Master's Theses
Incremental Verification and Testing of Concurrent Programs	Malte Schwerhoff/Valentin Wüstholz
The Relationship Between Ownership and Implicit Dynamic Frames	Alex Summers/Valentin Wüstholz
Closure Support in a Symbolic Execution-based Automated Verifier	Ioannis Kassios/Malte Schwerhoff
Mapping and cross compiling a functional to an object-oriented programming language External thesis in collaboration with BMPI	Alex Summers bmpi
Automatic testing in the field of financial messaging External thesis in collaboration with Incentage AG	Peter Müller Hermann Lehner
Advanced static checking in the field of financial messaging External thesis in collaboration with Incentage AG	Peter Müller Hermann Lehner

Research in Computer Science
Combining Program Verification and Static Analysis	Malte Schwerhoff/Milos Novacek
Encoding Custom Theories in Z3	Malte Schwerhoff

Bachelor's Theses
Combining Program Verification and Static Analysis	Malte Schwerhoff/Milos Novacek
Improving the Robustness of Regression Test Results	Alex Summers/Valentin Wüstholz
Translating between Scala source code and Envision's tree representation of software	Dimitar Asenov
Closure Support in a Symbolic Execution-based Automated Verifier	Ioannis Kassios/Malte Schwerhoff

Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information