Kung-Kiu Lau is a senior lecturer in the School of Computer Science at the University of Manchester, where he leads the Component-based Software Development group. He is the series editor of a book series on Component-based Software Development, published by
World Scientific. He is a member of the editorial board (area editor: Logic and Software
Engineering) of the Journal of Applied Logic.