People

Robin Kaarsgaard
Assistant Professor (Tenure Track)
Website
E-mail
Phone
Ø14-602b-1
ACP Pubs
ORCID
DBLP
Scholar
Github
Twitter
LinkedIn

Research Topics: Quantum Computing Programming Languages Applied Category Theory Semantics Logic
Jacopo Mauro
Professor
Website
E-mail
Phone
Ø13-604a-2
ACP Pubs
ORCID
DBLP
Scholar
Github
Twitter
LinkedIn

Research Topics: Optimization Formal Methods Cloud Computing Service-oriented Computing Concurrent Languages Ai Planning Machine Learning
Peter Mayer
Assistant Professor (Tenure Track)
E-mail
Phone
Ø14-602a-1
ACP Pubs
ORCID
Scholar
Github

Research Topics: Usable Authentication Password Managers Security Awareness Email Security Notifications
Fabrizio Montesi
Professor, Head of Section
Website
E-mail
Phone
Ø16-603a-2
ACP Pubs
ORCID
DBLP
Scholar
Github
Twitter
LinkedIn

Research Topics: Choreographic Programming Concurrency Jolie Microservices Programming Languages Session Types
Ruben Niederhagen
Associate Professor
Website
E-mail
Phone
ACP Pubs
DBLP
Scholar
LinkedIn

Research Topics: Post-quantum Cryptography Cryptographic Engineering Embedded Security
Marco Peressotti
Associate Professor
Website
E-mail
Phone
Ø16-601a-2
ACP Pubs
ORCID
DBLP
Scholar
Github
Twitter
LinkedIn

Research Topics: Concurrency Programming Languages Formal Methods Coalgebras Quantitative Semantics Session Types
Marco Prandini
Adjunct Professor
Website
E-mail
ACP Pubs

Research Topics: Security E-voting Software-defined Networking
Eva Graversen
Post-doctoral Researcher
E-mail
Phone
Ø9-601b-2
ACP Pubs
DBLP
Github

Research Topics: Choreographic Programming Concurrency Reversible Computing
Dan Plyukhin
Post-doctoral Researcher
Website
E-mail
Phone
ACP Pubs
DBLP
Scholar
Github
Twitter

Research Topics: Choreographic Programming Actor Model Cloud Computing Programming Languages
Judith Kankam-Boateng
PhD Student
E-mail
Ø9-602a-2
ACP Pubs

Research Topics: Cybersecurity
Sofia Kostopoulou
PhD Student
E-mail
Ø9-602a-2
ACP Pubs
LinkedIn

Research Topics: Jolie Microservices Artificial Intelligence Data Analytics
Lovro Lugović
PhD Student
E-mail
Ø9-602a-2
ACP Pubs
Github

Research Topics: Programming Languages Choreographic Programming
Valentino Picotti
PhD Student
E-mail
Ø9-602a-2
ACP Pubs
Github

Research Topics: Microservices Choreographic Programming Programming Languages
Narongrit Unwerawattana
Scientific Software Developer
E-mail
Ø9-601b-2
ACP Pubs
Github

Research Topics: Jolie Microservices
Jonas Vistrup
PhD Student
E-mail
Ø9-601b-2
ACP Pubs
LinkedIn

Research Topics: Artificial Intelligence Logic Programming

Research Associates

Claudio Guidi
Executive chairman at italianaSoftware Srl
Balint Maschio
Analyst programmer at IT Monrif SpA

Alumni

Larisa Safina
Former PhD Student
E-mail
DBLP
Scholar
Github
LinkedIn

Research Topics: Microservices Choreographic Programming

Former Members

Luís Cruz-Filipe
Website
E-mail
ORCID
DBLP
Scholar
Github
LinkedIn

Research Topics: Choreographic Programming Theorem Proving Data Consistency
Matteo Acclavio
Website
E-mail
DBLP
Scholar
Github

Research Topics: Proof Theory Logic Concurrency Program Equivalence Formal Methods
Saverio Giallorenzo
Website
E-mail
ORCID
DBLP
Scholar
Github
Twitter
LinkedIn

Research Topics: Adaptation Choreographic Programming Microservices Security Smart Cities Internet Of Things

Open Positions

Current Positions

Past calls

  • PhD Position in User-Centred Security, deadline: Oct 26, 2023
  • Postdoc Position in User-Centred Security, deadline: Oct 26, 2023
  • Assistant Professor Positions in Programming Languages and Systems, deadline: Aug 14, 2023
  • Assistant Professor Positions in Computer Science with Focus on Artificial Intelligence, deadline: Aug 14, 2023
  • Postdoc in Programming Languages, deadline: May 22, 2022
  • Assistant Professor in Computer Science, deadline: Feb 15, 2022
  • Postdoc in Programming Languages, deadline: Aug 05, 2020
  • PhD positions in Programming Languages, deadline: Aug 05, 2020
  • Assistant Professor in Computer Science, deadline: May 30, 2020
  • Assistant Professor in Computer Science, deadline: Oct 11, 2019
  • Associate Professor in Computer Science, deadline: Sep 09, 2019
  • Post-doctoral Researcher in Computer Science, deadline: Jul 22, 2019
  • Post-doctoral Researcher in Computer Science, deadline: Oct 29, 2018