Departmental project suggestions

A list of Master thesis project suggestions. The suggestions range from almost complete project proposals to general announcement of research projects that are interested in master thesis projects.

See also suggestions organised by keywords and by supervisors.

Project titlesort descending Updated date
A Discrete Aspect of the Kervaire-Laudenbach Conjecture 2018-01-31 15:20
Att lära sig svenska? Mobil stödplattform riktad mot nyanlända i Sverige 2017-11-07 14:43
Development of a decision support system for predicting technological success using patent data 2017-11-13 19:33
Dynamic Deep Learning (several projects) 2019-10-04 09:02
Understanding an author by Topic Modelling 2018-11-14 16:00
A Modular Compiler For Paragon – achieving modularity for a large-scale, deeply monadic haskell application 2018-11-30 15:54
A NoSQL Embedded Database in Haskell 2019-11-08 15:18
A solver for finite sets and maps 2018-10-23 16:29
Active Inference of Formal Models using Simulations 2018-12-07 16:09
Add a verified data structure to the CakeML basis library 2017-10-18 09:55
Add an optimisation to the CakeML compiler 2018-10-18 09:56
Adding meta-information to UML models using machine learning 2017-10-20 11:50
Agda implementation of collections 2018-10-22 10:10
Agda's scope checker implemented in Agda 2018-10-22 10:20
AI for clinical diagnostics in Alzheimer's disesase 2019-11-22 11:48
AI for High-Throughput Functional Screens of Microbial Organisms 2019-11-07 15:46
AI graders for Python programming tasks 2019-11-07 15:47
AI-based road friction information algorithm 2019-04-01 17:14
Algorithm Animations for Algorithmic Machine Learning and Bioinformatics 2017-10-18 17:41
An Agda binding to an SMT solver 2018-10-23 16:27
An intrusion detection system for IoT 2019-10-03 09:46
Analysis of Swedish prepositional phrases using machine learning 2019-08-27 12:11
Apertium translator for a new language pair 2019-03-11 14:40
AskElle: an online Functional Programming tutor 2019-09-25 18:00
Aspect-Based Sentiment Analysis Using The Pre-trained Language Model BERT 2019-07-04 12:20
Automated of System Testing and Optimization of Control Software in Virtual Test Cell System for Powertrain Calibration 2017-10-26 12:52
Automatic mapping of text reuse as a tool for philology 2018-11-14 16:03
City data model implementation in graph databases 2019-10-24 14:52
Composable Data Types in Haskell – solving the expression problem for haskell 2019-09-20 16:28
Concept Alignment for Machine Translation 2019-10-07 21:17
Creating Custom Hardware Accelerators through Partial Evaluation of Programs 2019-09-19 12:06
Data Augmentation for Natural Language Parsing 2019-10-07 21:34
Decisions, Puzzles and Cake 2019-01-11 16:44
Deep learning for speech recognition 2019-10-08 13:31
Designing a compiler for programs in the presence of cached address translation 2019-10-04 16:28
Develop and evaluate a Bayesian predictor for food recipes 2019-01-02 22:15
Dynamic invariants for runtime verification 2018-10-02 21:25
Efficient multicore data-stream analysis&processing in cyber-physical, IoT-based (e.g. vehicle/energy) systems 2019-09-29 11:43
Efficient Optimization for Dominant Set Clustering 2019-10-01 15:07
Enhancing Privacy Setting of a Social Network 2018-10-02 21:29
Evaluating determinism options and costs in open-source Stream Processing Engines 2019-09-30 14:52
Explainable Machine Translation 2019-10-07 21:20
Exploring emergence in a multi-agent system 2019-09-25 15:25
Extending a formal semantics for Verilog for provably correct hardware 2018-10-18 10:03
Extension of a city data model for smart cities 2019-10-24 14:58
Extracting tests from runtime traces 2018-10-02 21:26
Fair decision making 2017-09-20 18:04
First steps towards a formally verified Tetris-capable cellular automaton 2017-10-24 15:48
Formalising time complexity in Agda 2019-09-25 15:24
Formalization of mathematical texts 2019-10-01 16:53
Formally verifying some algorithm that has not yet been formally verified 2018-10-23 16:31
Fredrik´s nya testprojekt 2019-11-15 14:52
Fuzzing XML under XPath constraints 2019-09-29 10:29
GF: Resource grammar for a new language 2019-11-08 13:19
Helper Artificial Intelligent agent (several projects) 2017-10-20 11:56
Implement MPEG-1 using feldspar 2018-10-29 16:10
Industry project: 5G Cloud Native Mobile Data Load Simulator 2019-11-18 14:52
Industry project: Attacker Identification Using Low-level Characteristics of Automotive ECUs 2019-10-08 11:39
Industry project: Automatic classification of air tracks using raw video from a conventional surveillance radar (*) 2019-11-18 12:35
Industry project: Digital Forensic Investigation of Automotive Systems 2019-10-08 11:32
Industry project: Emulating ECU hardware and software 2019-10-08 11:35
Industry project: Evaluation of Deep Learning Data Augmentation Techniques 2019-11-18 15:04
Industry Project: Reinforcement Learning for End-to-End Autonomous Driving 2016-11-22 17:09
Industry project: Transfer learning for probabilistic machine learning models of energy consumption 2019-11-28 14:02
Integration of existing city data model standards 2019-10-24 14:56
Interactive fine-grained provenance for streaming analytics 2019-09-26 11:11
Learning Smart Morphological Paradigms 2019-11-08 15:46
Lightweight Typestate through Paragon – [..] to achieve typestate-like properties for java 2019-07-04 14:21
Linear Arrangements with Closeness Constraints 2019-10-03 21:46
Logical correctness of Autonomous Driving software systems 2018-10-17 22:03
Machine learning and/or text mining for analysis of text data in road safety domain 2018-10-09 19:22
Machine learning for big sequence data: Wavelet-compressed Hidden Markov Models 2019-03-11 14:44
Machine learning meets social science: NLP methods in policy evaluation 2018-11-05 18:10
Machine learning on Petabytes of Time-Series Data 2019-10-21 17:05
Making the Cloud Self-Stabilizing 2018-10-10 18:45
Master Theses in Computer Architecture (several projects): Processing in Memory, Accelerators for Machine Learning, Data Compression and Security 2019-11-15 13:54
Master Theses in Parallel Computer Architecture and Runtime Systems (several projects) 2019-10-28 11:31
Measure coverage of QuickCheck generators 2015-10-06 11:13
Minimax Distance Measures in Different Subspaces 2018-09-20 17:38
Model fixed-point arithmetic in an interactive theorem prover 2017-10-18 08:49
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification 2019-11-27 14:58
MSc Project cocktail: Advanced data analysis through embedded intelligence 2017-12-15 09:21
Multi-agent Path Planning for Scaled Articulated Vehicles 2018-10-29 16:03
Name entity selection for second learner text using machine learning techniques 2019-08-27 13:03
Negotiation Mechanisms for Smart Contracts 2019-09-29 10:25
Neural network topic models 2018-10-30 14:09
Next generation Domain modelling language 2019-12-06 14:40
Normalisation by Evaluation for a dependently typed language in Agda 2017-10-19 13:23
OCR correction of Swedish newspaper texts using LSTM 2019-08-27 12:51
Online demand analysis for smart pricing in hotel industry 2019-09-23 14:26
Paragon Case Study – implementing information-flow critical software in paragon for the purpose of evaluation 2019-09-20 16:28
Paralocks in the Haskell type system 2019-09-20 16:29
Parameter estimation in FRAP using deep learning 2018-11-20 17:09
Patterns Mining and Visualisation of Long-distance Travel Behaviour us- ing Big Data in Global Cities 2019-10-02 16:05
Preconditions for Realisability 2019-09-29 10:28
Predictive Maintenance for Critical Infrastructure 2019-10-03 09:48
Privacy Preservation for Distributed Systems 2019-10-02 15:49
Privacy-preserving routing 2019-01-23 17:46
Projects in Bioinformatics and databases 2018-10-18 01:12
Projects in Computer Graphics 2017-10-20 11:48
Reinforcement Learning Based Wireless Network Management 2017-11-13 18:32
Reinforcement learning with latent rewards 2017-10-17 22:22
Representation learning for sequential decision-making 2019-11-15 14:38
Resource Grammar for Language X 2019-10-07 21:09
Robust layout rules for parsing indentation-sensitive programming languages 2017-11-14 17:24
Runtime enforcement of reactive systems (compositionality of enforcers) 2018-08-03 15:27
Runtime verification of reactive systems (a pacemaker case study) 2018-08-03 15:26
RV-assisted Reinforcement Learning for Collaborative Multi-Agents 2018-10-08 14:36
Safe Coordination of Vehicular Maneuvers 2018-10-10 20:26
Safe Learning with Runtime Monitoring and Human Intervention 2018-10-08 14:36
SAT solver for LINUX 2018-01-21 03:01
Security Analysis of LoRaWAN 2019-10-03 09:48
Security Log Analysis with Explainable Machine Learning 2019-10-03 09:49
Several projects in machine learning and natural language processing (NLP) 2018-08-21 14:07
Several projects in machine learning and NLP 2018-08-21 14:08
Simulator for Fault-Tolerant Intersection Crossing with Autonomous Vehicles 2016-10-14 12:13
Smart city data integration using graph databases 2019-10-24 14:50
Smart Contracts in Ethereum 2018-10-02 21:28
Smart Contracts: State-of-the-Art and Future Development 2018-10-02 21:25
Spatial and network analysis in graph databases 2019-10-24 14:54
Tactical Decision-Making for Heavy Vehicles in Urban Environments 2018-11-14 15:37
Tactics for Substitution in Agda 2018-09-26 16:05
Techniques for resilient vehicle design 2019-10-08 11:38
Tests from failed proofs 2018-10-02 21:26
Topic analysis to identify communities from Twitter 2019-10-25 13:45
Traffic scenario trajectory tagging with Machine Learning tools 2019-07-04 13:44
Transfer learning for NLP using pre-trained language models 2019-01-11 12:10
Translating Metric Temporal Logic to Automata and Monitors 2019-09-29 10:30
Treebanking tool for GF 2019-03-11 14:47
Understanding and synthesising hardware-like algorithms 2018-10-29 16:11
Vehicle Cybersecurity - GNSS Spoofing 2019-11-04 16:01
Verifying the correctness of a paper in the field of algorithms 2018-09-13 16:57
Virtualizing Automotive Software with XEN and ARM TrustZone 2019-10-08 11:36
Web Security + Biometrics 2019-11-05 11:46