Date: Tue, 14 Jan 1997 23:18:33 GMT Server: NCSA/1.5 Content-type: text/html My teaching activity

My teaching activity

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).