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
Development of a decision support system for predicting technological success using patent data 2020-09-30 10:41
Dynamic Deep Learning (several projects) 2020-09-30 11:14
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 2020-09-30 10:33
AI for High-Throughput Functional Screens of Microbial Organisms 2019-11-07 15:46
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
Applying Deep Learning to Drug Design - several projects 2020-02-13 16:29
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
Automotive Driving Security: Risk Assessment of Radar Communications 2020-09-19 10:02
City data model implementation in graph databases 2019-10-24 14:52
Comparative Evaluation of the S-RASTER Data Stream Clustering Algorithm 2020-01-07 15:21
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
Critical Patrolling Schedules for Two Robots on a Line 2020-09-30 11:19
Data Augmentation for Natural Language Parsing 2019-10-07 21:34
Data Integration in Digital Twin Cities 2020-09-30 10:33
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
Eco system models based on reinforcement learning (several projects) 2020-09-30 11:14
Efficient multicore data-stream analysis&processing in cyber-physical, IoT-based (e.g. vehicle/energy) systems 2019-09-29 11:43
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
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
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
Former Projects: Helper Artificial Intelligent agent (several projects) (*) 2020-09-30 17:58
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 2020-09-30 11:36
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 2020-09-30 10:40
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
Legal analysis AI/ML - future of legal dispute resolution 2020-09-29 13:53
Lightweight Typestate through Paragon – [..] to achieve typestate-like properties for java 2019-07-04 14:21
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 meets social science: NLP methods in policy evaluation 2020-09-30 11:13
Machine Learning Prediction of Enzymes' Optimal Catalytic Temperatures 2020-09-30 10:45
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
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 2020-09-30 11:13
Next generation Domain modelling language 2019-12-06 14:40
Nir Piterman´s new project 2020-09-21 16:17
Normalisation by Evaluation for a dependently typed language in Agda 2020-09-23 15:09
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
Overlapped Community Detection in Multiplex Networks 2020-09-30 10:36
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 2020-09-30 10:40
Patterns Mining and Visualisation of Long-distance Travel Behaviour using Big Data in Global Cities 2020-09-30 11:16
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
Programming IoT devices with Haskell and Zephyr OS 2020-01-08 14:41
Projects in Computer Graphics 2017-10-20 11:48
Real-Time Monitoring of Automation Processes with Applications to Cyber Security 2020-09-18 09:55
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
Shaun´s new project 2020-10-01 11:11
Shaun´s new project nr2 2020-10-01 12:11
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 2020-09-23 15:10
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
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