Broken links across staff profiles

Due to an ongoing technical issue, some links to publications and other resources in staff profiles may not always work. We apologise for the inconvenience and are working on a solution.

Dr Andrew Lewis-Smith

Lecturer in Computing Science

Andrew Lewis-Smith

  • School Faculty of Science and Technology

  • Department Computer Science

  • Location London

Research activities

Substructural Logic; Fuzzy Logic; Algebraic Logic; Relation algebras; Universal Algebra; Proof theory; Categorial Proof theory; Theoretical Computer Science.


Current Teaching

CST 2572 Secure Web Technologies (Module Coordinator)

CST 4444 CST 3590 CST 3990 Individual Project

CST 2550 Software Engineering Management and Development

CST 3170 Artificial Intelligence

CST 1440 Introduction to AI and Data Science (Module Coordinator, Spring Start)


Biography

Dr Andrew Lewis-Smith obtained his doctorate in Computer Science from the Theoretical Computer Science Research Group at the Queen Mary University of London. Dr Lewis-Smith has supervised MSc and BSc students, taught at King’s College London and QMUL in Mathematics, Computer Science and Neuroscience programmes, and conducted research across several disciplines at KCL and QMUL whilst PhD student (and afterward). He is a member of the London Logic Forum.

His publications can be accessed at Andrew Lewis-Smith‬ - ‪Google Scholar‬.

Qualifications

Title: PhD Computer Science

Date: 05 Jul 2021

Institution: Queen Mary University of London


Publications

View publications