Back to University of Twente portal
BSc Research Projects
Most BSc projects carried out at the FMT research group 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. In the list of completed BSc projects, below, the latter ones are grouped under "Non-TSConIT BSc projects". These include for example those that were carried out by students of other programmes than Computer Science.
LITERATURE
For the BSc Research Project course we recommend that you read the following documents:
- BSc Referaat Survival Guide: how to write your BSc thesis in 7 steps
- Check list: where you can check a paper of yourself or your peers for quality and common mistakes
- BSc 7 steps: visual overview of the 7 steps
(We are translating these files to English shortly.)
Ongoing BSc Projects
For the upcoming 35th Twente Student Conference, projects for the track Software Technology and Formal Methods will be listed below after students have selected their topics.
| Vishva Sundarapandian Raani - Modelling and analysis of board games |
| Ruiyuan Li - How to Win Friends and Influence People with Probabilistic Grammars |
| Marten Voorberg - There Can Be Only (the Fastest) One |
| Aamir Farooq - How to Zen Your Python |
| Jan Douwe Beekman - Grammar Check Your Dungeon with Probabilistic Grammars |
| Jeffrey Bakker - Risk Assessment of Water Supply Networks |
Available Project Proposals
Students of the BSc Research Projects course in the Software Technology and Formal Methods track are invited to choose topics from the following list. If you are interested in a certain topic, please do not hesitate to make contact with the person responsible for that topic, even if you just want to ask a question and are still deciding.
Algorithms and Data Structures
Correct and efficient algorithms and datastructures for concurrency and model checking.
| Projects related to Probabilistic Model Checking: Theory, Algorithms, Implementation, Modelling (Dr. A. Hartmanns) |
| Best-fit dynamic behaviour: can fault tree upgrades be machine-learnt? (Doina Bucur, Prof.dr. M.I.A. Stoelinga) |
| Rule-based game strategies (prof.dr.ir. A. Rensink) |
| Parity game algorithms (dr. Tom van Dijk) |
| Prove your (functional) Algorithm in Isabelle/HOL (dr. Peter Lammich) |
| Assessment of Informal Software Designs (dr. A. Fehnker) |
| How complex is you model? Model metrics (Prof.dr. M.I.A. Stoelinga, D. van der Wal) |
Case studies and Applications
Application of formal methods to practical examples.
| Testing of Probabilistic Robotics (Prof.dr. M.I.A. Stoelinga, Dr. M. Gerhold) |
| Kwirk (Puzzle Boy) editor and solver (Dr.-Ing. E.M. Hahn) |
| Projects related to Probabilistic Model Checking: Theory, Algorithms, Implementation, Modelling (Dr. A. Hartmanns) |
| Learning Analytics for Atelier (dr. A. Fehnker) |
| Assessment of Informal Software Designs (dr. A. Fehnker) |
| A long awaited marriage: investigating safety/security interactions in real-world scenarios (C. Kolb, S.M. Nicoletti) |
| Modeling medical protocols with UPPAAL (dr.ir. R. Langerak) |
| What modelling language? (dr. A. Fehnker) |
Creative
Creative Technology
| Visualization of risks (Prof.dr. M.I.A. Stoelinga) |
| Kwirk (Puzzle Boy) level generator (Dr.-Ing. E.M. Hahn) |
| Learning Analytics for Atelier (dr. A. Fehnker) |
Dependability, security and performance
Analysis of dependability, security and quantitative aspects.
| Stressed systems: reliability of physical systems under varying loads (Dr. E.J.J. Ruijters, Prof.dr. M.I.A. Stoelinga) |
| Visualization of risks (Prof.dr. M.I.A. Stoelinga) |
| Bringing ATTop to the Top (Prof.dr. M.I.A. Stoelinga, dr. S. Schivo) |
| What security questions to ask? (And how to reply?) (Prof.dr. M.I.A. Stoelinga) |
| Projects related to Probabilistic Model Checking: Theory, Algorithms, Implementation, Modelling (Dr. A. Hartmanns) |
| Best-fit dynamic behaviour: can fault tree upgrades be machine-learnt? (Doina Bucur, Prof.dr. M.I.A. Stoelinga) |
| Speeding up parametric model checking using GPGPU computation (Dr.-Ing. E.M. Hahn) |
| Reliability in an imperfect world: inspecting critical systems (Prof.dr. M.I.A. Stoelinga) |
| A long awaited marriage: investigating safety/security interactions in real-world scenarios (C. Kolb, S.M. Nicoletti) |
Graphs
Graph and graph transformation related research.
| Projects related to Probabilistic Model Checking: Theory, Algorithms, Implementation, Modelling (Dr. A. Hartmanns) |
| Rule-based game strategies (prof.dr.ir. A. Rensink) |
| Parity game algorithms (dr. Tom van Dijk) |
| Graph algorithms (prof.dr.ir. H.J. Broersma) |
| Who says your model is correct? Automatic algorithms needed (Prof.dr. M.I.A. Stoelinga) |
Languages
Formal languages for specification, modelling and programming.
| Projects related to Probabilistic Model Checking: Theory, Algorithms, Implementation, Modelling (Dr. A. Hartmanns) |
| Scenario editor for probabilistic model checking (Dr.-Ing. E.M. Hahn) |
| Design Your Own PL (dr. Peter Lammich) |
| Program Responsibly for Arduino (dr. A. Fehnker) |
| The Scent of Python (dr. A. Fehnker) |
| What modelling language? (dr. A. Fehnker) |
Logics and semantics
Program logics, Semantics, Temporal and Modal logics.
Software Technology
Test coverage, Software Desgin patterns, Software Modeling, Software Architecture.
| Bringing ATTop to the Top (Prof.dr. M.I.A. Stoelinga, dr. S. Schivo) |
| What security questions to ask? (And how to reply?) (Prof.dr. M.I.A. Stoelinga) |
| Rule-based game strategies (prof.dr.ir. A. Rensink) |
| Learning Analytics for Atelier (dr. A. Fehnker) |
| Assessment of Informal Software Designs (dr. A. Fehnker) |
| Program Responsibly for Arduino (dr. A. Fehnker) |
| The Scent of Python (dr. A. Fehnker) |
| What modelling language? (dr. A. Fehnker) |
Testing
Formal testing techniques.
| Testing of Probabilistic Robotics (Prof.dr. M.I.A. Stoelinga, Dr. M. Gerhold) |
Other
Projects that don't fit any other category
| Software fault trees (Prof.dr. M.I.A. Stoelinga) |
| Visualization of risks (Prof.dr. M.I.A. Stoelinga) |
| Passive learning with logging frameworks (Dr. M. Gerhold, Prof.dr. M.I.A. Stoelinga) |
| An empirical study for teaching verification using Snap! (Dr. R.E. Monti, prof.dr. M. Huisman) |
| Program Responsibly for Arduino (dr. A. Fehnker) |
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 the track chairs.