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 2020-10-23 11:21
Development of a decision support system for predicting technological success using patent data 2020-09-30 10:41
Modeling User Mobility on Edge Clouds 2020-10-09 21:05
Understanding an author by Topic Modelling 2018-11-14 16:00
A compiler for quantum circuits 2021-10-07 11:25
A formal semantics for Javalette in the K framework 2021-08-23 13:12
A Haskell DSL for integrating with IoT runtime systems 2020-12-03 21:15
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 2020-10-23 11:07
A type system for security and privacy 2021-06-22 10:01
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 and Machine Learning in the Natural Sciences: several projects 2021-09-29 19:47
AI in Sports 2021-10-18 16:13
AI-assisted scheduling of stream processing applications 2021-09-25 17:11
AI-based road friction information algorithm 2019-04-01 17:14
An Agda binding to an SMT solver 2020-10-23 11:08
An exploratory study of trade-offs in traditional vs. serverless stream processing. 2021-09-24 14:59
An intrusion detection system for IoT 2021-10-15 13:18
Analysis of gender bias in Swedish texts 2020-11-13 13:41
Analysis of Swedish prepositional phrases using machine learning 2019-08-27 12:11
Analyzing traffic delays using machine learning with possible environmental applications 2020-11-13 14:34
Artificial Intelligence and Learning Algorithms in the Natural Sciences - several projects 2021-09-29 21:04
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
Attack and Data Validation of Cyber-Physical Systems 2021-10-15 13:20
Automated of System Testing and Optimization of Control Software in Virtual Test Cell System for Powertrain Calibration 2017-10-26 12:52
Automatic generation of privacy-aware code 2021-10-11 11:01
Automatic mapping of text reuse as a tool for philology 2018-11-14 16:03
Automatization and decision making within a machine learning framework for drug discovery 2021-09-29 19:35
Automotive Driving Security: Risk Assessment of Radar Communications 2020-09-19 10:02
Category Theory in univalent Type Theory 2020-10-23 11:56
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
Continuous Bandits 2021-10-18 13:55
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
Debloating Machine Learning Systems 2020-10-07 14:19
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
Distributed Bandits 2021-10-18 13:55
Dynamic invariants for runtime verification 2018-10-02 21:25
Eco system models in Unity (several projects) 2021-10-05 23:25
Enhancing Privacy Setting of a Social Network 2018-10-02 21:29
Evaluating climate models using machine learnin 2021-10-19 11:43
Explainable Machine Translation 2019-10-07 21:20
Exploring pattern-matching support for the Haski compiler 2020-11-18 16:56
External factors for allergy development 2021-10-19 11:40
Extracting Multilingual Text Formats for Abstract Wikipedia 2021-10-11 10:42
Feature Selection for Causal Inference through Active Learning 2020-10-14 18:16
Feature selection for online classification 2021-09-29 19:38
Filling data gaps of sustainability related properties based on molecular descriptors and advanced data mining methods 2020-10-27 17:54
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
Formally verifying some algorithm that has not yet been formally verified 2021-10-05 17:39
Fredrik´s nya testprojekt 2019-11-15 14:52
Games based on Markov Decision Processes: several projects 2021-09-29 19:57
GF: Resource grammar for a new language 2020-09-30 11:36
Help us understand climate change all the way into space 2020-11-13 10:58
Identification of Video Content via Packet Trace Analysis: A ML Approach 2020-10-05 23:11
Implement MPEG-1 using feldspar 2018-10-29 16:10
Improving content recommendations at YouPic with contextual multi-armed bandits 2021-09-30 10:25
Industry project: Evaluation of Deep Learning Data Augmentation Techniques 2020-09-30 10:40
Industry project: Machine learning for driver behavior classification 2020-10-16 10:37
Industry Project: Reinforcement Learning for End-to-End Autonomous Driving 2016-11-22 17:09
Industry project: Scalable online machine learning algorithms for shortest path problems with stochastic weights 2021-10-13 15:57
Knowledge mining from scientific articles and reports 2020-10-27 17:54
Learning efficient communication through reinforcement learning 2021-10-18 16:05
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
List of supervisors at Mathematics department within Data science and AI 2020-11-03 17:03
Logical correctness of Autonomous Driving software systems 2018-10-17 22:03
Machine Learning and Text Analysis for Political Texts (several projects) 2021-10-04 16:26
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 detection of disease agents in samples 2021-10-11 21:33
Machine learning for Morphological reinflection 2021-10-19 11:37
Machine learning meets social science: policy causal evaluation with text 2021-10-04 16:21
Machine Learning Models for Online Prediction of Fuel Quality in Road Vehicles 2021-09-30 11:50
Machine Learning Prediction of Enzymes' Optimal Catalytic Temperatures 2020-09-30 10:45
Making neural networks more modular 2021-10-19 11:30
Making the Cloud Self-Stabilizing 2018-10-10 18:45
Mapping the molecular properties of small-molecule drugs using deep generative models 2021-10-07 16:47
Master Theses in Computer Architecture (several projects): Domain specific accelerators and HW-aware optimisations (Machine-Learning, Quantum Computing) 2021-10-18 22:14
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 based Reinforcement Learning Continuous Control 2020-10-07 13:57
Model fixed-point arithmetic in an interactive theorem prover 2017-10-18 08:49
Models of type theory in univalent Type Theory 2020-10-23 11:55
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
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-10-16 17:59
Normalisation by Evaluation for a dependently typed language in Agda 2020-09-23 15:09
Observatory of Poverty: using machine learning and satellite images to measure global living conditions 2021-06-06 21:20
OCR correction of Swedish newspaper texts using LSTM 2019-08-27 12:51
Online energy consumption analysis in Göteborg’s smart grid (in collaboration with Göteborg Energi) 2021-10-10 16:48
Optimization and Approximation Algorithms for Robust Statistical Inference (several projects) 2021-10-05 23:15
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
Patterns Mining and Visualisation of Long-distance Travel Behaviour using Big Data in Global Cities 2020-09-30 11:16
Place Holder For Pedro's Masters Thesis 2021-10-13 11:40
Placeholder for Marina's Project 2022 2021-10-06 17:15
Playing with Synthesis 2020-10-20 10:47
Preconditions for Realisability 2020-10-20 10:31
Predictive Maintenance for Critical Infrastructure 2019-10-03 09:48
Privacy Preserving for Anomaly Detection 2020-10-14 20:32
Product Location that Optimizes Collection Tours in a Simply Structured Warehouse 2021-10-04 16:16
Programming IoT devices with Haskell and Zephyr OS 2020-01-08 14:41
Projects in Bioinformatics and databases 2021-09-30 09:16
Projects in Computer Graphics 2017-10-20 11:48
Projects in Interaction design 2021-09-30 09:17
Reinforcement Learning for Social Policies 2020-11-16 00:04
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 Learning with Runtime Monitoring and Human Intervention 2018-10-08 14:36
SAT solver for LINUX 2018-01-21 03:01
Securing Resource Management on the Edge 2020-10-15 17:12
Security Analysis of LoRaWAN 2020-10-09 13:29
Self-stabilizing Control Plane for Fog Ecosystems 2020-10-16 11:15
Self-Supervised Learning for Scientific Images 2021-10-19 21:07
Sentiment analysis and urban quality inference using machine learning algorithms: several projects 2021-10-14 13:05
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
Several projects in Natural language processing (NLP) 2020-11-16 20:24
Several projects in NLP, internal and with industry 2020-10-16 17:56
Sharing Dictionaries between Wiktionary, Wikidata, and GF 2021-10-11 10:47
Shaun´s new project nr2 2020-10-01 12:11
Sketch it: continuous parallel/distributed analysis with controllable accuracy and CPS/HW awareness 2020-10-06 00:06
Smart Contracts in Ethereum 2018-10-02 21:28
Social-aware federated scheduling of real-time parallel tasks on heterogeneous multiprocessors 2021-10-08 11:26
Swedish word and sense similarity evaluation dataset for Natural Language Understanding tasks 2020-11-10 10:50
Synergetic Analysis between the human and AI algorithm 2021-10-15 13:24
Tactical Decision-Making for Heavy Vehicles in Urban Environments 2018-11-14 15:37
Tactics for Substitution in Agda 2020-09-23 15:10
Temporal logic(s) in Agda 2020-10-23 11:56
Test by Joachim v H 2021-09-28 15:37
Tests from failed proofs 2018-10-02 21:26
Text analysis for job advertisement (Swedish Unemployment Agency) 2021-08-10 15:47
Theoretical Projects about Finite Automata and Temporal Logic 2020-10-20 10:40
Trace-based optimization of QuickCheck random data generators 2020-11-09 14:32
Treebanking tool for GF 2019-03-11 14:47
Understanding and synthesising hardware-like algorithms 2018-10-29 16:11
Understanding IDS Alerts for IoT 2021-10-15 13:22
Verification of deep learning neural networks for quality control: several projects 2021-10-14 13:47
Verifying the correctness of a paper in the field of algorithms 2021-10-05 17:40
Web Security + Biometrics 2019-11-05 11:46