Fabrizio Montesi

Fabrizio Montesi

Professor of Computer Science, University of Southern Denmark
Verified email at imada.sdu.dk
Cited by 4526
Programming Languages Choreographic Programming Concurrency Theory Microservices Session Types
Saverio Giallorenzo

Saverio Giallorenzo

Assistant Professor at Department of Computer Science and Engineering, Università di …
Verified email at unibo.it
Cited by 2693
Programming Languages Choreographic Programming Microservices Serverless Security
Larisa Safina

Larisa Safina

Researcher, INRIA
Verified email at inria.fr
Cited by 2202
Programming Languages Choreographic Programming Microservices
Jacopo Mauro

Jacopo Mauro

University of Southern Denmark
Verified email at imada.sdu.dk
Cited by 1494
Optimization DevOps Choreographic Programming Formal Methods Cybersecurity
Luís Cruz-Filipe

Luís Cruz-Filipe

University of Southern Denmark
Verified email at imada.sdu.dk
Cited by 1296
Logic Theorem Proving Concurrency Theory Choreographic Programming Artificial Intelligence
Marco Peressotti

Marco Peressotti

University of Southern Denmark
Verified email at imada.sdu.dk
Cited by 594
Programming Languages Concurrency Theory Distributed Systems Universal Coalgebras Choreographic Programming
Eva Graversen

Eva Graversen

PostDoc, Department of Mathematics and Computer Science University of Southern …
Verified email at imada.sdu.dk
Cited by 99
Concurrency Reversible Computing Choreographic Programming Programming Languages Process Calculi
Andrew K. Hirsch

Andrew K. Hirsch

University at Buffalo, SUNY
Verified email at buffalo.edu
Cited by 81
choreographic programming proof theory type systems authorization information flow
Gan Shen

Gan Shen

University of California, Santa Cruz
Verified email at ucsc.edu
Cited by 25
programming languages functional programming choreographic programming