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
Understanding an author by Topic Modelling 2018-11-14 16:00
5G Cloud Native Load Simulator 2018-12-18 18:04
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 front-end for Idris 2015-10-06 09:22
Agda implementation of collections 2018-10-22 10:10
Agda's scope checker implemented in Agda 2018-10-22 10:20
Algebra of Programming in Agda 2015-10-06 09:28
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
Analysis of Swedish prepositional phrases using machine learning 2018-11-30 14:03
Apertium translator for a new language pair 2015-10-15 08:57
Attack Analysis Methodologies 2018-10-24 18:59
Attack and data validation of cyber-physical systems 2017-11-07 14:45
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
Bayesian Network Fisher Kernel for Categorical Feature Spaces (*) 2018-12-19 13:59
Big Data in a Small Cache: Group Testing for Big Data and Machine Learning 2017-10-18 17:39
City Safety Event Detection Analysis using Machine Learning 2018-11-16 12:05
Composable Data Types in Haskell – solving the expression problem for haskell 2018-11-30 15:59
Decisions, Puzzles and Cake 2019-01-11 16:44
Deep learning for fashion analysis - several projects 2018-09-26 23:53
Develop and evaluate a Bayesian predictor for food recipes 2019-01-02 22:15
Development of a machine learning algorithm for stance phase detection 2017-02-22 15:30
Discovering Patterns in Haskell Properties 2016-10-18 12:27
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 2015-11-24 10:50
Enhanced road-friction estimation using road weather information 2019-01-11 12:07
Enhancing Privacy Setting of a Social Network 2018-10-02 21:29
Evaluating hardware impacts in EPG 2018-12-18 18:06
Exploring emergence in a multi-agent system 2016-11-07 11:51
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
Feldspar Examples 2015-10-09 18:22
First steps towards a formally verified Tetris-capable cellular automaton 2017-10-24 15:48
Formalising time complexity in Agda 2015-10-08 10:41
Formalization of mathematical texts 2015-10-15 09:10
Formally verifying some algorithm that has not yet been formally verified 2018-10-23 16:31
Former projects: Privacy-preserving Biometric Authentication (*) 2018-08-19 22:02
GF: Resource grammar for a new language 2015-10-27 11:12
Grammars for music/poetry/fractals 2015-10-27 10:56
Graphs to Grids (*) 2018-10-04 14:07
Helper Artificial Intelligent agent (several projects) 2017-10-20 11:56
How to boost performance of Evolved Packet Gateway using Intel® Resource Director Technology? 2018-12-18 18:06
Implement MPEG-1 using feldspar 2018-10-29 16:10
Industry Project: Reinforcement Learning for End-to-End Autonomous Driving 2016-11-22 17:09
Information retrieval and dominating sets (*) 2018-12-19 13:59
Lightweight Typestate through Paragon – investigating the possibilities of using the paragon language to achieve typestate-like properties for java 2018-11-30 15:58
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 2017-08-22 12:17
Machine learning for big sequence data: Wavelet-compressed Hidden Markov Models 2018-10-29 16:08
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-01-17 17:15
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 LSTM 2018-10-17 22:11
Negotiation Mechanisms for Smart Contracts 2018-10-02 21:24
Neural network topic models 2018-10-30 14:09
Niklas´ new proposal nr 4 2018-11-30 10:50
Normalisation by Evaluation for a dependently typed language in Agda 2017-10-19 13:23
OCR post-processing of Swedish historical text using machine learning techniques 2018-10-17 11:27
Paragon Case Study – implementing information-flow critical software in paragon for the purpose of evaluation 2018-11-30 15:53
Paralocks in the Haskell type system 2015-10-12 17:05
Parameter estimation in FRAP using deep learning 2018-11-20 17:09
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
QuickChecking a compiler 2015-10-06 09:33
QuickChecking Standard Libraries 2016-02-18 10:58
Reasoning in Polymorphic First-Order Logic using a First-Order Theorem Prover 2018-10-29 16:04
Reinforcement Learning Based Wireless Network Management 2017-11-13 18:32
Reinforcement learning with latent rewards 2017-10-17 22:22
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
Secure coding in Rust 2018-11-19 17:54
Semantic security for Industrial Control Systems 2017-11-07 14:43
Several MSc Projects in Artificial General Intelligence 2018-08-21 15:01
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
Symbolic Functional FEEC 2015-10-06 11:06
Tactical Decision-Making for Heavy Vehicles in Urban Environments 2018-11-14 15:37
Tactics for Substitution in Agda 2018-09-26 16:05
Testbed for the security of industrial control systems 2017-11-07 14:44
Tests from failed proofs 2018-10-02 21:26
Tool support for functional operational semantics 2015-10-06 09:32
Transfer learning for NLP using pre-trained language models 2019-01-11 12:10
Treebanking tool for GF 2015-10-15 08:51
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
XCP over ethernet 2018-10-23 16:17

