Jordy works on a new semantics for functional array languages that guarantees a certain level of laziness despite building on a strict execution mechanism. Key to this apparent contradiction is a form of offline partial evaluation which is manifested through program re-writes before the actual program evaluation.
He finished his thesis in early 2021.