Mr Henry B McLoughlin

Associate Professor

 Phone: +353 1 7162480
 Room: A1.03
   Computer Science Building
   Dublin 4

 Full Profile

200700 COMP3003F Computer Science: Computational Theory and Formal Syntax
200700 COMP20110 Computer Science: Discrete Mathematics for Computer Science
200700 COMP10030 Computer Science: Algorithmic Problem Solving
200700 COMP3007F Computer Science: Software Verification
200700 COMP3005F Computer Science: Formal Principles of Software Construction
200700 COMP30060 Computer Science: Program Construction I
200700 COMP30190 Computer Science: Program Construction II

Software Engineering; Formal Software Construction Methods; Enterprise Modelling.

Book Chapters

  • McLoughlin, H.B. Michon, J.A. van Wimsun, W. and Webster, E.; (1993) 'GIDS intelligence' In: In: J.A. (eds). Taylor and Francis (eds). Generic Intelligent Driver Support Michon[Details]
  • Conference Publications
  • McLoughlin, H.B. and Hely, K.; (1996) Teaching Formal programming to first year computer science students Proceedings of the 27th SIGCSE technical symposium on Computer Science Education.1996 *, [Details]
  • McLoughlin, H.B., Mac Seagháin, S.; (1996) Opportunities, Threats, and Obligations in the Computer Science Course StructureProceedings of conference on Computer Science Education CTC96. DCU.1996 *, [Details]
  • Cater, A., Willis, C.J., McLoughlin, H.B.; (2004) Mind The Gap: Regions With Loose Boundaries In Go Proceedings of 15th Conference on Artificial Intelligence and Cognitive Science [Details]