© JC Augusto 11/11/2011

Teaching Experience

My experience teaching spans for more than two decades, where I have taught a wide range of subjects for undergraduate and postgraduate students.

Current Teaching (Department of Computer Science, Middlesex University, UK) at undergraduate Level: final year module "Current Topics in Computer Science" (2012-2016), and "Introduction to Ubiquitous Computing" (2017,...). At postgraduate level I lead the AAL MSc by Research as well as guiding PhD students.

Previously:

  • Undergraduate-Level teaching:

Natural Language Processing (COM578) [2011, 2012]

Logic Pogramming and Artificial Intelligence (COM530J1) [2004, ... ,2008]

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:

Reliable Software Development (COM914J1) [2009, ... ,2012]

Intelligent Agents (COM836) [2009]

Formal Design and Verification (COM914J2) [2007, 2008]

Temporal Logic [1999]

Programming in Temporal Logic [1999]

Formal Systems in Computer Science [1999, ..., 2001]

Temporal Databases [2001]