Matt Roberts

Dr

  • 59 Citations
  • 4 h-Index
20022018

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

Research

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.

Teaching

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.

  • 3 Similar Profiles

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

Projects

Electronic Exams Now!

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

11/09/1731/12/17

Project: Teaching

Research Outputs

  • 59 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 outputSoftware

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 journalArticle

Open Access
File
  • 33 Downloads (Pure)

    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 contribution

  • 7 Citations (Scopus)

    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 contribution

  • 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 journalArticle

    Open Access
  • 6 Citations (Scopus)