Roy Dyckhoff [Thumbnail]

at St Andrews St Andrews picture

Research Interests:

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

Computational Logic Group

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

Other useful links:

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

See here


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

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.

My ORCID identifier

RD, August, 2015

Valid XHTML 1.0 Strict