Student Projects
Open projects
We offer projects to ETH students - Semesterarbeiten, Diplomarbeiten, Master's projects - across a number of software engineering topics, all related to the same general goal: construction of high-quality software through reuse, object technology, development of formally proved software.
Below is a partial list project-areas.
- Software verification is an area of research which includes both testing and proving that a program satisfies its specification. Projects range from redesigning user interfaces of verification tools, to exploring object state-space for automated testing.
- Research in distributed software engineering focuses on finding solution to the problems experienced when development must occur across social and national boundaries. Work here is based on the CloudStudio collaboration tool.
- Concurrency and distributed computation are areas of computer science which are focused on more and more now that many-core processors are readily available. Research in this area concentrates on the application of the SCOOP programming model and correctness of concurrent programs.
- Object persistence is a field of study which concentrates on the storage and retrieval of program data. As programs evolve, so does the representation of the underlying model. Projects in this area include the enhancement of a schema evolution tool, and the development of an enhanced EiffelStore library.
- We also offer exciting projects in compiler construction. If you want to really know Java, C or Eiffel, you should definitely take a look at the projects there!
- Miscellaneous: we have a large number of other projects available which fall under no-particular research direction. Please feel free to also propose topics of your own.
The list is indicative and subject to change. If you are an ETH student and interested in one or more of these topics, please contact one of the members of the team and we'll be happy to talk to you.
See also: Ongoing and completed projects
Templates and grading
Grading is based on the regulation for master thesis:
- 6 — results are equivalent to publication quality of international workshops/conferences;
- 5.5 — thesis quality significantly exceeds expectations;
- 5 — thesis meets expectations;
- 4.5 — thesis partially meets expectations with minor deficits;
- 4 — thesis meets minimal quality requirements; it has major deficits and it is clearly below expectations.