Difference between revisions of "Supervisors for projects and theses"

From Computer Science Department
Jump to: navigation, search
m (Willard edited his own entry.)
Line 258: Line 258:
 
=== Willard Rafnsson ===
 
=== Willard Rafnsson ===
 
Security, programming languages, program analysis, verification.
 
Security, programming languages, program analysis, verification.
<br/>[http://research.precise.li/ '''Homepage'''], [https://cisr.dk/studproj/ '''Project ideas'''], [mailto:wilr@itu.dk '''Mail'''].
+
<br/>[https://www.willardthor.com/ '''Homepage'''], [mailto:wilr@itu.dk '''Mail'''].
  
 
=== Yvonne Dittrich ===
 
=== Yvonne Dittrich ===

Revision as of 10:47, 12 April 2021

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 to a separate one.

Aaron Duane

Human-computer interaction, visual access to large-scale data analytics, and virtual reality. Part of the DASYA group (Data Intensive Systems and Applications), see DASYA page and information for students.
Email

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

Software Engineering, Software Quality Assurance, Bugs Finding and Fixing, Static Analysis and Testing, Open Source, Project, Linux Kernel, Robot Operating System, Probabilistic Programming, Data Privacy and Leakage
Email and Homepage and List of project ideas.

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, privacy preserving machine learning.
Email, Homepage and Project Ideas

Björn Þó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
Part of the DASYA group (Data Intensive Systems and Applications), see DASYA page and information for students.

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 Hardmeier

Natural language processing: Machine translation, multilingual NLP, bias and fairness in NLP, reference in language, discourse/text-level NLP.

Homepage and Project Ideas

Christian Østergaard Madsen

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

Christoph Seidl

Model-based/model-driven software engineering, software product lines (SPLs), language engineering/domain-specific languages (DSLs), software evolution/maintenance, reengineering/refactoring.

Claus Brabrand

Computing Education Research, Intrinsic/Extrinsic Motivation, Diversity/Gender Studies, Cognitive Competences (SOLO Taxonomy), Teaching/Learning Activities, Online Teaching/Learning Activities, Assessment, Learning Tools, Educational Experiments.

Dan Witzner Hansen

Image analysis, machine learning, eye tracking, Gaze interaction, sports analysis, Eye information, Privacy and security within Eye information.

Gopinaath (Gopi) Kannabiran

Human Computer Interaction (HCI), Interaction design, User experience design, Multimedia and digital arts, Critical design, Feminist research in STEM, Qualitative research, Mixed research methodology, Designing with marginalized populations, Participatory Design, Design activism, Designing for ecological sustainability

Here is a list of my research publications

Elda Paja

Requirements, software engineering, security.

Helge Pfeiffer

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

Homepage and Project ideas

Jan Pries-Heje

Jens Schmidt

Government IT. IT Projects. Software Engineering.

Jesper Bengtson

Programming languages, logic, verification.

Jørgen Staunstrup

Mobile apps (Android) and Concurrency

Kasper Støy

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

Konstantinos Manikas

Software architecture, software development, software engineering, agile development/architecture, enterprise architecture & IT strategy.
Email , homepage

Leon Derczynski

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

Louise Barkhuus

Social science studies of technology, privacy, qualitative and quantitative methods, mobile social technologies, human-computer interfaces (HCI)

Website: www.barkhu.us

Luca Aiello

Computational Social Science, Data Science, Applied Machine Learning, Network Science.

Mail, Website, and Twitter

Mahsa Varshosaz

Software testing and verification, software product lines analysis, program repair, quantitative verification.
Email and Homepage

Marco Carbone

Software as a Medical Device, Programming Languages, Concurrency, Distributed Systems, Formal Models

Current topics:

- Risk Management for Software as a Medical Device
- Formal Models for Risk Management
- Behavioural types in mainstream programming languages
- Mechanising behavioural types in Coq.

Mail; WWW

Martin Aumüller

Algorithms, Algorithm Engineering, Algorithmic Privacy & Fairness.

Mail, Website, and Projects Ideas

Michael Szell

Urban Data Science, Network Science, Bicycle Networks and Infrastructure, Human Mobility, Sustainable Urban Transport, Social Networks, Computational Social Science.

Email, Website, Project Ideas

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.

Najmeh Abiri

Statistical machine learning, Representation learning, Deep generative models.
Email and Homepage

Natalie Schluter

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

Niclas Hedam

Data Systems, Computational Storage, Privacy & Security in the context of Data Systems, eBPF.
Currently only co-supervising with Pinar or Philippe.
Email and website and Project ideas for the data systems group.

Oksana Kulyk

Security, privacy, electronic voting, human factors, usability
Email and Homepage.

Paolo Tell

Software engineering.

Patrick Bahr

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

Payam Zahadat

Robotics software, swarm robotics, bioinspired computing.

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.

Radu-Cristian Curticapean

Contact me if you're interested in a project in algorithms or theoretical computer science in general. I am also interested in exploring modern ways of teaching computer science.

Rasmus Ejlers Møgelberg

Programming languages, logic, semantics. Dependent types.

Raúl Pardo

Online privacy: privacy in data analytics, privacy in Internet of Things, privacy in social networks, enforcement of privacy regulations (e.g., GDPR); probabilistic programming; formal methods; Bayesian data analysis.

Homepage and Email

Riko Jacob

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

Write me an email and we will discuss the details of a bachelor-, master- or project-thesis.

Rob van der Goot

Natural Language Processing.

Email, Website, Potential projects,

Roberta Sinatra

Social Networks, Network Science, Computational Social Science, Data Science, Complex Systems, Science of Science

Email, Website, Twitter,

Rosario Giustolisi

Security.

Email, Website, and List of project ideas

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, video, and audio analysis; mathematical imaging; computer vision; machine learning; statistics.
Email and Homepage.

Sebastian Büttrich

Internet of Things / Cyber-physical systems; Networks at large, specifically wireless neworks / LPWAN; Data science applications; Energy & Environmental IT Email

Søren Debois

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

Stella Grasshof

statistical face modeling; tensor models; 3D reconstruction; 3D point correspondences; image registration; Image, video, and audio analysis; mathematical imaging; computer vision; machine learning; spatial and temporal alignment
Email

Therese Graversen

Statistics (both mathematical statistics and applied statistics), Bayesian networks and graphical models, DNA forensics, Forensic science.

Thore Husfeldt

Algorithms.

Tiago Cunha

Social Networks, Network Science, Computational Social Science, Data Science, Health Informatics.

Email, Website, Twitter,

Troels Bjerre Lund

Algorithms, computational game theory.

Vedran Sekara

Data Science, Network Science, Computational Social Science, Data Mining, Social Networks, Complex Systems, Algorithmic Auditing, Data Representativeness, Bais & Fairness in ML and AI

Email, Website, Twitter,

Veronika Cheplygina

Machine learning, pattern recognition, data science, medical image analysis, open science, science communication.

Email | Website | Project ideas | Twitter

Willard Rafnsson

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

Yvonne Dittrich

Software engineering. Home page.

Zhoulai Fu

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

Zsolt Istvan

Data systems, data-near computation, reconfigurable hardware.

Homepage: https://zistvan.github.io/