DIPARTIMENTO   DI   INFORMATICA
Università di Torino
THE GROUP'S LOGO
Research on "Semantics and Logics of Computation"
"Program analysis, synthesis, and transformation" group

Mario COPPO

Full professor
Dipartimento di Informatica,
Università di Torino,
Corso Svizzera 185, I-10149 Torino, Italy
Phone: +39 011 6706738
Fax: +39 011 751603
E-mail:  coppo at di dot unito dot it

RESEARCH:

  • Interests
    • Type systems
    • Program verification, analysis and transformation
    • Formal methods
  • Publications


DIDATTICA



[Group's HOME] [Research on "Semantics and Logics of Computation"] [Department's news and events] [Department's HOME]

Last update: Nov 12, 2003