Supervisors for projects and theses: Difference between revisions
No edit summary |
|||
Line 33: | Line 33: | ||
=== Carsten Schürmann === | === 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. | 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. | |||
=== Christian Østergaard Madsen === | === Christian Østergaard Madsen === | ||
Line 81: | Line 84: | ||
Website: [http://www.barkhu.us www.barkhu.us] | Website: [http://www.barkhu.us www.barkhu.us] | ||
=== Luca Aiello === | |||
Network science. | |||
=== Marco Carbone === | === Marco Carbone === | ||
Line 210: | Line 216: | ||
[mailto:vsek@itu.dk '''Email'''], [https://vedransekara.github.io/ '''Website'''], [https://twitter.com/vedransekara '''Twitter'''], | [mailto:vsek@itu.dk '''Email'''], [https://vedransekara.github.io/ '''Website'''], [https://twitter.com/vedransekara '''Twitter'''], | ||
=== Veronika Cheplygina === | |||
Data science, medical image analysis, science communication. | |||
=== Willard Rafnsson === | === Willard Rafnsson === |
Revision as of 07:39, 9 December 2020
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.
Alessandro Bruni
Security, protocols, protocol analysis, formal verification, logics, ethical hacking, electronic voting, IoT
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
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.
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.
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
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
Network science.
Marco Carbone
Programming Languages, Concurrency, Distributed Systems, Formal Models
Current topics: Software as a Medical Device, Formal Models for Risk Management, Adding Session Types to a mainstream Programming Language; Mechanising Session Types in Coq.
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
Urban Data Science, Network Science, Bicycle Networks and Infrastructure, Human Mobility, Sustainable Urban Transport, Social Networks, Computational Social Science.
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.
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 Pagh
Algorithms.
Rasmus Ejlers Møgelberg
Programming languages, logic, semantics. Dependent types.
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, Science of Science, Science of Success.
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.
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.
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
Veronika Cheplygina
Data science, medical image analysis, science communication.
Willard Rafnsson
Security, programming languages, program analysis, verification.
Homepage, Project ideas, 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/