Ferruccio Guidi

a picture of me

My Contacts

Voice: +39 051 209 4849. Fax: +39 051 209 4983

My Curriculum

My Current Position

My Main Research Interests

My Papers

My Developments

My Teaching (in Italian)

My Favorite Quotes

Debian GNU Linux  Caml programming language  HELM project  Matita proof assistant  World Wide Web Consortium  [Coq proof assistant]  Whole platform  On-Line Encyclopedia of Integer Sequences

Valid HTML 4.01 Transitional

This page is encoded with the UTF-8 character set

This page was created on 1999-01-08, the last update was on 2012-12-02