Matt Roberts

Dr

  • 48 Citations
  • 3 h-Index
20022017

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.

  • 2 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
Students Engineering & Materials Science
Specifications Engineering & Materials Science

Research Output 2002 2017

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

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

Monto: A disintegrated development environment

Sloane, A. M., Roberts, M., Buckley, S. & Muscat, S. 2014 Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 Proceedings. Springer, Springer Nature, Vol. 8706, p. 211-220 10 p. (Lecture Notes in Computer Science; vol. 8706)

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

Prototype
Software
Architecture
Life
Text