I am a Teaching Associate for the Hardware Group at the Computer Laboratory, University of Cambridge, working on a web-based tutorial for the second year ECAD labs . Click here to access the tutorial so far. This tutorial has interactive programming pages with an explainer to interpret compiler messages and give hints, and a Verilog Google-style searcher to find relevant help pages to provide support in solving compilation errors. You can also ask questions in English which directly query the ontology underlying the web tutorial. If you are not a member of the University of Cambridge and would like a login set up, please contact intelligent-verilog@cl.cam.ac.uk.

I am Director of Studies (academic tutor) at Pembroke College , Cambridge and Newnham College , Cambridge. Here are the supervision arrangements for both colleges. The courses that I supervise at present are Software Engineering and Design, Natural Language Processing, Comparative Programming Languages, Databases and Artificial Intelligence 1. I am also happy to work with Part 2 students looking to do their project in any of these areas.

Before coming to Cambridge, I worked for Logica The projects I worked on were mostly in the commercial large database development and design. We tried out software engineering and project management techniques that now form part of UK and ISO standards. In 1990, in the days when video on computers was still a dream, we worked with the Department of Transport to link a video disk player into a mainframe terminal to match a database of roads with the appropriate video stills. This project was shown on Tomorrow's World. I also worked on Human Computer Interaction and Logic Programming projects at Logica's research office in Cambridge.

Publications

Posters

Taylor K, Moore S My Compiler really understands me: An Adaptive Programming Language Tutor 4th International Conference on Adaptive Hypermedia & Adaptive Web-based Systems June 20-23 2006

Workshop Papers

Moore S, Taylor K An Intelligent Interactive Online Tutor for Computer Languages, 25th Annual Conference of the British Computer Society's Special Interest Group on Artificial Intelligence (SGAI) (December 2005)

Papers

Taylor K, Moore S Adding Question Answering to an e-Tutor for Programming Languages, accepted for 26th Annual Conference of the British Computer Society's Special Interest Group on Artificial Intelligence (SGAI) (December 2006)