Farewell to Prof Troelstra

This year has, so far, being complicated with a somewhat traumatic job move, from Nuance to Samsung Research America. I started in Samsung in  March 2019 and hence have not had the time to grieve properly over the departure of Prof Anne Troelstra in March 2019, after a brief illness. The Institute for Logic, Language and Computation of the University of Amsterdam has an obituary for him and several condolence messages. Personally I knew and admired Prof Troelstra very much. I was invited once by him to Amsterdam to discuss logic and, yes, he could be very intimidating, but once you got over that, he was a very generous mathematician. Someone you could ask questions and trust the answers. Someone who, over a blackboard, would treat you as if you were a colleague, instead of a mere  phd student starting to think about things. Someone willing to entertain very different ideas, at least for the time of the discussion. 
Rest in power, Anne!

Together with Grigori Mints,  Solomon Feferman, Danny Bobrow and Aurelio Carboni, another mentor lost.