Contact information
position associate professor
at Università di Torino
Dipartimento di Informatica
address Corso Svizzera 185
10149 Torino
Italy
show on map
office 7 ex lab
e-mail
phone +39 011 670 6777
Skype CALL CHAT ADD
DBLP publications
Scholar citations
Recent updates

4 jan 2017 The paper Context-Free Session Type Inference has been accepted at ESOP'17. I'm serving as a PC member in PLACES'17.

2 nov 2016 I'm serving as a PC member in ICALP'17 track B (Logic, Semantics, Automata and Theory of Programming).

25 oct 2016 The paper A Simple Library Implementation of Binary Sessions, detailing the internals of FuSe, has been accepted in the Journal of Functional Programming.

21 jul 2016 The state-of-the-art report for WG3 of BETTY has been published in Foundations and Trends in Programming Languages.

Research More

My research focuses on programming languages, type systems, concurrency theory, distributed computing.

I'm the coordinator of the FORMS research group at Dipartimento di Informatica, Università di Torino.

I chaired the Working Group on Programming Languages in the ICT COST Action IC1201 BETTY.

Publications More

Software More

FuSe: a lightweight OCaml implementation of binary sessions. It supports delegation, equi-recursive, polymorphic, context-free session types, session subtyping, and allows the OCaml compiler to perform session type checking and inference.

Hypha: a type reconstruction tool for the linear π-calculus featuring linearity analysis on composite regular types, session type reconstruction, deadlock and lock freedom analysis.

Insegnamento it Altro

Corso di Laurea in Informatica

Il ricevimento studenti avviene su appuntamento previa richiesta via e-mail.

Attività istituzionali it

Open Access (referente Dipartimento di Informatica)

Risorse bibliografiche (membro commissione)

Studenti collaboratori (membro commissione)

Arturo
Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Tue, 17 Jan 2017.Flag Counter