firstname.lastname@example.org | 01484 471846
After completing my Highers at Aberdeen Grammar School, I went on to study Physics and Maths at Manchester University, graduating in 1977. Shortly thereafter I moved to the Netherlands and, in 1984 decided to return to university to study Computer Science. I obtained my "doctoraal " (approximately equivalent to an MSc) cum laude from the University of Nijmegen in 1989. I then commenced work on my PhD under the supervision of Dr. Hans Meijer and Prof. Kees Koster (one of the authors of the Revised Report on Algol 68). I completed work on my thesis (title: "Update Plans: A High Level Low Level Specification Language ") in 1994, and was awarded my PhD in 1995. By this time I had embarked on a post-doctoral post at the University of York, working on the development of models of case-based reasoning systems.
I was appointed a lecturer in Computer Science at the University of Huddersfield in 1997. I continue to be interested in the specification and analysis of computer architecture and structure. I currently teach Computer Structures, Networks, Data Structures, Concurrent Processes and the Implementation of Functional Languages.
Outside the University I am interested in photography and astronomy, and enjoy cooking. I am also interested in languages and linguistics. I speak English, French and Dutch, and a smattering of German. I used to speak Russian (badly) but have lost this ability due to lack of practice. I am currently learning Spanish.
My primary interest is in Software Engineering and Formal Specification. In particular I am interested in the development of tools for the specification and analysis of computer architectures and instruction sets.
I am also interested in
Chrpa, L., McCluskey, T. and Osborne, H. (2015) ‘On the Completeness of Replacing Primitive Actions with Macro-actions and its Generalization to Planning Operators and Macro-operators’ AI Communications , 29 (1), pp. 163-183. ISSN 0921-7126
Chrpa, L. and Osborne, H. (2014) ‘Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit Constraints’ Journal of Intelligent and Robotic Systems , 75 (2), pp. 243-270. ISSN 0921-0296
Chrpa, L., Vallati, M. and Osborne, H. (2013) ‘Learnability of Specific Structural Patterns of Planning Problems’. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013). : Institute of Electrical and Electronics Engineers ( IEEE ). pp. 18-23. ISBN 9781479929719
Chrpa, L., McCluskey, T. and Osborne, H. (2012) ‘Determining Redundant Actions in Sequential Plans’. In: Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on. : IEEE. pp. 484-491. ISBN 9781479902279
Chrpa, L., McCluskey, T. and Osborne, H. (2012) ‘Optimizing Plans through Analysis of Action Dependencies and Independencies’. In: Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. California, USA: AAAI Press. pp. 338-342. ISBN 978-1-57735-562-5
Chrpa, L., McCluskey, T. and Osborne, H. (2012) ‘Reformulating Planning Problems: A Theoretical Point of View’. In: Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference. Palo Alto, CA: AAAI Press. . ISBN 978-1-57735-558-8
Klaib, A. and Osborne, H. (2009) ‘RSMA Matching Algorithm for searching biological sequences’ Innovations in information technology 2009 IIT'09 International Conference on , pp. 195-199.
Klaib, A. and Osborne, H. (2009) ‘RSMA matching algorithm for searching biological sequences’. In: IIT'09 Proceedings of the 6th international conference on Innovations in information technology. New Jersey USA: IEEE Press. pp. 190-194. ISBN 978-1-4244-5698-7
Klaib, A. and Osborne, H. (2009) ‘A New String Matching Algorithm for Searching Biological Sequences’. In: 2009 Conference Proceedings International Conference on Information and Communication Systems (ICICS 2009). Amman, Jordan: ICICS. pp. 75-80.
Klaib, A. and Osborne, H. (2009) ‘OE Matching Algorithm for Searching Biological Sequences’. In: International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09). Orlando, Florida: ISRST. pp. 36-42. ISBN 978-1-60651-009-4
Klaib, A. and Osborne, H. (2009) ‘Exact String Matching Algorithms for Searching Biological Sequence Databases’. In: Saudi International 2009 Conference, 5th-6th June 2009, University of Surrey, Surrey
Klaib, A. and Osborne, H. (2009) ‘BRQS Matching Algorithm for Searching Protein Sequence Databases’. In: Future Computer and Communication, 2009. ICFCC 2009. International Conference on. London, UK: IEEE. pp. 223-226. ISBN 978-0-7695-3591-3
Klaib, A. and Osborne, H. (2008) ‘Searching protein sequence databases using BRBMH matching algorithm’ International Journal of Computer Science and Network Security , 8 (12), pp. 410-414. ISSN 1738-7906
Barnes, A., McCluskey, T. and Osborne, H. (2008) ‘Benefits of associative classification within text categorisation’. In: Proceedings of Computing and Engineering Annual Researchers' Conference 2008: CEARC08. Huddersfield: University of Huddersfield. pp. 34-39. ISBN 978-1-86218-067-3
Antunes, M., Cunha, J., Bernardino, J., Heubach, F., Kirby, M., Osborne, H., Laurent, D. and Paalassalo, J. (2004) ‘New perspectives on teaching computer science in europe’. In: 2003 ECI Conference on Enhancement of the Global Perspective for Engineering Students by Providing an International Experience. : IEEE. .
Osborne, H (2003) ‘The educational range of visual simulations of the Little Man Computer architecture paradigm’ 32nd Annual Frontiers in Education Conference, FIE 2002 , 3, p. S4G-19. ISSN 0190-5848
Osborne, H (2002) ‘The postroom computer: teaching introductory undergraduate computer architecture’. In: 33rd SIGCSE technical symposium on Computer science education, 27 February - 3 March 2002, Cincinnati, Kentucky, USA , pp. 157-161
Wolfe, G., Yurcik, W., Osborne, H. and Holliday, M. (2002) ‘Teaching computer organization/architecture with limited resources using simulators’. In: Technical Symposium on Computer Science Education. : ACM Press. pp. 176-180. ISBN 1581134738
Osborne, H (2001) ‘The Postroom Computer’ Journal on Educational Resources in Computing , 1 (4), pp. 81-110. ISSN 1531-4278
Yurcik, W. and Osborne, H. (2001) ‘A crowd of little man computers: visual computer simulator teaching tools’. In: Winter Simulation Conference proceedings. : ACM Press. pp. 1632-1639. ISBN 078037309X
Scott, S., Osborne, H. and Simpson, R. (2000) ‘Selecting and comparing multiple cases to maximise result quality after adaptation in case-based adaptive scheduling’. In: Advances in case-based reasoning. : Springer. pp. 517-528. ISBN 9783540679332