Faculty Home topBanner_en.jpg
 
| where to find uswhere to find us | | telephone e-mailtelephone e-mail | |   | Italiano English ? |
map map
 
*Education *People *Collegial bodies *Offices and service facilities
*News & Events *News *Seminars *Libraries
University Home 
Faculty Home 
 
Persons
* Professors and Lecturers
 
* Full Professor
* Associate Professor
* Temporary Professor
* Assistant Professor
* Adjunct professor
* Adjunct Professors
* Professor from another University
* Ricercatore a tempo determinato
* Subject Expert
* Technical-administrative staff
* Students Representatives
 
|
 
Maria Paola Bonacina
The contents of this page are the responsibility of the person: Maria Paola Bonacina
In caso di assenza rivolgersi alla struttura: Faculty Mathematical, Physical and Natural Sciences
Links
*
*
*
*
*
Curriculum Vitae
Curriculum Vitae 		Office hours
Office hours 		Courses
Courses 		Research
Research 		Research products
Research products

MariaPaola, October 19, 2012
Qualification Full Professor  
Department  Computer Science
Disciplinary sector INF/01 - Computing
_
Office Ca' Vignal 2, floor 1, room 73
Telephone +39 045 802 7046  
Fax +39 045 802 7068  
E-mail mariapaola|bonacina*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page http://profs.sci.univr.it/~bonacina 
Skype My status
_
Associate Dean Faculty of Mathematical, Physical and Natural Sciences
Istitutional duties full prof. representative - SENATO ACCADEMICO

Curriculum 
Title Format (Language, Size, Publication date)
Curriculum vitae  pdf pdf (en, 190.692 KB, 5/20/13)

Office hours
Place day Timetable
Ca' Vignal 2, floor 1, room 73 Thursday  2:30 PM - 4:30 PM

Teachings in the last two academic years
Name Total credits Teacher credits E-lrng Modules offered by this teacher
Algorithms  (2012/2013)   12 CFU 6 CFU   ALGORITMI PER BIOINFORMATICA
Automated program verification  (2012/2013)   6 CFU 6 CFU  
Automatic reasoning  (2012/2013)   6 CFU 6 CFU  
Algorithms  (2011/2012)   12 CFU 6 CFU   ALGORITMI PER BIOINFORMATICA
Automated program verification  (2011/2012)   6 CFU 6 CFU  
Automatic reasoning  (2011/2012)   6 CFU 6 CFU  
CFU = University Training Credits
Top
Advanced teaching activities
Name
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26° Ciclo - PhD Program in Computer Science)
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26 ciclo Dottorato in Neuroscienze - PhD Program in Neuroscience)
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26° Ciclo - PhD program in Multimodal Imaging in Biomedicine)
Corso "Special Topics in Artificial Intelligence - Theorem Proving for Program Analysis/Synthesis" (26° Ciclo Dottorato in Scienze Psicologiche e Psichiatriche - PhD Program in Psychological and Psychiatric Sciences)
Top

Research areas
Name Skill
Artificial intelligence Automated Reasoning
Logic Software Verification

Research products

_
Year
Type of research product
Number of research products per page publications on 85 total
_
 
Top
strada le Grazie 15 I-37134 Verona Italy   Copyright © 2002-2004 University of Verona.  Site information