BSc Referaat

Most BSc projects carried out at FMT, are part of the student conference series Twente Student Conference on IT. Some of the BSc projects carried out at FMT fall outside this student conference series -- for instance those that were carried out by students of other programmes than Computer Science. In the list of completed BSc projects, below, the latter ones are grouped under "Non-TSConIT BSc projects".

Twente Student Conference on IT
Twente Student Conference on IT

LITERATURE

In this course, we use the following documents:

Ongoing BSc Projects

For the upcoming 26th Twente Student Conference, projects for Track E: Formal Methods & Software Engineering are listed below.


Available Project Proposals

For the next Twente Student Conference, projects for Track E: Formal Methods & Software Engineering can be chosen from the list below. Please contact the contact person for the project if you are interested.

Algorithms and Data Structures

Correct and efficient algorithms and datastructures for concurrency and model checking.

Case studies and Applications

Application of formal methods to practical examples.

Dependability, security and performance

Analysis of dependability, security and quantitative aspects.

Graphs

Graph and graph transformation related research.

Logics and semantics

Program logics, Semantics, Temporal and Modal logics.

Other

(overflow of earlier categorization - to be re-categorized).

Students who like the area of Formal Methods & Tools, but did not find a suitable project in the list above, are encouraged to propose their own project on the topics of (software/hardware) verification, testing, concurrency (& algorithms), program analysis, compilers, virtual machines, etc..

More information about the track is available from prof.dr. J.C. van de Pol (first semester) or dr. M.I.A. Stoelinga (second semester).


Completed BSc Projects