Personal

"Work hard, play hard!"

• Curriculum Vitae

• Public Key

• Activities

  • Rock Climbing(Trad), Ice/Mixed Climbing, Mountaineering, Fell Running (Mountain Marathon), Hiking, Trekking, Foraging, Swimming, Cycling

• Interests:
  • Travel, Reading, Cooking, Gardening

Academic

Research Interests

• Artificial Intelligence:
  • Symbolic based:
    • Automated Reasoning: Deductive, Abductive, Inductive, Speculative
    • Automated Planning and Scheduling
  • Non-symbolic based:
    • Machine Learning and Neural Computation
    • Computer and Robotics Vision
• Distributed Systems:
  • Network Security and Protocols
  • Policy-based Management Systems

Current Teaching/Helping:

• Access to CATE

• Past:

  • Helper for the MRes Research Seminar Course (Spring Term 2011/2012)

  • Co-Lecturer for Introduction to Prolog (Autumn Term 2011/2012)

  • Course Support Leader for Programming II - Java (Spring Term 2011/2012)

  • Software Engineering - Design (Autumn Term 2010/2011)

  • Distributed Systems (Autumn Term 2010/2011)

  • Distributed Algorithms (Spring Term 2010/2011)

  • Logic and AI Programming (Autumn Term 2009/2010)

  • Cognitive Robotics (Spring Term 2009/2010)

  • Multi-agent Systems (Autumn Term 2008/2009)

  • Object Oriented Programming (Spring Term 2008/2009)

  • Reasoning about Programs (Spring Term 2008/2009)

  • Introduction to Artificial Intelligence (Spring Term 2007/2008)

Others

Software

• Abductive Reasoning Module for SICStus Prolog

Project Links

• International Technology Alliance in Network and Information Sciences (ITA)

CategoryHomepage, CategoryPeople