Courses

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

• KF5010 Operating Systems and Concurrency
• KV5002 Computer networks, security and operating systems
• KF6009 Model-based design and verification
• KF6010 Distributed real-time systems
• KF7046 Computer Network Implementation

Projects

I am available to supervise both BSc and MSc projects. 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 Science and Engineering

I am a member of the Department of Computer Science in the Faculty of Engineering and Environment and most of my teaching is concerned with Computer Science and Computer Engineering. The ACM provide curricula recommendations in these areas.

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