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

Teaching

Information Systems (Postgraduate)

This module consolidates previous work on internet and distributed programming and extends this to issues in the design, implementation and deployment of real-world e-commerce/ m-commerce/ distributed systems built on Java/.net technology and to develop novel distributed applications built on middleware technologies.

Logic and Discrete Structures (Undergraduate)

The module consists of two parts, each of fundamental importance for any serious approach to Computer Science: Logic and Discrete Structures. Logic has been called the Calculus of Computer Science. It plays a very important role in computer architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL the standard computer language for accessing and manipulating databases), artificial intelligence (automatic theorem proving), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). Computer scientists use Discrete Mathematics to think about their subject and to communicate their ideas independently of particular computers and programs. They expect other computer scientists to be fluent in the language and methods of Discrete Mathematics. In the module we consider Propositional logic as well as Predicate Calculus. We will treat Propositional Logic and Predicate Calculus as formal systems. You will learn how to produce and annotate formal proofs. As application we will briefly consider the programming language Prolog. This module will also cover a variety of standard representations, operations, properties, constructions and applications associated with selected structures from Discrete Mathematics (sets, relations, functions, directed graphs, orders).

Probability and Matrices (Undergraduate)

This module covers: Probability theory Counting permutations and combinations Conditional probabilities Bayesian probability Random variables and probability models Vector and matrix algebra Linear equations Vector spaces Linear combinations, linear independence

Research

Research Interests:

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

Return to top