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
 
|
 
Maria Paola Bonacina
I contenuti di questa pagina sono di responsabilità della persona: Maria Paola Bonacina
In caso di assenza rivolgersi alla struttura:   Scienze matematiche fisiche e naturali
Pagine collegate
*
*
*
*
*
Curriculum Vitae
Curriculum Vitae 		Orario di ricevimento
Orario di ricevimento 		Insegnamenti
Insegnamenti 		Ricerca
Ricerca 		Prodotti della ricerca
Prodotti della ricerca

MariaPaola, 19 ottobre 2012
Qualifica Professore ordinario  
Dipartimento di afferenza Informatica
Settore disciplinare INF/01 - INFORMATICA
_
Ufficio Ca' Vignal 2, piano 1, stanza 73
Telefono +39 045 802 7046  
Fax +39 045 802 7068  
E-mail mariapaola|bonacina*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale http://profs.sci.univr.it/~bonacina 
Skype My status
_
Preside vicaria   Scienze matematiche fisiche e naturali
Incarichi Istituzionali rappresentante ordinari - SENATO ACCADEMICO

Curriculum 
Titolo Formato (Lingua, Dimensione, Data pubblicazione)
Curriculum vitae  pdf pdf (en, 190,692 KB, 20/05/13)

Orario di ricevimento
Luogo Giorno Orario
Ca' Vignal 2, piano 1, stanza 73 giovedì  14.30 - 16.30

Insegnamenti degli ultimi due anni accademici
Nome Consistenza dell'insegnamento Crediti del docente Online Moduli svolti da questo docente
Algoritmi  (2012/2013)   12 CFU 6 CFU   ALGORITMI PER BIOINFORMATICA
Ragionamento automatico  (2012/2013)   6 CFU 6 CFU  
Verifica automatica di programmi  (2012/2013)   6 CFU 6 CFU  
Algoritmi  (2011/2012)   12 CFU 6 CFU   ALGORITMI PER BIOINFORMATICA
Ragionamento automatico  (2011/2012)   6 CFU 6 CFU  
Verifica automatica di programmi  (2011/2012)   6 CFU 6 CFU  
CFU = Crediti formativi universitari
Inizio pagina
Attività didattiche avanzate
Nome
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26° Ciclo - Dottorato in Informatica)
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26 ciclo Dottorato in Neuroscienze - Dottorato in Neuroscienze)
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26° Ciclo - Dottorato in Imaging Multimodale in Biomedicina)
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26° Ciclo Dottorato in Scienze Psicologiche e Psichiatriche - Dottorato in Scienze Psicologiche e Psichiatriche)
Inizio pagina

Aree di ricerca
Nome Argomento
Artificial intelligence Ragionamento automatico
Logic Verifica del software

Prodotti della ricerca

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