Past departmental projects

See also suggestions organised by keywords and by supervisors.

Project titlesort descending Updated date
A formal core calculus for the Rust programming language (*) 2018-08-03 15:31
A mathematician’s assistant (*) 2018-07-30 17:37
Browser Extensions Metadata Correlation (*) 2018-07-30 17:45
Chromium Modification to Parallelise Browser Extensions (*) 2018-07-30 17:43
Computing Distances in Slim Graphs (*) 2018-07-30 17:39
Former Industry Project: Design and implementation of a lightweight Intrusion Detection System for in-vehicle network 2017-08-15 16:55
Former Industry project: Verified boot in embedded environments with hard boot time constraints 2017-08-15 16:54
Former Project: Evaluating security concerns of software structure on high performance in-vehicle computational nodes 2017-08-15 16:54
Former projects: A network-based IDS for Industrial Control Systems 2017-08-15 17:02
Former projects: A Siemens S7 protocol fuzzer (or have you heard of Stuxnet?) 2017-11-07 14:44
Former projects: Agda mode for Yi (*) 2018-10-15 16:02
Former projects: Agda-backend for OTT (*) 2018-10-15 16:01
Former Projects: Chatbot using Deep learning 2017-08-15 16:27
Former projects: Control of self-driving vehicles using deep learning (*) 2018-02-22 19:20
Former Projects: COWL into practice (*) 2018-08-03 15:30
Former projects: Data augmentation for 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: Design and implementation of a streaming middleware for vehicular networks simulators 2017-08-15 16:38
Former projects: Detecting Appliances in Energy Traces 2017-11-07 14:46
Former Projects: Detecting Fraud in Electricity Networks 2017-08-15 16:39
Former Projects: Efficient Generic Libraries 2017-08-15 17:00
Former Projects: EfficientSort 2017-08-15 16:53
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: Hopster: Automated discovery of mathematical properties in HOL 2018-10-29 16:05
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 analysis of road traffic accident (*) 2018-10-09 19:19
Former projects: Machine learning for big biomedical data: clustering genomic signatures (*) 2018-08-07 10:59
Former projects: Machine Learning for Big Data: Blocked Bloom Filters for Detecting Duplicates in Large Data Sets (*) 2018-10-17 16:46
Former Projects: Malware mention classification 2018-10-29 16:04
Former Projects: Mutation algorithms for security in cars 2017-08-15 16:55
Former Projects: Novelty Detection in Text Streams 2017-08-15 16:59
Former Projects: Practical Performance of Incremental Topological Sorting/Loop Detection 2017-08-15 16:56
Former Projects: Proving Type-Class Laws for Haskell 2017-08-15 17:02
Former Projects: QuickChecking C code via Haskell 2017-08-15 17:01
Former projects: Robust Software Defined Networks 2017-08-15 16:56
Former Projects: Searching for Search Strategies 2017-08-15 17:03
Former projects: Surround vision object detection using deep learning (*) 2018-02-22 19:21
Former Projects: Type based API search for Agda or Idris 2017-08-15 16:52
Former projects: Using time series analysis for identifying influence area of speed cameras (*) 2018-10-09 19:18
Former Projects: Vulnerability Analysis of Automotive Embedded Systems 2017-08-15 16:58
Implementation and Evaluation of a Model-free Attack Detection Method for In-vehicle Network 2017-12-01 14:41
Malware on Chrome: Secure Preferences (*) 2018-07-30 17:39
Static Disjunction Category Labels (*) 2018-08-03 15:30
Systematic evaluation of intrusion detection systems for automotive 2017-11-24 15:14
You are touching me! A Monitoring Mechanism for Secure Key Generation (*) 2018-07-30 17:42