Logic List Mailing Archive

Roy Dyckhoff (1948-2018)

Roy Dyckhoff (1948-2018)
https://blogs.cs.st-andrews.ac.uk/csblog/2018/09/04/dr-roy-dyckhoff/

I'm sorry to have to tell you that our friend and colleague Roy Dyckhoff 
died in hospital on the morning of August 24'th. He had been diagnosed 
with acute myeloid leukemia, which was being managed through blood 
transfusions. His death was however sudden and unexpected.

Roy worked in logic and proof theory, having begun his career at Oxford as 
a topologist and category theorist (for which one of his thesis advisors 
was Dana Scott). Much of his work concerned various aspects of 
intuitionistic logic, but he also contributed to work in programming 
languages, type theory, natural language processing, and model checking. 
He was also instrumental in changing the peal of the bells in St 
Salvator's chapel, the college church of the University, which he 
frequently rang at graduations and other events.

Roy had retired from St Andrews but retained an honorary position with us, 
and was a frequent visitor and seminar-goer until very recently. We'll 
remember him as someone who was always ready to dive into deep 
mathematical or philosophical discussions, as well as being someone who 
could explain the essence of advanced mathematical concepts even to those 
with a lot less mathematical sophistication than he himself possessed. His 
engagement with the School and the wider academic community in Scotland 
and worldwide should have gone on for much longer than it did, and we'll 
miss the conversations and interactions that we'll no longer have with 
him.

There's going to be a memorial to Roy on November 10th in St Salvator's 
Chapel (the church for the university) followed by a small reception.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam