David Bevan

Please see https://dibevan.wordpress.com/.

For more information about research in combinatorics at the University of Strathclyde,
see the Strathclyde Combinatorics Group webpage.

Please see https://dibevan.wordpress.com/.

For more information about research in combinatorics at the University of Strathclyde,
see the Strathclyde Combinatorics Group webpage.

Past teaching responsibilities include the following:

MM109 Applying Mathematics 2: Graph Theory

Types of graphs; graph operations, walks on graphs; connectivity; Eulerian graphs; Hamiltonian graphs; algorithms for weighted graphs; trees and forests; spanning trees; planarity; colouring; matchings; digraphs; network flows.

MM917 Networks in Finance

Random networks; the small-world phenomenon; scale-free networks; the Barabási–Albert model; centrality; degree correlation; robustness; spreading; communities.

CS103 Machines, Languages and Computation (Semester 2)

Propositional logic and proofs using natural deduction; normal forms and satisfiability; computational complexity, P and NP; finite state automata and regular expressions, the Brzozowski algebraic method and the pumping lemma; Turing machines, undecidability, the halting problem and the Entscheidungsproblem.

CS104 Information and Information Systems (Module 1: Information Theory)

Data and information (syntax and semantics, text encodings, Unicode and UTF-8); error detection and correction (repetition codes, parity bits and Hamming codes); data compression (run-length encoding and LZW); measuring information (entropy) and Shannon's Source Coding Theorem.

CS106 Computer Systems and Organisation (Semester 2)
CS107 Fundamentals of Computer Systems

Computer organization; MIPS assembly programming and the MIPS Instruction Set Architecture (registers, memory addressing, logical and shifting operations, jumps and branches, loops and arrays, integers and integer arithmetic, subroutines and the call stack, recursion); memory caching; virtual memory.