Silvia Crafa

logo Pd
Dipartimento di Matematica
Università di Padova
Via Trieste 63, 35121 Padova, Italy

Phone: +39-049-827.1490
Fax: +39-049-827.1499

Research  Interests

   Types for protocol-oriented programming. CobaltBlue: a tool for (TypeState-)checking that concurrent objects are used according to their protocol.
   Epistemic aspects of computer science
   Comparative programming language analysis
   Concurrent programming languages
   Concurrency theory: True Concurrency.
   Mobile concurrent systems: semantics, type systems, security issues.
   Types for Object Oriented Languages.

Current Scientific Activities

   Programme Committee of PLACES 2017: Programming Language Approaches to Concurrency- and Communication-cEntric Software
   Publicity Chair of ECOOP 2017.
   Speaker at Curry On 2016.
   Programme Committee of 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016 - Track B)

   Member of the IFIP WG 1.8 on Concurrency Theory.



        Programmazione Concorrente e Distribuita          

        Aspetti avanzati dei linguaggi di programmazione