Courses

I teach courses in formal methods, embedded systems, networking and programming. Previously, I have taught courses in operating systems and compiler construction. Here is a (partial) list of my current courses:

• CM0604 Embedded Systems Specification and Design
• CM0605 Embedded Systems Engineering
• EN0572 Operating Systems and Concurrency
• EN0710 Computer Networking

Projects

I am available to supervise both BSc and MSc projects (not 2011-12). I am happy to discuss any project ideas in the areas of my current, or previous, courses. Preferably, I will supervise students who wish to choose one of the projects from my list of BSc and MSc Projects.

Computer Engineering

I am a member of the Computer Engineering division and most of my teaching is in this subject area. There is an IEEE/ACM report on a Computer Engineering curriculum (local copy) and a report on a curriculum for Embedded Systems Engineering (local copy).

Other useful ACM curricula reports can be found here.

Academic Links

Key dates for the academic year at Northumbria University are available in the Academic Calendar

There are documents relating to University regulations on assessment of taught programmes

LaTeX template for CEIS examinations

There is a LaTeX style file that can be used for more or less satisfying the peculiar requirements of the CEIS examination paper format. Download and unpack one of the following archives and follow the instructions in the README file: [TGZ] [ZIP].