Matt Roberts


  • 58 Citations
  • 4 h-Index
If you made any changes in Pure these will be visible here soon.

Personal profile



My interests are in functional language implementation, pattern matching, term-rewriting, higher-order type systems and data-type generics.  My research sits firmly in computer science, straying into applied mathematics on occasion.  I am also an avid reader of research in computer science education, software language engineering and programing language design.


My teaching philosophy is to empower students to learn by giving them the guidance and opportunity they need to construct their own understanding of the course material and to navigate the sea of information which lies before them.

Computing is a discipline full of complexity.  By keeping my teaching tied to its mathematical underpinning I give students the opportunity to internalise a manageable version of the task at hand from which they can later build a broader understanding.

Fingerprint Dive into the research topics where Matt Roberts is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 5 Similar Profiles
Computer programming languages Engineering & Materials Science
Processing Engineering & Materials Science
Functional programming Engineering & Materials Science
Static analysis Engineering & Materials Science
Rewriting Mathematics
Static Analysis Mathematics
homicide Social Sciences
guilt Social Sciences

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2017 2017

Electronic Exams Now!

Roberts, M., Bastion, M., Kassis, A. & Parker, A.


Project: Teaching

Research Outputs 2002 2018

  • 58 Citations
  • 4 h-Index
  • 7 Conference proceeding contribution
  • 3 Article
  • 2 Software

Body Perception Survey plugin

Roberts, M., Brooks, K., Mitchison, D., Stephen, I., Zhang, M. & Bashu, V. U., 27 Sep 2018

Research output: Non-traditional research outputSoftwareResearch

Choice and background knowledge: how do individuals evaluate accumulating evidence in a murder scenario?

Mackenzie, E., Chalmers, E., Wastell, C. A., Duncan, P. & Roberts, M., 2 Apr 2018, In : International journal of psychological studies. 10, 2, p. 1-14 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Skink: static analysis of programs in LLVM intermediate representation

Cassez, F., Sloane, A. M., Roberts, M., Pigram, M., Suvanpong, P. & de Aledo, P. G., 2017, Tools and algorithms for the construction and analysis of systems: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings, part II. Legay, A. & Margaria, T. (eds.). Berlin: Springer, Springer Nature, p. 380-384 5 p. (Lecture notes in computer science; vol. 10206).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Static analysis
Static Analysis
Program Analysis

Specifying CSS layout with reference attribute grammars

Buckley, S., Sloane, A. M. & Roberts, M., 2016, SPLASH Companion 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. Visser, E. (ed.). New York, NY: Association for Computing Machinery, p. 29-30 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearch


Oberon-0 in Kiama

Sloane, A. M. & Roberts, M., 15 Dec 2015, In : Science of Computer Programming. 114, p. 20-32 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Computer programming languages