Staff profile

Qualifications

• BSc, PhD(Tasmania).

Teaching areas

• Discrete Mathematics and algebra at first and third year.

• Probability for engineers at first year.

• The mathematics of computational complexity at fourth year.

Supervision

• Present PhD Students:
  Belinda Trotta “Axiomatisability of classes of Boolean topological graphs” (co-supervised with Brian Davey).
  Nadia Dhamri “Dualisability of finite semigroups” (co-supervised with Brian Davey).

• Recent Honours Students:
  2007 Grant Harvey “Geometric Model Theory”.

Professional involvement

• I am an associate editor for Algebra Universalis and for the Journal of the Australian Mathematical Society.

• I am treasurer of the Victorian Algebra Group.  The group organises the annual Victorian Algebra Conference, which is now in its 26th year.

Research interests

• My research interests centre on semigroups, general (= universal) algebra, their interactions and their application in computer science.  Areas of particular interest are: problems of computational complexity for finite algebras and semigroups; problems concerning finite axiomatisability; algebras of functions/relations and their application.

Recent publications and presentations

• M. Jackson and T. Stokes, Partial maps with domain and range: extending Schein’s representation, Comm. Algebra., to appear.
• M Jackson and M. V. Volkov, Relatively inherently nonfinitely q-based finite semigroups, Trans. Amer. Math. Soc., 361 (2009), 2181–2206.
• D. M. Clark, B. A. Davey, M. Jackson and J. G. Pitkethly, The axiomatizability of topological prevarieties, Adv. Math. 218 (2008), 1604–1653.
• M. Jackson, Flat algebras and the translation of universal Horn logic into equational logic, J. Symb. Logic, 73 (2008), 90–128.
• M. Jackson, Residual Bounds for compact totally disconnected algebras, Houston J. Math., 34 (2008), 33–67.