http://www.cs.uiowa.edu/~bonacina/teaching.html I teach classes in Artificial Intelligence and in Programming Languages.
When I teach Artificial Intelligence, I am mostly interested in teaching methods for automated reasoning and their logical foundations.
In Programming Languages, the emphasis is on functional programming, logic programming and their foundations in lambda-calculus, denotational semantics and automated deduction.
Since the computational mechanism in functional programming is a form of equational reasoning and the computational mechanism in logic programming is a form of deduction in Horn logic, the common theme of the automation of deduction underlies both my research and teaching activities.

List of classes:

A few useful links


This page was last updated on Monday, 13-May-96 11:45:05 CDT by Maria Paola Bonacina (bonacina@cs.uiowa.edu).