The University of Hong Kong
Vitus S.W. Lam is currently working at The University of Hong Kong. He received a PhD in computer science from University of Bath, UK. Dr. Lam is the associate editor, technical editors, editorial members and reviewers of various journals as well as acted as program committees and reviewers for numerous international conferences. Vitus is a chartered member of the British Computer Society and was the Vice Chairman of the British Computer Society (Hong Kong Section) for 2001-2002. He has published widely in international conferences and journals. His research interests include automated software engineering, formal methods, UML, process algebras, pi-calculus, model checking, e-commerce, business process management, workflow patterns and temporal logics. He is a chartered engineer and a member of the IEEE.