Skip to main content
What types of page to search?

Popular pages: Undergraduate Postgraduate PhD Accommodation Research International students

Alternatively use our A-Z index.
Ullrich Hustadt

Dr Ullrich Hustadt
Dr

Reader
Computer Science
Part of
School of Electrical Engineering, Electronics and Computer Science
Faculty of Science and Engineering

Contact

U.Hustadt@liverpool.ac.uk

http://cgi.csc.liv.ac.uk/~ullrich

+44 (0)151 795 4231

Professional Activities

Editorships

  • 5th International Joint Conference on Automated Reasoning (Programme Committee (Member), 2010)
  • 5th International Joint Conference on Automated Reasoning (Programme Committee (Member), 2010)
  • 23rd International Workshop on Description Logics (DL2010) (Programme Committee (Member), 2010)
  • 21st International Joint Conference on Artificial Intelligence (IJCAI-09) (Programme Committee (Member), 2009)
  • 16th International Symposium on Temporal Representation and Reasoning (TIME-2009) (Programme Committee (Member), 2009)
  • 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 2009 (Programme Committee (Member), 2009)
  • Automated Reasoning Workshop (ARW 2009) (Organising Committee, 2009)
  • Automated Reasoning Workshop (ARW 2009) (Programme Committee (Member), 2009)
  • 7th International Workshop on First-Order Theorem Proving (FTP 2009) (Programme Committee (Member), 2009)
  • 22nd International Conference on Automated Deduction (CADE-22) (Programme Committee (Member), 2009)
  • 18th European Conference on Artificial Intelligence (ECAI 2008) (Programme Committee (Member), 2008)
  • 21st International Workshop on Description Logics (DL2008) (Programme Committee (Member), 2008)
  • 7th International Workshop on the Implementation of Logics (IWIL 2008) (Programme Committee (Member), 2008)
  • Twenty-Third AAAI Conference on Artificial Intelligence (Programme Committee (Member), 2008)
  • Special issue of the Annals of Mathematics and Artificial Intelligence on First-Order Theorem Provin (Guest Editor, 2008 - 2009)
  • 6th International Workshop on First-Order Theorem Proving (FTP 2007) (Local Organising Committee, 2007)
  • 6th International Workshop on First-Order Theorem Proving (FTP 2007) (Programme Committee (Member), 2007)
  • 20th Joint Conference on Artificial Intelligence (AI07) (Programme Committee (Member), 2007)
  • First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-06) (Programme Committee (Member), 2006)
  • International Workshops on First-Order Theorem Proving (FTP) (Steering Committee (President), 2006 - present)
  • 13th Workshop on Automated Reasoning 2006 (Organising Committee (Member), 2006)
  • Workshop on Logic for Automated Reasoning and Automated Reasoning for Logic (LARARL '06) (Programme Committee (Member), 2006)
  • Twenty-First National Conference on Artificial Intelligence (AAAI-06) (Programme Committee (Member), 2006)
  • International Workshops on First-Order Theorem Proving (FTP) (Steering Committee (Member), 2005 - present)
  • 12th Workshop on Automated Reasoning 2005 (Organising Committee (Member), 2005)
  • Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005) (Programme Committee (Member), 2005)

Examination Roles

  • University of the Witwatersrand, Johannesburg, South Africa, MSc (PGT, 2010)
  • University of Manchester, PhD (2007)
  • University of Manchester, PhD (2006)

Organisations I have been associated with

  • University of Liverpool (2001 - present)

Professional Body Memberships

  • British Computer Society (Member, 2013 - present)

Other Administrative or Committee Roles

  • Bilgi Link Tutor for Computer Science
  • Member of the Instanbul Bilgi University Working Group
  • Member of the University Assessment Appeals Committee