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 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

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.


RD, March 2012

Valid XHTML 1.0 Strict Use PlusNet!