Matt Roberts

Dr

  • 52 Citations
  • 3 h-Index
20022018
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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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

Research Output 2002 2018

  • 52 Citations
  • 3 h-Index
  • 7 Conference proceeding contribution
  • 3 Article
  • 1 Software

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
homicide
guilt
scenario
offense
evidence

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

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 Object-Oriented Programming, Systems, Languages, and Applications. 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

Specifications
Terminology

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

Processing
Computer programming languages
Printing
Processing