Glenn Strong
Assistant Professor, Computer Science


Glenn Strong is an Assistant Professor in the School of Computer Science and Statistics, Trinity College Dublin. He was awarded a BSc in Computing Science from the University of Stirling, Scotland (1994). He is a member of the Discipline of Software Systems, the Foundations and Methods research group, the Centre for Research in IT and Education (CRITE), and the Computational Thinking for Life (CT4L) research group. His research interests include Functional Programming, Formal Methods, Type Theory, Computational Thinking, and Programming Education. He has taught on wide range of undergraduate and and postgraduate programmes in areas including functional programming, software engineering, object-oriented programming, networking.

Publications and Further Research Outputs

Peer-Reviewed Publications

Elizabeth Oldham, Pamela Cowan, Richard Millwood, Glenn Strong, Nina Bresnihan, Mags Amond, and Lisa Hegarty, CTwins: Does Computational Thinking win when Coding Twins are born?, Educational Studies Association of Ireland Annual Conference, Cork, Ireland, 20-22 April 2017, 2017 Conference Paper, 2017

Strong, G., Higgins, C., Bresnihan, N., Millwood, R., A Survey of the Prior Programming Experience of Undergraduate Computing and Engineering Students in Ireland, World Conference on Computers in Education (WCCE), Dublin, 3-6 July 2017, 2017 Conference Paper, 2017

Elizabeth Oldham, Pamela Cowan, Richard Millwood, Glenn Strong, Nina Bresnihan, Mags Amond, and Lisa Hegarty, Developing confident computational thinking through teacher twinning online, 2017 ATEE Spring Conference - Innovation, Technologies and Research in Education, Riga, Latvia, 12-13th May 2017, 2017 Conference Paper, 2017

Richard Millwood, Glenn Strong, Nina Bresnihan, Pamela Cowan, CTWINS: Improving Computational Thinking Confidence in Educators Through Paired Activities, Proceedings of the 11th Workshop in Primary and Secondary Computing Education, Münster, Germany, ACM, 2016, pp106 - 107 Conference Paper, 2016 DOI

Nina Bresnihan, Richard Millwood, Elizabeth Oldham, Glenn Strong and Diana Wilson, A critique of the current trend to implement computing in schools, Pedagogika, 65, (3), 2015, p292 - 300 Journal Article, 2015 URL

Mícheál Mac an Airchinnigh, Glenn Strong, Catherine Giltrap, Shane Brennan, Mike Brady, What makes a great mobile digital art exhibition, ElPub2011 Digital Publishing and Mobile Technologies, Istanbul, June 22-24, edited by Yasar Tonta et al. , Hacettepe University Department of Information Management, 2011, pp52 - 61 Conference Paper, 2011 TARA - Full Text

Mac an Airchinnigh, Glenn Strong, SOCIAL NETWORKS AND THE NATIONAL ART GALLERY (DUBLIN| |SOFIA), Publishing in the networked world: Transforming the Nature of Communication, 14th International Conference on Electronic Publishing, Helsinki, Finland, 2010, pp217 - 233 Conference Paper, 2010 URL

Arts, T and Mohnen M(ed.), 13th International workshop on the Implementation of Functional Languages, LNCS, Stockholm, Sweden, 2312/2002, September 2001, Springer Berlin / Heidelberg, 2002, 31-42 p Proceedings of a Conference, 2002 URL

Butterfield, Andrew and Dowse, Malcolm and Strong, Glenn, Proving make correct: I/O proofs in Haskell and Clean, Lecture Notes in Computer Science, Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, 16-18 September 2002, edited by R. Peña and T. Arts , 2670, 2002, pp16 - 18 Conference Paper, 2002 DOI URL

Andrew Butterfield and Glenn Strong, Proving correctness of programs with IO - A paradigm comparison, Lecture Notes in Computer Science, Implementation of Functional Languages, 13th International Workshop, IFL 2001, Stockholm, Sweden, September, edited by Thomas Arts and Markus Mohnen , 2312, 2001, pp72 - 87 Conference Paper, 2001 DOI

Non-Peer-Reviewed Publications

Bresnihan, N., Millwood, R., Strong, G. , Defining Computational Thinking across the Lifecourse, British Education Research Association (BERA) Annual Conference 2015, Belfast, Northern Ireland, September 15-17, 201, 2015 Conference Paper, 2015

Bresnihan, N., Byrnes J., Millwood, R., Strong, G., Scratching through the Ceiling, Scratch AMS 7th International Scratch Conference, Amsterdam, 12-15 August 2015, 2015 Conference Paper, 2015

Malcolm Dowse, Glenn Strong and Andrew Butterfield, Proving "make" Correct: I/O Proofs in Two Functional Languages, TCD, TCD, 2003 Report, 2003 URL

Butterfield, A., Strong, G., Comparing Proofs about I/O in Three Programming Paradigms, TCD, TCD, 2001 Report, 2001 URL

Strong, G, Notes on "Algebra of Programming", TCD, 1999 Report, 1999 URL

Strong, G, A tutorial on the Concurrent Clean IO libraries, TCD, 1998 Report, 1998 URL

Glenn Strong, Nina Bresnihan, Catherine Higgins & Richard Millwood, A Survey of Prior Experience of Computing and Engineering Undergraduates, The Next Generation: Digital Learning Research Symposium, Dublin City University, Ireland, 1 November 2016 Conference Paper,

Research Expertise


I am interested in developing type-level frameworks for functional modelling of Objects, and more broadly in the possibility of the Functional style to express both deep and elegant solutions. I have developed formally modelled correctness statements and proofs for some software tools. This work has more recently lead me to consider how type level analysis of object-oriented programming models can be used in non-functional languages to provide static analyses with the potential to improve performance in dynamic languages (such as Lua and JavaScript). These languages are difficult to handle in traditional type inference systems because the dynamic nature of the languages resists certain kinds of analysis. I am interested in the potential of constraint based systems to overcome this, and am actively developing systems to perform type inference on dynamic languages. I also have a serious interest in how students (of all ages) develop an ability to program and particularly in how programming language design can contribute to this development. This interest has recently lead me to become a founder member of the 'Computational Thinking for Life' (CT4L) research group in our School, lead by Richard Millwood, and to collaborate with colleagues from the Center for Research in IT and Education. Within CT4L I am running an ongoing multi-year project to gather data on freshman undergraduates across Ireland who study programming as part of their degree in order to establish the extent of their prior exposure to programming as well as its nature, origins, and usefulness and how this is changing over time. This is connected to an interest in the phenomenon of informal learning activities such as CoderDojo, and I am supervising a PhD student working in this area.


Computer Science/Engineering; Foundations and methods; Functional Programming; Mathematics of computing; Programming, Information systems



QQI Expert Group multimedia and electro-technology awards Panel member

QQI Validation panel Panel member


Irish Free Software Organisation 2004

Computers in Education Society of Ireland (CESI) 2013

Computing at School (CAS) 2013