Faculty

Associate Professor

Associate Professor

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

Fixed-term Researcher in Tenure Track L. 79/2022

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

Full Professor

keywords: Architectural and programmability aspects of the Internet of Things (IoT), Service-oriented IoT architectures, IoT edge

Associate Professor

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

Associate Professor

keywords: Quantum computing, Reversible languages, Multiparty sessions, 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

keywords: Data mining, Machine learning, Big data analytics, Data science, Quantum Machine Learning

Full 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