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
Overapproximating the Cost of while, for, and foreach Loops	Pietro Ferrara
Cost Model of TouchDevelop	Pietro Ferrara
Reachability over abstract Heaps	Pietro Ferrara
Mapping and cross compiling a functional to an object-oriented programming language External thesis in collaboration with BMPI	Alex Summers bmpi
Verifying Separation Logic Contracts in Chalice	Alex Summers
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

Research in Computer Science
Event based Semantics of TouchDevelop Scripts	Pietro Ferrara
From TouchDevelop to Imperative Programs	Pietro Ferrara
Combining Program Verification and Static Analysis	Malte Schwerhoff
Encoding Custom Theories in Z3	Malte Schwerhoff
Behavioral Subtyping with Delegation, Traits, and Permissions	Ioannis Kassios
Quantifying over Locations in Implicit Dynamic Frames	Malte Schwerhoff

Bachelor's Theses
Event based Semantics of TouchDevelop Scripts	Pietro Ferrara
From TouchDevelop to Imperative Programs	Pietro Ferrara
Combining Program Verification and Static Analysis	Malte Schwerhoff
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
Developing visualizations for graphical software engineering artifacts in Envision	Dimitar Asenov
Translating between C++ source code and Envision's tree representation of software	Dimitar Asenov

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