Roy Dyckhoff
Roy Dyckhoff | |
|---|---|
| Born | March 4, 1948 |
| Died | August 23, 2018 (aged 70) |
| Alma mater | University of Cambridge, (BSc) University of Oxford (Dr. Phil., 1974) |
| Spouse |
Cecilia Meredith (m. 1970) |
| Scientific career | |
| Fields | Mathematics, Logic, Proof theory |
| Institutions | University of St Andrews |
| Thesis | Topics in General Topology: Bicategories, Projective Covers, Perfect Mappings and Resolutions of Sheaves (1974) |
| Doctoral advisor | Peter J. Collins Dana Scott |
| Doctoral students | Muffy Calder |
Roy Dyckhoff (March 4, 1948 – August 23, 2018) was a British mathematician, logician and computer scientist who worked in logic and proof theory in the Department of Pure Mathematics and later Computer Science at the University of St Andrews. He is most well known for his discovery in 1992 of a terminating sequent calculus for intuitionistic propositional logic. His Erdős number was 3.