Our faculty

Data compression, computer science education, linear algebra, optimization.

computer science education, software engineering education

Edge artificial intelligence, online learning, age of information, approximation algorithms

Data management, parallel computing, algorithm engineering

Aspect-oriented software development, scalable system infrastructures, distributed virtualization

Software engineering, requirements engineering, computer-supported collaborative work, human-computer interaction, global software development

Software engineering, software architecture, requirements engineering, autonomous systems, information systems modernization, empirical methods

Cloud computing resource management, software defined networking, traffic management and quality-of-service, traffic engineering, performance evaluation and queueing theory of computer networks

Software engineering, software evolution, open source software development, and intellectual property

Graphics, agent-based modelling, crowd simulation, multi-agent reinforcement learning, deep learning, digital games, human computer interaction, human-centred design, artificial intelligence, augmented intelligence

Memory consistency for multiprocessor architecture, computational geometry, teaching concurrency, computer science education

Logic in computer science, cryptography, foundations of security, verification, computational complexity

Graph algorithms and data structures, randomized algorithms and probabilistic analysis, fault tolerant distributed computing

Human-computer interaction, interaction design, digital health, extended reality, affective computing.

Theoretical computer science, complexity theory, communication complexity, circuit complexity.

Explainable AI (XAI), graph neural networks (GNNs) and graph representation learning, reinforcement learning (RL) for reasoning, large language models (LLMs) toward artificial general intelligence (AGI)

Differential privacy variants and applications, differential privacy estimators, secure multiparty computation and collusion-preserving computation, rational cryptography, blockchain security under rational attackers

Computational complexity theory

Human-computer interaction, digital games, e-sports, affective computing, social computing and digital collaboration.

Medical image analysis, machine learning for healthcare, information retrieval, computer vision.

Machine learning theory

Software engineering, software evolution, autonomic computing, adoption-centric software engineering, software architecture, software reverse engineering, software reengineering, program understanding, visualization, and software engineering tool evaluation

Human-computer interaction, information visualization, design, user experience, typography, perception, cognition

Computational biology, bioinformatics, algorithms, data science, programming languages

Computer networks and distributed systems

Information visualization, personal visualization, human-computer interaction, interaction design, interactive technologies, data empowerment, collaborative interaction, sports visualization

Geometry processing, computer graphics, and numerical simulations

Human-computer interaction, interaction design, user experience, tangible and physical computing, tools for ‘making’, digital fabrication, accessibility, qualitative research, HCI for Development (HCI4D)

Data analytics, sensors, geomatics.

Computational biology, parameterized complexity, design of heuristics, graph theory, and cognitive psychology

Software engineering, human-computer interaction, information visualization, social informatics, knowledge management and computer-supported collaborative work

Database and knowledge-base systems (especially new data-models for the web and query processing for such models), graph theory, formal languages and their application to databases

Computer audition, audio signal processing, machine learning, music information retrieval, human computer interaction, computer assisted music education, music robotics and sensors

Software engineering, data and knowledge engineering, health informatics, graph transformation systems, reengineering, safety and security engineering.

Computer networks, wireless and mobile networking, mobile computing, network security