Ullrich Hustadt

Address

Department of Computer Science
University of Liverpool
Liverpool L69 3BX
United Kingdom 		E-mail: U.Hustadt@csc.liv.ac.uk
Phone: +44 (0)151 79-54231
Mobile: +44 (0)151 79-47431
Fax: +44 (0)151 79-54235
Picture of Ullrich Hustadt

Qualifications

PhD in Computer Science, Universität des Saarlandes, November 1999.
Thesis: Resolution-Based Decision Procedures for Subclasses of First-Order Logic.
MSc in Computer Science, University of Dortmund, March 1991.
Thesis: Unifikation höherer Stufe. Techniken und Anwendungen.

Research

Professional Activities

Teaching

Administration