Staff profile

Dr Marcel G Jackson

Senior Lecturer

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

In 2012, i am teaching:

  • second year vector calculus
  • probability for engineers at first year.
  • the mathematics of computational complexity at fourth year.
  • third year algebra.

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, to appear in ACM Trans. Comput. Logic
  • 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: