Jonathan Verner

https://logic.ff.cuni.cz/people/verner
Department of Logic, Charles University
CZECH REPUBLIC