menu

School of Electronic Engineering and Computer Science

People menu

Mr Andrew Lewis-Smith

Andrew

Email: a.lewis-smith@qmul.ac.uk
Room Number: Peter Landin, CS 438

Research

Research Interests:

Substructural Logics; Algebraic semantics and algebras in general; Proof theory. 

Return to top