Andrew Lewis-Smith

Dr Andrew Lewis-Smith is a Lecturer in Computing Science at Middlesex University with a PhD in Theoretical Computer Science from Queen Mary University of London. He has supervised MSc and BSc students, taught across Mathematics, Computer Science, and Neuroscience programs at King’s College London and Queen Mary University of London, and is affiliated with the London Logic Forum.

Education:

• PhD in Theoretical Computer Science, Queen Mary University of London (2021)

Research interests span theoretical computer science, mathematical logic, and non-classical reasoning models, with recent work focusing on Kripke semantics for algebraic logic structures. His teaching includes modules on Secure Web Technologies, Software Engineering Management, and Individual Projects.

Research Outputs include contributions to logical reasoning frameworks, accessible via Google Scholar.