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 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-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
Big Data in a Small Cache: Group Testing for Big Data and Machine Learning 2017-10-18 17:39
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 fashion analysis - several projects 2018-09-26 23:53
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
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
Fuzzing XML under XPath constraints 2019-09-29 10:29
GF: Resource grammar for a new language 2019-03-11 14:41
Grammars for music/poetry/fractals 2019-09-20 13:53
Helper Artificial Intelligent agent (several projects) 2017-10-20 11:56
Implement MPEG-1 using feldspar 2018-10-29 16:10
Industry project: Attacker Identification Using Low-level Characteristics of Automotive ECUs 2019-10-08 11:39
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: Reinforcement Learning for End-to-End Autonomous Driving 2016-11-22 17:09
Interactive fine-grained provenance for streaming analytics 2019-09-26 11:11
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 biomedical data: fast classification of genomic signatures using indexing 2019-03-12 17:17
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
Making the Cloud Self-Stabilizing 2018-10-10 18:45
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 2018-10-17 11:39
Morphological clustering of molecular emission around natal suns 2019-09-25 18:47
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
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
Question answering in context - using machine learning for NLP 2018-09-26 23:58
Reinforcement Learning Based Wireless Network Management 2017-11-13 18:32
Reinforcement learning with latent rewards 2017-10-17 22:22
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 Contracts in Ethereum 2018-10-02 21:28
Smart Contracts: State-of-the-Art and Future Development 2018-10-02 21:25
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
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
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

Past departmental projects

See also suggestions organised by keywords and by supervisors.

Project titlesort descending Updated date
Challenge Lab Master’s Thesis: Systems innovation for sustainability 2019-10-15 11:36
Former Projects: Agda front-end for Idris (*) 2019-09-25 15:21
Former Projects: Algebra of Programming in Agda (*) 2019-09-25 15:21
Former projects: Control of self-driving vehicles using deep learning (*) 2018-02-22 19:20
Former Projects: Defence-in-depth: combining a network-based IDS with program analysis 2017-08-15 16:38
Former Projects: Efficient Generic Libraries 2017-08-15 17:00
Former Projects: EfficientSort 2017-08-15 16:53
Former projects: Enhanced road-friction estimation using road weather information (*) 2019-08-12 17:20
Former projects: GPU Programming and Intrusion Detection Systems (IOT) 2017-11-07 14:47
Former projects: Handling and Analyzing Marine Traffic Data 2017-08-15 16:40
Former projects: How to boost performance of Evolved Packet Gateway using Intel® Resource Director Technology? (*) 2019-09-17 16:53
Former projects: Improving '112', the Emergency Calls 2017-08-15 16:53
Former projects: Industry Project: Security modeling in automotive industry 2017-08-15 16:52
Former projects: Machine learning for big biomedical data: clustering genomic signatures (*) 2018-08-07 10:59
Former projects: Privacy-preserving Biometric Authentication (*) 2019-09-17 16:40
Former projects: Secure coding in Rust (*) 2019-09-17 16:28
Former projects: Several MSc Projects in Artificial General Intelligence (*) 2019-10-03 22:01
Former projects: Surround vision object detection using deep learning (*) 2018-02-22 19:21
Former Projects: Symbolic Functional FEEC (*) 2019-09-25 15:19
Former Projects: Type based API search for Agda or Idris 2017-08-15 16:52