Main research interest is computer graphics. Also interested in model checking and verification of software systems.

Other research interests include machine learning algorithms. In particular investigating new algorithms for the learning of formal grammars from examples (Regular Inference).

Member of the Computer Graphics and Simulation Group (CGSG)

• CSA2207 Computer Graphics I Notes
  • An Overview
  • Maths
  • Transforms
  • Introduction to Sprites
  • Viewer Optics
  • Geometry Primitives
  • Geometry Transformation Pipeline
  • Shaders
  • Illumination
  • Texturing, Filtering and Sampling
  • Advanced Texturing
  • Acceleration Structures and Scene Representation
  • General Purpuse GPUs
  • Computer Vision - Part 1, Part 2
  • Physics Based Animation - Download Tutorial Examples Source
• CSA2207 Computer Graphics I Assignment (2012/2013) (Download Description)
• CSA2207 Computer Graphics I Assignment (2010/2011) (Download Description)
• CSA2207 Computer Graphics I Assignment (2009/2010) (Download Description)
• CSA2207 Computer Graphics Exam June 2010 (Download)
• CSA2200 Net Centric Computing (Download)
• CSA2181 A Graphics Abstraction with JAVA (Download)
• CSA2181 Software Engineering in Game Development (Download)
• CSA2010 Compiling Techniques Notes
  • Intro
  • Syntax-Directed Translation
  • Lexical Analysis
  • Syntax Analysis - Parsing
  • Brief Intro to Semantic Analysis and Runtime Environments
  • Intermediate Code
  • Strategies for Garbage Collection
  • Optimizing Compilers
  • GCC - The GNU Compiler Collection
• CPS2000,CPS2006 Compilers: Theory and Practice (2013/2014) Assignment (Download Description Download Toturial Slides)
• CPS2000,CPS2006 Compilers: Theory and Practice (2013/2014) Assignment (Notes on Hand Crafting a Lexer)
• CPS2000,CPS2006 Compilers: Theory and Practice (2013/2014) Assignment (Notes on Hand Crafting a Parser)
• CSA2201 Compiling Techniques Assignment (2012/2013) (Download Description, Expressions Grammar File, Evaluate Visitor Class)
• CSA2201 Compiling Techniques Assignment (2011/2012) (Download Description, Download JavaCC Slides, Download Stack-Machine VM Slides, Download Stack-Machine VM Executable)
• CSA2201 Compiling Techniques Assignment (2010/2011) (Download Description, Download Tutorial Slides)
• CSA2201 Compiling Techniques Assignment (2009/2010) (Download Description, Download Tutorial 1, Download Tutorial 2)
• CSA2010 Compiling Techniques Assignment (2008/2009) (Download Description)
• CSA2010 Compiling Techniques Assignment (2007/2008) - Deadline January 18th 2008 (Download Description)
• SAT Solver Applied Practical Task (2005/2006) (9x9Example1, 9x9Example2, 4x4Example1, 4x4Example2)
• Alliances Applied Practical Task (2004/2005) (Game Rules)
• CSA3030 Graphics Assignment (2004/2005) (Description)
• CSA3030 Graphics Assignment (2005/2006) (Description)
• CSA3030 Graphics Assignment (2006/2007) (Description)
• CSA3030 Computer Graphics (Old Course) Notes (Download)
• CSA3220 Expert Systems Notes (Download)
• CSA3220 SAT Solvers - Expert Systems Notes (Download)
• CSA4070 Grammatical Inference Notes (Download)
• CSA4070 Grammatical Inference Notes (Chapters 2,3,4,5) (Download)
• BIT1010 Historical and Social Aspects of ICT (History of Computer Graphics)

• AI as Representation and Search (Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5, Lecture 6)
• AI as Representation and Search - Assignment 2008/2009 (Download)