People
Professor Phil Willis' recent research has been proposed for inclusion in the international graphics standards OpenVG, OpenGL and GL ES. He leads the Centre for Digital Entertainment where he works with Aardman Animation and other film animation and special effects companies. Phil teaches Computer Graphics and is our Head of the Department.
Alan Hayes is one of only 50 lecturers and learning support staff in the UK to be awarded a National Teaching Fellowship from the Higher Education Academy. Alan is the Department's Director of Teaching and teaches Systems Development.
Dr Leon Watts' research has helped to improve how people express themselves and understand one another through communication technologies. He has worked with professional mediators and medical staff on the interactions they have with clients, and with one another. Leon teaches our Systems Engineering, Interaction, and Collaborative Systems courses.
Professor Guy McCusker's work uses a branch of mathematics called game theory to analyse the security of computer systems, in collaboration with Hewlett-Packard's Systems Security Laboratory. Guy teaches our Discrete Mathematics for Computer Science course.
Dr Joanna Bryson has programmed robots for LEGO & MIT, and built simulated monkeys for scientists at Harvard, Edinburgh and Strasbourg. Joanna teaches first year programming and a final year course called Intelligent Control and Cognitive Systems.
Professor James Davenport did much of the programming, made possible by new Computer Algebra software he had been working on, which broke the US Federal Reserve Bank encryption method for bank-bank communication in the USA. James teaches our Computer Algebra course (on which he has written one textbook, and is writing a second), and designed our Cryptography course. James is also on the Council of the BCS.
Dr Claire Willis' interests include software programming and she has written a book for people new to programming and which our students use when studying software design. Her work is cited in the NASA Software Safety Guidebook. Claire teaches our Safety Critical Systems course.
Dr John Power is a Japanese-speaking Australian category theorist who collaborates extensively with leading Japanese universities and research institutes. John teaches our Analytic Mathematics for Applications course.
Dr Hilary Johnson is passionate about Human Computer Interaction (HCI). She is currently working with local primary and secondary school children as co-designers to develop tutoring systems. Hilary teaches our Interaction course.
Professor Peter Johnson's work in automation awareness in the cockpit of aircraft, taken up by BAE Systems, is now also attracting attention from equipment procurement and research organisations. Peter teaches MComp students.
Dr Marina de Vos is currently working on applications of logic programming in normative systems, compiler technology and automated music composition. Other interests include game theory, wireless network protocols and computer science education. Marina teaches first year Programming and Intelligent Systems.
Dr Julian Padget's matchmaking and brokerage software will form part of the standard client and server packages for UK and EU e-science. Julian teaches our Intelligent Agents and Internet Technology courses.
Professor John Fitch runs a compiler company whose products probably generated the software in your mobile phone. John teaches our Advanced Compilers course.
Dr Darren Cosker is an RAEng/EPSRC research fellow specialising in computer vision and graphics applied to psychology, digital effects and games. His current research includes facial analysis and synthesis applied to animation and security. Industrial links and collaborations include Double Negative, Lionhead, Canon and Aardman Animation.
Dr Peter Hall is interested in computer vision applied to computer graphics, and in using artwork to learn about seeing. Peter teaches computer vision, computer graphics, and pattern analysis.
Dr Alessio Guglielmi is interested in the logical foundations of computing and believes in the slogan `electric lamps were not invented by improving candles'. His main research contribution is an idea called `deep inference'. Its aim is to strengthen the relation between logic and computation, to the benefit of both. Alessio's main teaching principle is to use no more, but no less, than the necessary amount of abstraction to solve concrete problems.
Professor Stephen Payne researches the cognitive science of human-computer interaction. His most recent work has developed cognitive models of multi-tasking and skim-reading. Current research projects include investigations into collaborative memory and information retrieval, and computer-supported decision making.
Dr Matthew Brown's image stitching algorithms can be found in several commercial products, from professional panorama software to iPhone apps. His research is in Computer Vision and Computational Photography. Matthew teaches Introduction to Computer Graphics.
