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: firstname dot surname at gmail.com

Phone: +44-1334-475944 (St Andrews) or +44-1809-511345 (Glengarry)

My mathematical genealogy (with a link to MathSciNet).

My Erdös number is 3.

Google Scholar Profile.