Roy Dyckhoff

at St Andrews

Research Interests:

Proof theory, type theory, constructive logic and mathematics, functional programming, logic programming, automated reasoning

Computational Logic Group

Introduction; Members; Grants; Publications and Talks; Research collaboration; Logic software; Links; Local seminars.

Other useful links:

• Linguistics Institute of St Andrews
• Centre for Interdisciplinary Research in Computational Algebra, St Andrews
• Centre for Logic, Algebra and Computation, CUNY
• British Logic Colloquium
• FOLLI
• ILTP Library
• Studia Logica
• Eric Dyckhoff Railway Collection (University of Manchester)

Recommended (i.e. run by my friends):

See here

Addresses:

Paper Mail:
School of Computer Science,
University of St Andrews,
North Haugh, ST ANDREWS, Fife, KY16 9SX, Scotland.

The University of St Andrews is a charity registered in Scotland: No SC013532.

Email: rd at st-andrews.ac.uk

Phone: +44-1334-463267 (work), +44-1334-475944 (home)
Fax: +44-1334-463278 (work)

If I'm not at work or at home I'm usually somewhere remote near here.

My mathematical genealogy (with a link to MathSciNet).

My Erdös number is 3.

Google Scholar Profile.