Andrew Lewis-Smith

Mr. Andrew Lewis-Smith is a Research Assistant for Project Alpha.

He is also a PhD student in Computer Science at Queen Mary University of London in the Theory group where he researches substructural logics and their corresponding algebraic semantics and proof theory.

His interest is in applying theoretical insights from Semantic Web (and other areas of computer science) to better serve the needs of Project Alpha, especially Alpha-POST. He has previously researched theoretical issues in semantic web on a NSF grant.

Improving the implementation of non-proliferation controls