I have given seminars at Cambridge Computer Lab, Oxford Internet Institute, University of Bath Computer Science Department, University of Southampton Law School (and others, with further dates arranged) based on my work on privacy in Japan, funded by the Royal Academy of Engineering under their Global Research Awards scheme, and carried out in collaboration with Prof K. Murata of Meiji University and Dr Y. Orito of Ehime University.
The International Review of Information Ethics recently published a joint paper of mine (with Dr Ian Brown of the Oxford Internet Institute) on The ethical challenges of ubiquitous healthcare.
I am a lecturer in the School of Systems Engineering at the University of Reading, where I am a member of the Informatics Research Group, the Informatics Research Centre, and the Computer Science and Informatics Subject group. I am the chair of the Informatics Research Group and Programme Director for the Information Technology Degrees.
My office is Room 144 in the School Building.
My office phone number is 0118-378-6997 (or X6997 internally).
I am a member of the various professional societies:
The British Computer Society, through whom I hold the status of CITP (Chartered Information Technology Practitioner)
The IEEE
The ACM
This is my work page. I maintain a personal stuff page (links for my hobbies and interests, that sort of thing). I also have a personal web site (this page is present there as well as at Reading) as well as a blog and a gallery.
Security Research:
Not computer and network security, but societal security issues. I provide social, legal and ethical acceptability analyses and advice on the development of technology for law enforcement, border security and related topics, funded by both UK and EU bodies.
EU PASR Project BIO3R (2007-9):
Bioterrorism: Resilience, Research, Reaction (BIO3R) is a supporting action grant under the EU's Preparatory Action for Security Research mechanism. I am the Principal Investigator at Reading on this project. Reading leads the Workpackage 440 (Ethical and Legal Issues), collaborating with Universitaetsklinikum Bonn and Nomisma S.p.A..
We also lead the Dissemination Workpackage 630, on which Dr Yinshan Tang of the Informatics Research Centre is taking the lead.
EU PASR Project EuropCop (2007-8):
EuropCop: the European Pedestrian Policeman is an EU PASR supporting action grant. I am the principal investigator at Reading on this project. Reading leads the Workpackage 240 (Social, legal and ethical issues), collaborating with FRS, TNO and the French Interior Ministry.
We also lead the Dissemination Workpackage 120, on which Dr Yinshan Tang of the Informatics Research Centre is taking the lead.
EU PASR Project ISCAPS (2005-7):
ISCAPS: Integrated Surveillance of Crowded and Public Areas was an EU PASR project grant. The Principal Investigator at Reading was Dr James Ferryman I was the leader of workpackage 230 (Social, Legal and Ethical Aspects). Reading was involved in many of the other workpackages in this project.
EPSRC Project REASON (EP/C533402)
Dr Ferryman and I also collaborate on this EPSRC project, along with academics at UCL and Kingston University.
I am collaborating with Prof Kiyoshi MURATA of Meiji University and Dr Yohko ORITO of Ehime University in Japan, on a cross-cultural examination of laws and attitudes on privacy of electronic data between the UK and Japan. We are also collaborating with Dr Steve McRobb on a related project which will examine the actions of British and Japanese internet users in relation to online privacy. This work is funded by the Royal Academy of Engineering via a Global Research Award
I am collaborating with Dr Ian Brown of the Oxford Internet Institute on copyright issues, and the ethical questions raised by ubiquitous computing in healthcare.
I have co-authored (with Dr Rachel McCrindle of University of Reading) a text book on the social and professional issues of the information society. Pandora's Box is due for publication by Wiley in late 2007.
I gave a University of Reading Public Lecture in November 2004 on "Copyright v Creativity".
I'm a supporter of the
Creative Commons
concept and release some of my work under CC licences, such as
this image.
I am one of the Founding 1000 of the Open
Rights Group (ORG).
I worked with Dr James Anderson (The University of Reading) and Dr Norbert Voelker (University of Essex) on formal presentations of the TransNumbers related to Dr Anderson's Perspex Machine model of computation.
Higher Order Theorem Proving:
I have worked with a number of different systems including
The Coq System (in which I did my
PhD)
and PVS.
I was involved in the
Calculemus Initiative
on combining the facilities of theorem provers and computer algebra systems.
I was a research fellow at the
Universitaet des Saarlandes in 2001 on
the EU 5th Framework Calculemus project and held a grant from the UK
EPSRC (GR/S15044/01)
to continue collaboration with the group of
Prof Siekmann there.
Mathematical Knowledge Management:
I was a member of the EU 5th Framework project
MKMNet
(including UK EPSRC funding on grant
GR/S10919/01)
which performed initial investigation into the new area of
Mathematical Knowledge Management. See my paper from the MKM '03 conference:
Digitisation, Representation and Formalisation for my views on the
general direction of this work, called "a manifesto for MKM" by one of
the conference referees.
I was the conference chair of the 2006 MKM conference MKM 2006.
Publications list is up to date as of 1st April 2007.
I have a Profile at the Community of Science.
The theses for my graduate degrees are all available:
INDUCT: A Logical Framework for
Induction Over Natural Numbers and Lists Built in SEQUEL
(MSc Thesis in Computer Science, The University of Leeds, 1995)
Tools and Techniques for Machine-Assisted Meta-theory
(PhD Thesis in Computer Science, The University of St Andrews, 1997)
The Road to the EUCD
(LLM Thesis in Law, The University of Reading, 2005)
If you are interested in doing a PhD in social, legal and ethical aspects of computing, please contact me. You should have, or expect soon to complete, a degree in a relevant subject (which includes: computer science, information technology, information systems, computer engineering, law, sociology, anthropology or psychology). I do not currently have funding available, but for the right candidate I will make efforts to secure full or partial funding.
I do not have any interest in undergraduate student interns. Emails from Indian Institute of Technology (or similar) students looking for an internship will be ignored.
