Lex Hendriks (2 March 1952 - 13 May 2023)

We are very sad to announce that Saturday, the 13th of May, Lex Hendriks unexpectedly passed away.

Lex successfully defended his dissertation entitled Computations in Propositional Logic in 1996, which he wrote under the supervision of Gerard Renardel de Lavalette and Dick de Jongh. He has since been a long-term guest at ILLC still actively engaged in research, working on themes in intuitionistic logic.