Mark Lawson is senior lecturer at Heriot-Watt University, Edinburgh. He has published extensively on inverse semigroups, finite automata and their interactions with other parts of mathematics and computer science.