Strumenti personali

Soci Fondatori

Giovanni Coi

  • Nato a Mirano (VE) il 01.03.1962

  • Diplomato in Informatica Industriale a.s. 1980/81 presso ITIS "C.Zuccante" Mestre Venezia con la votazione di 60/60.

  • Consegue laurea in Scienze dell'Informazione presso l'Università degli Studi di Pisa, Facoltà di Scienze Matematiche Fisiche Chimiche e Naturali, con la votazione di 110/110 e lode nel dicembre 1987.

  • Cura la parte delle dispense universitarie relativa alla deduzione naturale per il corso di "Logica Matematica" tenuto dal Prof. G.Longo a.a. 1985/86 (in collaborazione con dott. Marco Padoan).

  • Tesi di Laurea in ambito Intelligenza Artificiale dal titolo "Generazione di testi in programmazione logica tramite sintassi astratte". Relatore Prof. Vincenzo Manca.

  • Consulente dal 1992 per l'area IT, applicazioni Intranet e database presso Consiglio Regionale del Veneto.

  • La mia PGP public key è qui

Marco Padoan

  • Nato a Venezia Lido il 20.05.1962

  • Diplomato in Informatica Industriale a.s. 1980/81 presso l'ITIS "C.Zuccante" Mestre Venezia con la votazione di 60/60.

  • Convocato dalla Scuola Normale Superiore di Pisa nel 1980 per seguire il corso di orientamento pre-universitario organizzato dalla Scuola a Cortona (AR).

  • Consegue laurea in Scienze dell'Informazione presso l'Università degli Studi di Pisa, Facoltà di Scienze Matematiche Fisiche Chimiche e Naturali, con la votazione di 110/110 e lode nel dicembre 1987.

  • Cura la parte delle dispense universitarie relativa alla deduzione naturale per il corso di "Logica Matematica" tenuto dal Prof. G.Longo a.a. 1985/86 (in collaborazione con dott. Giovanni Coi).

  • Tesi di Laurea in ambito Intelligenza Artificiale dal titolo "Generazione di testi in programmazione logica tramite sintassi astratte". Relatore Prof. Vincenzo Manca.

  • Docente a contratto Università di Padova corsi "basi di dati e sistemi informativi" modulo 1 e 2, corso di Laurea Informatica, Dipartimento di Matematica, dal 1998 al 2005.