Portrait of Dr  Hugh Osborne Dr Hugh Osborne

h.r.osborne@hud.ac.uk | 01484 471846


  0000-0002-7937-8609  


Biography

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.

Research and Scholarship

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

  • the development of didactic tools, particularly for teaching computer architectures
  • the development of astronomical software
  • functional programming systems
  • grammars and finite state machines
  • developments in quantum computing

Publications and Other Research Outputs

2015

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-operatorsAI Communications , 29 (1), pp. 163-183. ISSN 0921-7126

2014

Chrpa, L. and Osborne, H. (2014) ‘Towards a Trajectory Planning Concept: Augmenting Path Planning Methods by Considering Speed Limit ConstraintsJournal of Intelligent and Robotic Systems , 75 (2), pp. 243-270. ISSN 0921-0296

2013

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

2012

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

2009

Klaib, A. and Osborne, H. (2009) ‘RSMA Matching Algorithm for searching biological sequencesInnovations in information technology 2009 IIT'09 International Conference on , pp. 195-199.

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) ‘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) ‘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

2008

Klaib, A. and Osborne, H. (2008) ‘Searching protein sequence databases using BRBMH matching algorithmInternational 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: CEARC’08. Huddersfield: University of Huddersfield. pp. 34-39. ISBN 978-1-86218-067-3

2004

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. .

2003

Osborne, H (2003) ‘The educational range of visual simulations of the Little Man Computer architecture paradigm32nd Annual Frontiers in Education Conference, FIE 2002 , 3, p. S4G-19. ISSN 0190-5848

2002

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

2001

Osborne, H (2001) ‘The Postroom ComputerJournal 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

2000

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

Research Degree Supervision

Current opportunities

  • Please contact this member of staff to discuss possible opportunities.