é militante da Gauche Anticapitaliste, a seção belga da Quarta Internacional. Ele trabalha como pesquisador em ciência da computação teórica em um instituto de pesquisa austríaco, com especialização em métodos formais de verificação de programas.