Faculty

Junior assistant professor (fixed-term)

keywords: Big Data, NoSQL Databases, Social Data Analysis, Trajectory Data Analysis, Precision Agriculture, Business

Associate Professor

Associate Professor

keywords: Terminal mobility architectures, Multi-layer simulation for IoT systems, Network load balancing, Energy consumption

Junior assistant professor (fixed-term)

keywords: Programming Languages, Process Algebras, Session Types, Choreographic Programming, Microservices, Dynamic Adaptability,

Senior assistant professor (fixed-term)

keywords: internet of things, cloud computing, smart city

Full Professor

keywords: Big Data, Data warehouse, Design process, Data Mining, Analytics, Social business intelligence, Opinion mining,

Full Professor

keywords: Models for the description of concurrent systems, Process algebras and Petri nets, Information-flow security,

Associate Professor

keywords: Temporal database, Schema versioning, Ontology versioning, E-government, E-health, Semantic web

Associate Professor

keywords: Artificial intelligence, Combinatorial decision making, Constraint programming, Optimization, Optimization and machine

Associate Professor

keywords: Multiparty sessions, Reversible languages, Process calculi, Service-oriented computing

Full Professor

keywords: programming languages, static analysis of programs, programming languages semantics, prototype implementations of

Associate Professor

keywords: Computer Vision, Pattern Recognition, Machine Learning, Deep Learning

Junior assistant professor (fixed-term)

keywords: Computer science education, Computational thinking, CS growth mindset, Transfer of learning, Creative computing,

Associate Professor

Associate Professor

keywords: numerical optimization methods, inverse problems in imaging, Deep learning in imaging applications, tomographic image

Associate Professor

keywords: Constraint programming, Operations research, Machine learning, Optimization