Lamport Lecture Series: Dr Conny Bailey