Ullrich Hustadt

About Position Reader             Address School of Computer Science and Informatics University of Liverpool Liverpool L69 3BX United Kingdom             Contact Details E-mail: U.Hustadt@liverpool.ac.uk Phone: +44 151 79-54231 Mobile: +44 7970 24 7431 Fax: +44 151 79-54235
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 Research interests Papers and Publications Project involvement Software	Professional Activities Scientific initiatives Scientific meetings	Teaching COMP284 COMP519 Supervision of BSc Projects Supervision of MSc Projects	Administration Duties