Dr. Andrew Alexander Adams

I have a wide range of research interests in multi-disciplinary fields:

Social, Legal and Ethical Aspects of Computing:
- I am the workpackage leader of WP230 (Social, Legal and Ethical Aspects) in the EU-funded ISCAPS project, collaborating locally with James Ferryman. We also collaborate on the EPSRC project REASON (EP/C533402)
- I gave a University of Reading Public Lecture in November 2004 on "Copyright v Creativity".

Security Research:
- My work on the ISCAPS Project includes consideration of the assessment of technological responses to security threats.
- I collaborate with Prof Kecheng Liu on informatics for police and security services.
- I have collaborated with researchers at various European institutions and companies on propsoals for PASR funding but only ISCAPS has so far been funded. Further proposals are being considered in this area and I am open to approaches for invovlement in such projects. My interests are primarily in the human factors of technological approaches to security, including social, legal and ethical questions raised by technological developments, and the potential for abuse and misuse of such technology.

Mathematics:
- 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 (with which I continue to work).
- I am 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.
- I am collaborating with Dr James Anderson (The University of Reading) and Dr Norbert Voelker (University of Essex) on formalising the TransNumbers related to Dr Anderson's Perspex Machine model of computation.

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 supervise undergraduate computer science projects in the area of computer-aided learning and computer mathematics.

I am concentrating on the area of social, legal and ethical aspects of high tehnology, particularly computer and communications. My focus is on privacy and identity with respect to surveillance and dataveillance, identity and authentication issues.