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
Google


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 2014-11-04