Supervisors for projects and theses

To students: This is a list of Computer Science Department people who can supervise projects and theses, with interests and project ideas.

To supervisors: Please edit your information to be valuable to students. The list of projects may be inline in this page or a link a separate one.

Alessandro Bruni

Security, protocols, protocol analysis, formal verification, logics, ethical hacking, electronic voting, IoT

Projects page

Andres Faina

Robotics, both software and hardware. Self-reconfigurable robotics, evolutionary robotics, liquid-handling robots. Electronic and mechanical design and automatic design. Hardware and prototypes. A lot of projects combine software and hardware, but just software projects are also available.
Email and Homepage and List of project ideas.

Andrzej Wasowski

Programming languages, software product lines, software analysis tools.

Barbara Plank

Data science, natural language processing and deep learning.

Email and Homepage and Project ideas.

Bernardo Machado David

Cryptography, multiparty computation, blockchain.
Research interests: foundations (oblivious transfer/commitments), efficient multiparty computation, privacy preserving and scalable blockchain applications.
Email, Homepage and Project Ideas

Björn Thór Jónsson

Data systems, interactive media search and exploration. A lot of cool projects relating to large image collections.
Email and homepage and projects

Carsten Schürmann

Information security; socio-technical systems, security analysis, IoT security, offensive security, forensics, program and protocol verification, standards and certification. Election security; cryptographic voting protocols, statistical methods in elections and risk-limiting audits, zero-knowledge proof checking, identity management. Digital democracy; models of electoral transparency, vote privacy and trust, computational social choice. Programming language theory, type theory, logic, formal methods; logical frameworks, substructural and modal logics, domain specific programming languages, concurrency, automated theorem proving, proof assistants, computational logic.

Christian Østergaard Madsen

Public IT projects, digital governance, multichannel management, service design, action research, qualitative and quantitative studies

Christoph Seidl

Model-based software engineering, software product lines.

Claus Brabrand

Programming languages, program analysis, CS education.

Dan Witzner Hansen

Image analysis, machine learning, eye tracking, Gaze interaction, sports analysis,

Elda Paja

Requirements, software engineering, security.

Helge Pfeiffer

Software Engineering, Software Quality and Metrics, DevOps, Continuous Integration and Delivery/Deployment, Dependency Management, Reverse Engineering

Homepage and Project ideas

Holger Dell

Algorithms.

Jens Schmidt

Government IT.

Jes Frellsen

Machine learning, bioinformatics.

Jesper Bengtson

Programming languages, logic, verification.

Kasper Støy

Robotics

Current topics: Affective robots, lab automation, and braid robotics.

Leon Derczynski

Data science, natural language processing.
Research interests: Fake news detection, Social media, Health analytics
Email and homepage

Marco Carbone

Programming Languages for Concurrency and Distributed Systems.

Current topics: Adding Session Types to a mainstream Programming Language; Mechanising Session Types in Coq.

Mail; WWW

Maria Paasivaara

Software engineering, Agile & Lean software development, Large-scale Agile, software processes, software project management.

Martin Aumüller

Algorithms, Algorithm Engineering, Algorithmic Privacy & Fairness.

Mail, Website, and Projects Ideas

Michael Szell

Social Networks, Network Science, Human Mobility, Computational Social Science, Data Science, Urban Sustainability.

Email, Website

Michele Coscia

Network Analysis, Social Networks, Data Mining, Human Mobility, Complex Systems, Economic Development, Memetics.

Email and Homepage and List of project ideas.

Mircea Lungu

Software engineering, software evolution, big software data, software visualization, tools for software development and tools for augmenting learning.
Email and Homepage and Student Projects.

Natalie Schluter

Data science, natural language processing, algorithms and machine learning (especially for NLP).
Email and Homepage and Student Page.

Oksana Kulyk

Security.

Paolo Tell

Software engineering.

Patrick Bahr

Programming languages, compilers, type theory, formal verification, functional programming
Email and Homepage and Project ideas.

Peter Sestoft

Programming languages, software development, parallel programming, end-user programming, spreadsheet technology, compilers.
Email and Homepage and List of project ideas.

Philippe Bonnet

Computational storage, data systems, database tuning, decentralized cloud, energy analytics, satellite data, IoT.
Collaborations with Samsung, NEC Labs, KK, Small Smart City, Orkney, Asian Institute of Technology.
Email and Homepage and List of project ideas.

Pınar Tözün

Data systems, databases, data management on modern hardware, workload characterization, heterogeneous hardware. Email and Homepage and Project ideas for the data systems group.

Rasmus Pagh

Algorithms.

Rasmus Ejlers Møgelberg

Programming languages, logic, semantics.

Riko Jacob

(Parallel) Algorithms, complexity, experiments, differential privacy, combinatorial optimization, blockchain, peer to peer

I have a recent interest in the peer-to-peer layer of a proof-of-stake blockchain. Write me an email and we will discuss the details of a bachelor-, master- or project-thesis.

Roberta Sinatra

Social Networks, Network Science, Computational Social Science, Data Science, Science of Science, Science of Success.

Email, Website, Twitter,

Rosario Giustolisi

Security.

Email, Website, and Student Projects

Rune Møller Jensen

Meta heuristics, constructive heuristics, mathematical programming, constraint programming, prediction, classification, forecasting, development of large-scale optimization algorithms like phase-decompositions and test driven design, decision support systems for stowage planning, uptake management, and capacity management in container and break-bulk liner shipping.
Email and Homepage and List of project ideas.

Sami Brandt

Image analysis, mathematical imaging, computer vision, machine learning, statistics.
Email and Homepage.

Søren Debois

Security, distributed systems, blockchain, smart contracts, applications in large organisations, applications of traditional security techniques to compliance. Homepage.

Søren Lauesen

Software engineering, requirements, supplier selection, user-interface design, why large projects fail and what to do about it.

Thore Husfeldt

Algorithms.

Troels Bjerre Lund

Algorithms, computational game theory.

Willard Rafnsson

Security, programming languages, program analysis, verification.
Homepage, Project ideas, Mail.

Yvonne Dittrich

Software engineering.

Zhoulai Fu

Modern software analysis --- writing code to analyse code. Automated testing --- the 21st century way to digital engineering.

Homepage