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
Email:
   

Research  Interests

   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

   Speaker at Curry On 2016.
   Programme Committee of 43rd International Colloquium on Automata, Languages and Programming (ICALP 2016 - Track B)
   Publicity Chair of ECOOP 2017.


   Member of the IFIP WG 1.8 on Concurrency Theory.


Publications


Didattica

        Linguaggi di programmazione avanzati





canova6


canova4