Staff profile

Dr Marcel G Jackson

Associate Professor, ARC Future Fellow

Faculty of Science, Technology and Engineering

School of Engineering and Mathematical Sciences
Department of Mathematics and Statistics

Physical Sciences 2, Room 317, Melbourne (Bundoora)

 

Qualifications

BSc, PhD UTAS.

Area of study

Mathematics and Statistics

Teaching units

Until 2017 I hold an essentially non-teaching position, however I will have some involvement in the delivery of

  • third year algebra.
  • fourth year model theory

Recent publications

This is a selection of some recent publications.  For a more complete list, with some downloads available, go to my personal webpage http://marceljackson.ltumathstats.com/

  • M. Jackson and T. Stokes, Modal restriction semigroups: towards an algebra of functions and deterministic computation, Internat. J. Algebra Comput. 21 (2011), 1053–1095.
  • R. Goldblatt and M. Jackson, Well structured program equivalence is highly undecidable, ACM Trans. Comput. Logic 13(3) (2012), Article number 26.
  • M. Jackson and M. Volkov, The algebra of adjacency patterns: Rees matrix semigroups with reversion, Gurevich Festschrift (A. Blass, N. Dershowitz, and W. Reisig Eds.), LNCS 6300, pp. 414–443, 2010.
  • M Jackson and M. V. Volkov, Relatively inherently nonfinitely q-based finite semigroups, Trans. Amer. Math. Soc., 361 (2009), 2181–2206.
  • M. Jackson and M. Volkov, Undecidable problems for completely 0-simple semigroups, J. Pure Appl. Algebra 213 (2009), 1961–1978.
  • 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.

Research projects

 My research interests are semigroups, universal algebra and their application.  A sample of specific topics of interest include:

  • Finite basis problems for varieties, quasivarieties;
  • Computational complexity and decidability/undecidability, especially for problems relating to finite semigroups/algebras;
  • Semigroups of relations (relation algebras), functions (function semigroups), and their applications in computer science;
  • The theory of natural dualities;
  • Boolean topological algebras/structures;
  • Algebraic methods in the study of Constraint Satisfaction Problems. 

I am an associate editor for the following journals: