Professor in computer science, specialised in Petri nets and formal analysis, with applications to ecology.