A new web page for the Computational Logic Center at U. Iowa
is on its way.
Until then, papers may be found here.
Also, web pages from when my group was
at Washington U. in St. Louis are here.
C. V. (last updated December 2007)
Research interests: automated reasoning, computational logic,
and programming languages theory.
Professional positions: