N.A. Harman, BSc, PhD (Leeds)
Deputy Head of Department and Programme Director
Director of Software Alliance Wales

Teaching: resources for my current modules CS-110 Programming 1 CS-338 Internet Computing/CS-M58 Writing Distributed Web Applications CS-348 Building Reliable Web Applications/CS-M68 Writing Web and Web Service Applications as well the coursework upload page. Admissions: the Department's undergraduate admissions page. Contact: t: (+44) (0)1792 295394 f: (+44) (0)1792 295708 e:n.a.harman@swan.ac.uk p:Dr N A Harman, Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, UK

Selected Research Publications

1. N.A. Harman, Modelling SMT and CMT Processors: A Simple Case Study, Deparment of Computer Science, Swansea Report CSR6-2007, (2007).
2. N.A. Harman, Algebraic Models of Simultaneous Mult-Threaded and Multi-Core Processors, Deparment of Computer Science, Swansea Report CSR7-2007, (2007).
3. A.C.J. Fox and N.A. Harman, Algebraic Models of Correctness for Abstract Pipelines, The Journal of Algebraic and Logic Programming, 57 (2003), 71-107.
4. A.C.J. Fox and N.A. Harman, Algebraic Models of Correctness for Microprocessors, Formal Aspects of Computer Science, 12, 298-312, 2000.
5. N.A. Harman, Verifying a Simple Pipelined Microprocessor Using Maude , in Recent Trends in Algebraic Development Techniques: 15th Int. Workshop, WADT 2001, April 1-3 2001 (Selected Papers). ed. M Cerioli and G Reggio, Lecture Notes in Computer Science 2267, Springer-Verlag, Berlin (2001), 128-151
6. N.A. Harman, Correctness and Verification of Hardware Systems Using Maude , Computer Science Report 3-2000.
7. A.C.J. Fox and N.A. Harman, Algebraic Models of Temporal Abstraction for Initialised Iterated State Systems: An Abstract Pipelined Case Study , Computer Science Report 21-98.
8. A.C.J. Fox and N.A. Harman, An algebraic model of correctness for superscalar microprocessors, in Prospects for Hardware Foundations, ed. B Möller and J V Tucker, Lecture Notes in Computer Science 1546, Springer-Verlag, Berlin (1998), 138-183.
9. A.C.J. Fox and N.A. Harman, Algebraic models of correctness for microprocessors, in Formal Methods in Computer Aided Design ed. M Srivas and A Camilleri, Lecture Notes in Computer Science 1166, Springer-Verlag, Berlin (1996), 346-361.
10. N.A. Harman and J.V. Tucker, "Algebraic models of microprocessors: the verification of a simple computer", Proceedings of the 2nd IMA Conference on Mathematics for Dependable Systems, ed V. Stavridou, Oxford University Press (1997), 135-170.
11. N.A. Harman and J.V. Tucker, "Algebraic models of microprocessors: architecture and organisation", Acta Informatica, 33 (1996), 421-456.