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]lsbu.ac.uk.
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):
- A Theory of Asynchronous
co-authored by Tony and Jifeng. This theory of nondeterministic data-flow networks consisted of a mathematical model and a process algebra. The report was widely distributed and followed up by a paper at an IFIP WG 2.2/2.3 Working Conference in 1990.
- An Algebra for Delay-Insensitive Circuits (WUCS-89-54), co-authored by Jan Tijmen. This process algebra was applied to a number of small case studies: Alain's D and Q elements (CAV'90); a stack (DCC'90); non-blocking arbiters (CONCUR'90).
- Receptive Process Theory (TUE CS Note 90/8), subsequently published in Acta Informatica, Volume 29, Number 1, 1992, Pages 17-31. This theory consisted of a mathematical model (generalising that of PRG-TR-6-89 above) and a process algebra suitable for modelling and verifying speed-independent circuits (as considered by David Dill in his PhD thesis). It is probably best known from Vijay Saraswat, Martin Rinard, and
Prakash Panangaden's POPL'91 paper on the "Semantic foundations of concurrent constraint programming" in which they state that they had followed closely my treatment of receptive processes.
Go to ResearcherID.com or to
Google Scholar Citations for more comprehensive lists of my publications, including (where available) links and citation counts.
- Mark B. Josephs and Hemangee K. Kapoor (2007) Controllable Delay-Insensitive Processes, Fundamenta Informaticae 78(1):101-130. Preprint; Published Article.
- Hemangee K. Kapoor, Mark B. Josephs and Dennis P. Furey (2006) Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments, Fundamenta Informaticae 70(1-2):21-48. Preprint; Published Article.
- Mark B. Josephs (2005) Models for Data-Flow Sequential Processes, Lecture Notes in Computer Science, Volume 3525, Pages 85-97. Preprint; Published Article.
- Hemangee K. Kapoor and Mark B. Josephs (2004) Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench, Information Processing Letters 89(6):293-296. Preprint; Published Article.
- Mark B. Josephs and Dennis P. Furey (2002) A Programming Approach to the Design of Asynchronous Logic Blocks, Lecture Notes in Computer Science, Volume 2549, Pages 34-60. Preprint; Published Article.
Last altered 9th April 2013