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.