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