معرفی
Dr Ullrich Hustadt is a Professor in the Department of Computer Science within the School of Electrical Engineering, Electronics and Computer Science at the University of Liverpool, where he has been a faculty member since 2001. His academic career spans over two decades with significant contributions to logical reasoning systems.
His research focuses on Automated Reasoning, particularly in Modal and Temporal Logics, Knowledge Representation, and Web Ontology Languages. His work includes the design and analysis of theorem provers, development of decision procedures, and practical reasoning approaches for web ontologies and multi-agent systems. Recent research has centered on efficient reductions for modal logics and their applications in knowledge representation.
Hustadt's publication record shows consistent output in top venues for automated reasoning, with a clear trend toward optimizing modal logic reasoning techniques. His most recent work examines model construction, local reductions, and efficiency improvements across the modal cube framework, demonstrating both theoretical depth and practical implementation focus.
Hustadt has secured significant research funding including multiple grants from the ENGINEERING & PHYSICAL SCIENCES RESEARCH COUNCIL (EPSRC) for projects spanning temporal representation, knowledge reasoning, and web ontology development. His professional service includes extensive program committee work for major conferences including IJCAR, IJCAI, ECAI, and specialized workshops on description logics and theorem proving.
As an educator, Hustadt teaches programming languages with emphasis on JavaScript and PHP for web development courses (COMP284 and COMP519), and has taught multiple computer science modules including Complex Information Networks, Database Development, and Multi-Agent Systems. He serves as Module Co-ordinator for key programming courses and has examination responsibilities for postgraduate programs.
