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.

Working with me

I am seeking industry collaborators who want:

• to build aquatic autonomous systems
• to prove correctness, safety, or reliability of their software

I am seeking Masters of Research and PhD students wanting to work on:

• teaching formal methods to beginner programmers
  
• pattern matching, particularly in languages without algebraic data types
• extracting reliable, explainable data from complex data.
• safety and security of software that controle machinery using embedded linux
• autonomous navigation for boats wtih high-fidelity sensors
• general (i.e. language agnostic) tests of programming ability
• expanding access to computing education

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.

Grants

• 2021 Google ExploreCSR
• 2021 MQ Enterprise Partnership Scheme with CEE HydroSystems
• 2022 Google ExploreCSR
• 2022 Google TensorFlow

Program Committees

• Haskell Symposium 2016, 2021
• Haskell Implementors Workshop 2021
• ACM SIGCSE TS 2018, 2019, 2020, 2021, 2022
• Software Language Engineering 2016, 2017, 2018

Contact Me

You are welcome to email me anytime (matthew.roberts@mq.edu.au).

socials:

• twitter: @altmattr
• bitbucket: altmattr
• github: altmattr