My teaching interests include: artificial intelligence, formal specification, semantic web, logic and algebra, theory of computation, language processing, logic programming, functional programming, principles/semantics of programming languages, concurrent systems, software metrics, software engineering environments.
This book is now out-of-print so the copyright is back with the authors- hence I'm putting the pre-print version online. This is a comprehensive textbook on formal specification, including VDM, algebraic specifications, with sections on the meaning of abstract data types, discrete maths, prototyping in Prolog, neural networks and automated planning specifications and prototypes. Apologies for any pre-print mistakes. You can download it in pdf format.
CIS 2380 - Language Translators
CHA 2555 - Artificial Intelligence
CHA 2326 - Formal Aspects of Computer Science
CHA 2545 - Language Specification and Implementation
CHP 2524 - Undergraduate Projects
CMP 3265 - MSc Professional and Research Issues
CIS 2380 - Operating Systems and Languages Translators
CAM 326 - Maths for Software Engineering