Role

Professor of Information, Logic, and Security

Head of the Programming Principles, Logic, and Verification Group

Office

MPEB6.19

Office Location

University College London

Computer Science

Gower Street

London WC1E 6BT

United Kingdom

Tel

+44 (0)20 3108 1193 (Direct Dial)

Internal

51193

Fax

+44 (0)20 7387 1397

Email

D.Pym (at) cs.ucl.ac.uk

Postal Address

University College London

Computer Science

66-72 Gower Street

London WC1E 6EA

United Kingdom

Group

Programming Principles, Logic, and Verification

Information Security

Personal Pages

http://www0.cs.ucl.ac.uk/staff/D.Pym/