Name:Sven Linker

Country:Germany

Affiliation:Lancaster University, UK (Leipzig Campus)

Research interests:Spatial Logic, Proof Theory, Verification, Visual Reasoning