Silvia Crafa

Dipartimento di Matematica Pura e Applicata Università di Padova Via Trieste 63, 35121 Padova, Italy Phone: +39-049-827.1490 Fax: +39-049-827.1499 Email:

Research  Interests

   Concurrency Theory: True Concurrency.
   Mobile Concurrent Systems: semantics, type systems, security issues.
   Types for Object Oriented Languages.

Current Scientific Activities

Publications

Didattica