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 title Updated datesort ascending
Testing data-dependent accuracy for unbounded notions of Differential Privacy 2021-11-29 15:47
Sensitivity computation for user-defined functions in Differential Privacy systems 2021-11-29 15:45
Typed representation of datasets for Differential Privacy systems 2021-11-29 15:41
Alejandro 5 2021-11-29 13:34
Alejandro 4 2021-11-29 13:33
Alejandro 2 2021-11-29 13:29
Smart Density Database 2021-11-26 10:20
Identification of driver baselines 2021-11-25 23:49
Industry project: Scalable online machine learning algorithms for shortest path problems with stochastic weights (*) 2021-11-25 20:14
Swedish FrameNet++ 2021-11-08 08:59
Explainable AI for chemical language models 2021-11-01 15:38
Tandem Duplication in Strings 2021-11-01 15:20
Template for masters thesis topic for KATERINA/UDDIPANA 2021-11-01 13:52
Cluster it! Parallel/distributed data clustering 2021-10-27 22:06
Sketch it: continuous parallel/distributed analysis with controllable accuracy and CPS/HW awareness 2021-10-27 22:05
Benchmarking Machine Learning Models for Supervised Learning to Predict Potency of Peptides 2021-10-25 15:47
Ecosystems of reinforcement learning agents (several projects) 2021-10-25 12:36
Using techniques in Computer Science to aid Building Physics Modelling 2021-10-22 11:22
Semantic role labeling for Swedish 2021-10-21 16:27
OCR correction of Swedish newspaper texts using LSTM 2021-10-21 16:24
Swedish word and sense similarity evaluation dataset for Natural Language Understanding tasks 2021-10-21 14:08
Formalizing Cubical Type Theory in Agda 2021-10-20 12:30
A solver for finite sets and maps 2021-10-20 11:43
Temporal logic(s) in Agda 2021-10-20 11:39
Models of type theory in univalent Type Theory 2021-10-20 11:37
Evaluating integrated energy-economy-climate models using machine learning 2021-10-20 10:14
Prove correctness of DEFLATE (i.e. zip, gzip) algorithm 2021-10-20 08:31
Add an optimisation to the verified CakeML compiler 2021-10-20 08:25
Self-Supervised Learning for Scientific Images 2021-10-19 21:07
External factors for allergy development 2021-10-19 11:40
Machine learning for Morphological reinflection 2021-10-19 11:37
Making neural networks more modular 2021-10-19 11:30
Master Theses in Computer Architecture (several projects): Domain specific accelerators and HW-aware optimisations (Machine-Learning, Quantum Computing) 2021-10-18 22:14
AI in Sports 2021-10-18 16:13
Learning efficient communication through reinforcement learning 2021-10-18 16:05
Distributed Bandits 2021-10-18 13:55
Continuous Bandits 2021-10-18 13:55
Synergetic Analysis between the human and AI algorithm 2021-10-15 13:24
Understanding IDS Alerts for IoT 2021-10-15 13:22
Attack and Data Validation of Cyber-Physical Systems 2021-10-15 13:20
An intrusion detection system for IoT 2021-10-15 13:18
Verification of deep learning neural networks for quality control: several projects 2021-10-14 13:47
Sentiment analysis and urban quality inference using machine learning algorithms: several projects 2021-10-14 13:05
Place Holder For Pedro's Masters Thesis 2021-10-13 11:40
Machine learning for big biomedical data: fast detection of disease agents in samples 2021-10-11 21:33
Automatic generation of privacy-aware code 2021-10-11 11:01
Sharing Dictionaries between Wiktionary, Wikidata, and GF 2021-10-11 10:47
Extracting Multilingual Text Formats for Abstract Wikipedia 2021-10-11 10:42
Online energy consumption analysis in Göteborg’s smart grid (in collaboration with Göteborg Energi) 2021-10-10 16:48
Social-aware federated scheduling of real-time parallel tasks on heterogeneous multiprocessors 2021-10-08 11:26
Mapping the molecular properties of small-molecule drugs using deep generative models 2021-10-07 16:47
A compiler for quantum circuits 2021-10-07 11:25
Optimization and Approximation Algorithms for Robust Statistical Inference (several projects) 2021-10-05 23:15
Verifying the correctness of a paper in the field of algorithms 2021-10-05 17:40
Formally verifying some algorithm that has not yet been formally verified 2021-10-05 17:39
Machine Learning and Text Analysis for Political Texts (several projects) 2021-10-04 16:26
Machine learning meets social science: policy causal evaluation with text 2021-10-04 16:21
Product Location that Optimizes Collection Tours in a Simply Structured Warehouse 2021-10-04 16:16
Machine Learning Models for Online Prediction of Fuel Quality in Road Vehicles 2021-09-30 11:50
Improving content recommendations at YouPic with contextual multi-armed bandits 2021-09-30 10:25
Projects in Interaction design 2021-09-30 09:17
Projects in Bioinformatics and databases 2021-09-30 09:16
Artificial Intelligence and Learning Algorithms in the Natural Sciences - several projects 2021-09-29 21:04
Games based on Markov Decision Processes: several projects 2021-09-29 19:57
AI and Machine Learning in the Natural Sciences: several projects 2021-09-29 19:47
Feature selection for online classification 2021-09-29 19:38
Automatization and decision making within a machine learning framework for drug discovery 2021-09-29 19:35
Test by Joachim v H 2021-09-28 15:37
AI-assisted scheduling of stream processing applications 2021-09-25 17:11
An exploratory study of trade-offs in traditional vs. serverless stream processing. 2021-09-24 14:59
A formal semantics for Javalette in the K framework 2021-08-23 13:12
Text analysis for job advertisement (Swedish Unemployment Agency) 2021-08-10 15:47
A type system for security and privacy 2021-06-22 10:01
Observatory of Poverty: using machine learning and satellite images to measure global living conditions 2021-06-06 21:20
Several projects in Natural language processing (NLP) 2020-11-16 20:24
Reinforcement Learning for Social Policies 2020-11-16 00:04
Analyzing traffic delays using machine learning with possible environmental applications 2020-11-13 14:34
Analysis of gender bias in Swedish texts 2020-11-13 13:41
Help us understand climate change all the way into space 2020-11-13 10:58
List of supervisors at Mathematics department within Data science and AI 2020-11-03 17:03
Filling data gaps of sustainability related properties based on molecular descriptors and advanced data mining methods 2020-10-27 17:54
Knowledge mining from scientific articles and reports 2020-10-27 17:54
Category Theory in univalent Type Theory 2020-10-23 11:56
A Discrete Aspect of the Kervaire-Laudenbach Conjecture 2020-10-23 11:21
An Agda binding to an SMT solver 2020-10-23 11:08
Playing with Synthesis 2020-10-20 10:47
Theoretical Projects about Finite Automata and Temporal Logic 2020-10-20 10:40
Preconditions for Realisability 2020-10-20 10:31
Neural network topic models 2020-10-16 17:59
Several projects in NLP, internal and with industry 2020-10-16 17:56
Self-stabilizing Control Plane for Fog Ecosystems 2020-10-16 11:15
Industry project: Machine learning for driver behavior classification 2020-10-16 10:37
Securing Resource Management on the Edge 2020-10-15 17:12
Privacy Preserving for Anomaly Detection 2020-10-14 20:32
Feature Selection for Causal Inference through Active Learning 2020-10-14 18:16
Modeling User Mobility on Edge Clouds 2020-10-09 21:05
Security Analysis of LoRaWAN 2020-10-09 13:29
Debloating Machine Learning Systems 2020-10-07 14:19
Model based Reinforcement Learning Continuous Control 2020-10-07 13:57
Identification of Video Content via Packet Trace Analysis: A ML Approach 2020-10-05 23:11
Shaun´s new project nr2 2020-10-01 12:11
GF: Resource grammar for a new language 2020-09-30 11:36
Critical Patrolling Schedules for Two Robots on a Line 2020-09-30 11:19
Patterns Mining and Visualisation of Long-distance Travel Behaviour using Big Data in Global Cities 2020-09-30 11:16
Machine Learning Prediction of Enzymes' Optimal Catalytic Temperatures 2020-09-30 10:45
Development of a decision support system for predicting technological success using patent data 2020-09-30 10:41
Industry project: Evaluation of Deep Learning Data Augmentation Techniques 2020-09-30 10:40
Overlapped Community Detection in Multiplex Networks 2020-09-30 10:36
Data Integration in Digital Twin Cities 2020-09-30 10:33
Automotive Driving Security: Risk Assessment of Radar Communications 2020-09-19 10:02
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification 2019-11-27 14:58
Fredrik´s nya testprojekt 2019-11-15 14:52
Representation learning for sequential decision-making 2019-11-15 14:38
Learning Smart Morphological Paradigms 2019-11-08 15:46
Web Security + Biometrics 2019-11-05 11:46
Master Theses in Parallel Computer Architecture and Runtime Systems (several projects) 2019-10-28 11:31
Deep learning for speech recognition 2019-10-08 13:31
Data Augmentation for Natural Language Parsing 2019-10-07 21:34
Explainable Machine Translation 2019-10-07 21:20
Concept Alignment for Machine Translation 2019-10-07 21:17
Resource Grammar for Language X 2019-10-07 21:09
Predictive Maintenance for Critical Infrastructure 2019-10-03 09:48
Negotiation Mechanisms for Smart Contracts 2019-09-29 10:25
AskElle: an online Functional Programming tutor 2019-09-25 18:00
Formalising time complexity in Agda 2019-09-25 15:24
Paralocks in the Haskell type system 2019-09-20 16:29
Composable Data Types in Haskell – solving the expression problem for haskell 2019-09-20 16:28
Paragon Case Study – implementing information-flow critical software in paragon for the purpose of evaluation 2019-09-20 16:28
Creating Custom Hardware Accelerators through Partial Evaluation of Programs 2019-09-19 12:06
Lightweight Typestate through Paragon – [..] to achieve typestate-like properties for java 2019-07-04 14:21
Aspect-Based Sentiment Analysis Using The Pre-trained Language Model BERT 2019-07-04 12:20
Treebanking tool for GF 2019-03-11 14:47
Decisions, Puzzles and Cake 2019-01-11 16:44
Active Inference of Formal Models using Simulations 2018-12-07 16:09
A Modular Compiler For Paragon – achieving modularity for a large-scale, deeply monadic haskell application 2018-11-30 15:54
Automatic mapping of text reuse as a tool for philology 2018-11-14 16:03
Understanding an author by Topic Modelling 2018-11-14 16:00
Tactical Decision-Making for Heavy Vehicles in Urban Environments 2018-11-14 15:37
Understanding and synthesising hardware-like algorithms 2018-10-29 16:11
Implement MPEG-1 using feldspar 2018-10-29 16:10
Agda implementation of collections 2018-10-22 10:10
Logical correctness of Autonomous Driving software systems 2018-10-17 22:03
Making the Cloud Self-Stabilizing 2018-10-10 18:45
Safe Learning with Runtime Monitoring and Human Intervention 2018-10-08 14:36
RV-assisted Reinforcement Learning for Collaborative Multi-Agents 2018-10-08 14:36
Enhancing Privacy Setting of a Social Network 2018-10-02 21:29
Smart Contracts in Ethereum 2018-10-02 21:28
Tests from failed proofs 2018-10-02 21:26
Dynamic invariants for runtime verification 2018-10-02 21:25
Several projects in machine learning and NLP 2018-08-21 14:08
Several projects in machine learning and natural language processing (NLP) 2018-08-21 14:07
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
SAT solver for LINUX 2018-01-21 03:01
MSc Project cocktail: Advanced data analysis through embedded intelligence 2017-12-15 09:21
Robust layout rules for parsing indentation-sensitive programming languages 2017-11-14 17:24
Automated of System Testing and Optimization of Control Software in Virtual Test Cell System for Powertrain Calibration 2017-10-26 12:52
Adding meta-information to UML models using machine learning 2017-10-20 11:50
Projects in Computer Graphics 2017-10-20 11:48
Add a verified data structure to the CakeML basis library 2017-10-18 09:55
Industry Project: Reinforcement Learning for End-to-End Autonomous Driving 2016-11-22 17:09
Measure coverage of QuickCheck generators 2015-10-06 11:13