Prof. Mark B. Josephs

BSc (Lond), MSc (Oxon), DPhil (Oxon), FBCS CITP, Senior Member of the IEEE, Member of the UKCRC, Member of the EPSRC Peer Review College

I am an Honorary Professor of London South Bank University. I joined LSBU in 1993, founding the Centre for Concurrent Systems and Very Large Scale Integration, was promoted to Professor of Computing in 1998, and served as Director of the Institute for Computing Research 2005-2010. You will find my curriculum vitae here. During 2010/11 and 2011/12 I worked in the WMG Digital Laboratory, University of Warwick, and during 2012/13 I am working part-time in the Department of Computer Science, University College London, and part-time at UCL Academy.

The best way to contact me is by email: Mark.Josephs[AT]


From 2006 to 2010, I taught MSc students at LSBU about XML and Web technologies (including the WS-* platform). In the academic year 2010/11, I also taught a module in Information Assurance. In 2011/12, I taught MSc students at Warwick about Information Security Management. In 2012/13, I am teaching undergraduates and MSc students at UCL about Operating Systems, MSc students at UCL about Computer Security, and high school students at UCL Academy about Computer Science. I am only able to provide links to online material for some of my older modules:


My main research interests at LSBU were in concurrency theory and in asynchronous circuits and systems. I spent part of the 2005/6 academic year visiting Alain Martin's asynchronous VLSI group within the Computer Science Department, California Institute of Technology. Between 1992 and 2005 I chaired the European Working Group on Asynchronous Circuit Design.

I began investigating asynchronous process calculi (as variations on Theoretical CSP) as long ago as 1988, initially in collaboration with Tony Hoare and He Jifeng at the Programming Research Group, Oxford, and subsequently in collaboration with Jan Tijmen Udding (University of Groningen, and Washington University, St Louis) and Tom Verhoeff (Eindhoven University of Technology). The results formed part of Oxford's contribution to ESPRIT Basic Research Action 3006 CONCUR (Theories of Concurrency: Unification and Extension), 1989-1992, and were first reported in three technical reports:

In the following selection of publications, I have provided a link to an electronic preprint (offering unrestricted access), as well as a link to the published article (requiring payment to the publisher in order to view the full text): Go to or to Google Scholar Citations for more comprehensive lists of my publications, including (where available) links and citation counts.
Last altered 9th April 2013