My interests include formal specification, software architecture and object-oriented systems. I have written a book on the formal specification language Z, which was published in January 1999 by Prentice Hall. The book employs pedagogical features to support its use as a tool for open learning style delivery. I am currently working on a similar-style book to support the teaching of object oriented programming with Java.
Currie, Ed and Harvey, Pirkko and Daryanani, Padma and Augusto, Juan Carlos and Arif, R. and Ali, Almaas (2016) An investigation into the efficacy of avatar-based systems for student advice. EAI Endorsed Transactions on e-Learning, 3 (11). ISSN 2032-9253
James-Reynolds, Carl and Currie, Ed (2016) EEuGene: employing electroencephalograph signals in the rating strategy of a hardware-based interactive genetic algorithm. In: AI-2016 Thirty-sixth SGAI International Conference on Artificial Intelligence, 13-15 Dec 2016, Cambridge, UK.
Harvey, Pirkko and Currie, Ed and Daryanani, Padma and Augusto, Juan Carlos (2015) Enhancing student support with a virtual assistant. In: 2nd EAI International Conference on e-Learning e-Education and Online Training (eLEOT 2015), 16-18 Sept 2015, Novedrate, Italy.
James-Reynolds, Carl and Currie, Ed (2015) Eugene: a generic interactive genetic algorithm controller. In: AI-2015: Thirty-fifth SGAI International Conference on Artificial Intelligence, 15-17 Dec 2015, Cambridge, UK. (Accepted/In press)
James-Reynolds, Carl and Currie, Ed (2015) Smart feedback and the challenges of virtualisation. EAI Endorsed Transactions on Future Intelligent Educational Environments, 1 (2). ISSN 2409-0034