I have/am contributed/contributing to the following programs...

• "BSc/Hons Mathematics, Statistics and Computing", teaching Logic Pogramming and Artificial Intelligence (COM530J1) from 2004 to 2008.

· "M Sc Informatics", teaching

· Formal Desing and Verification (COM914J2) from 2007 to 2008.

• Intelligent Agents (COM836) during 2009.
• Reliable Software Development (COM914J1) from 2009 onwards.

· "BSc Hons CS, BEng Hons SE, BSc Hons ICT", teaching Natural Language Processing (COM578) from 2011 onwards.

In the past (UNS) I have thought the following subjects:

• Undergraduate-Level teaching:
• Theory of Computing [1994-2001] (included formal languages, automata theory, recursive functions, Petri nets and computability)
• Knowledge Based Systems [1995, ..., 1996]
• Dynamic Systems [1997, ..., 2001]
• Topics in Real Time Systems [2000, 2001]
• Postgraduate-Level teaching (Seminars and Courses):
• Temporal Logic (1999)
• Programming in Temporal Logic (1999)
• Formal Systems in Computer Science (1999, ..., 2001)
• Temporal Databases (2001)