Department of Information Technology - Thesis projects
The Department of Information Technology conducts research in the following research areas. You can read more about it here.
If you are interested in an advertised thesis project at the IT department at the university, please get in touch with the contact person by email, phone, or in person.
Image Analysis
- An exciting project at the Cyber-Physical Systems Lab for litter identification/detection to help cleaning our beaches here
. - Thesis projects in imaging, image analysis, and AI at Computer-assisted Applications in Medicine here
- Thesis project: Developing tools for spatial correlation in mass spectrometry imaging
- Master thesis project in Biomedical Image Analysis and Machine Learning
Computer Systems
- Sustainable Internet of Things through co-design with organic batteries here
- (taken)Exploration of Implementing Hardware Prefetcher for Software here
- A list of project topics related to automated reasoning tools Eldarica and TriCera
Optimisation
Computing Education Research
- Multiple thesis projects available for Broadening Participation in Computing Education [1]
- Two thesis projects available for Learning Analytics in Computing Education Reference: Learning Analytics
- We also accept student initiatives for thesis projects. You can contact anyone among the staff at CER.
Parallel and Distributed Systems
TBA
Control and Dynamical systems
- List of MSc thesis projects in Systems and Control, Machine Learning, Optimization, Neuroengineering, Secure Learning and Control. (here)
Programming Languages and Systems
TBA
Cybersecurity
Semantics and Verification
- A Formal Semantics of Core Erlang
- A Formal Semantics of BEAM Bytecode
- Translating Floating-Point to Bit-Vector Operations in Isabelle/HOL
- Formalizing Artificial Neural Networks
- Formalizing Problems and Solutions from the 2023 International Mathematical Olympiad
- Formalizing (One of) the Hundred Greatest Theorems
- BSc: Validation of a Formal Floating-Point Model
Data Science
TBA
Software Engineering
TBA
Embedded and Real-Time Systems
Two projects at the Communication Research Lab for On-board RF fingerprinting.
BLE Track
Embedded ML Track
Artificial Intelligence
- Four projects at the Cyber-Physical Systems Lab for AI in robotics applications here.
- Thesis projects in Machine Learning for Medical Applications here
- List of MSc thesis projects in Systems and Control, Machine Learning, Optimization, Neuroengineering, Secure Learning and Control. (here)
- Master thesis project in Biomedical Image Analysis and Machine Learning
- Thesis projects in imaging, image analysis, and AI at Computer-assisted Applications in Medicine here
- Six projects in Distributed Machine Learning over Vehicular Networks here
- Personalised agent for genetic counselling
- Three Master thesis Projects in AI and Machine Learning related to Text Recognition and Face recognition
Human-Machine Interaction
- Nine projects in IT and sustainability with the Digital Ecologies Lab here
- Projects at the Cyber-Physical Systems Lab to support intelligent beach cleaning system here.
- Personalised agent for genetic counselling