Home topBanner.jpg
 
| dove siamodove siamo | | telefono emailtelefono email | |   | Italiano English ? |
map map
 
*Offerta formativa *Persone *Organi collegiali e di governo *Segreterie e strutture di servizio
*Primo piano *Avvisi *Seminari *Biblioteche
Home Ateneo 
Home 
 
Persone
* Docenti
 
* Professore ordinario
* Professore associato
* Professore aggregato
* Ricercatore
* Professore a contratto
* Professore di altro ateneo
* Professore supplente
* Ricercatore a tempo determinato
* Cultore della materia
* Personale tecnico-amministrativo
* Rappresentanti degli studenti
 
|
 
Andrea Masini
I contenuti di questa pagina sono di responsabilità della persona: Andrea Masini
In caso di assenza rivolgersi alla struttura:   Scienze matematiche fisiche e naturali
Pagine collegate
*
*
*
*
*
Orario di ricevimento
Orario di ricevimento 		Insegnamenti
Insegnamenti 		Ricerca
Ricerca 		Prodotti della ricerca
Prodotti della ricerca

foto 2010, 12 aprile 2010
Qualifica Professore ordinario  
Dipartimento di afferenza Informatica
Settore disciplinare INF/01 - INFORMATICA
_
Ufficio Ca' Vignal 2, piano 1, stanza 76
Telefono 045 802 7922  
Fax 045 802 7068  
E-mail andrea|masini*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale http://www.facebook.com/andrea.masini.5811 


Orario di ricevimento

attenzione al nuovo orario di ricevimento!
Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 76 venerdì  14.00 - 16.00

Insegnamenti degli ultimi due anni accademici
Nome Consistenza dell'insegnamento Crediti del docente Online Moduli svolti da questo docente
Fondamenti  (2012/2013)   12 CFU 6 CFU   LOGICA
Logica e matematica discreta  (2012/2013)   6 CFU 6 CFU  
Fondamenti  (2011/2012)   12 CFU 6 CFU   LOGICA
Logica e matematica discreta  (2011/2012)   6 CFU 6 CFU  
CFU = Crediti formativi universitari
Inizio pagina

Aree di ricerca
Nome Argomento
Models of computation Computability
Logic Lambda Calculus
Logic modal and temporal logics
Logic proof theory, Linear logic, Type theory
Models of computation Quantum computation theory

Prodotti della ricerca

_
Anno
Tipologia prodotto
Numero prodotti per pagina pubblicazioni su 32 totali
_
 
Inizio pagina
strada le Grazie 15 I-37134 Verona Italy   Copyright © 2002-2004 Università degli Studi di Verona.  Informazioni sul sito