| |
|
||||||||||||
|
Home Page for Kung-Kiu Lau
|
I am a senior lecturer in the School of Computer Science at the The University of Manchester. My contact details are as follows: Postal Address: Kung-Kiu Lau
School of Computer Science
The University of Manchester
Manchester M13 9PL
United Kingdom
Phone: +44 161 275 5716 Fax: +44 161 275 6204 Email: kung-kiu at cs.man.ac.uk
Research
|
Currently my main research area is Component-based Software Development. See my research page for details.I lead the Component-based Software Development research group at Manchester.
A list of PhD projects that I offer can be found here.
Publications
|
A list of some of my publications can be found here.
Book Series on Component-based Software Development
|
I am the series editor of a book series on Component-based Software Development, published by World Scientific.
Journal of Applied Logic
|
I am a member of the editorial board (scientific area editor: Logic and Software Engineering) of the Journal of Applied Logic, published by Elsevier.
Current Conference Committees
|
I am PC co-chair of:
- Component-based Software Engineering Track (ECBSE), Thirty-fourth Euromicro Conference on Software Engineering and Advanced Applications, 3-5 September 2008, Parma, Italy.
I am a PC member for the following:
- Thirteenth IEEE International Conference on Engineering Complex Computing Systems (ICECCS), 31 March - 4 April 2008, Belfast, Northern Ireland.
- Workshop on Domain Specific Analysis and Design for Reuse (DSADR), 25 May 2008, Beijing, China.
- Second IEEE and IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE), 17-19 June 2008, Nanjing, China.
- Second International Workshop on Harnessing Theories for Tool Support in Software (TTSS) 15-16 June 2008, Nanjing, China. Nanjing, China
- Fifth International Colloquium on Theoretical Aspects of Computing (ICTAC), 1-3 September 2008, Istanbul, Turkey.
- Eleventh International Symposium on Component-based Software Engineering (CBSE), 14-17 October 2008, Karlsruhe, Germany.
- Tenth International Conference on Formal Engineering Methods (ICFEM), 27-31 October 2008, Kitakyushu-City, Japan.
Theory and Practice of Logic Programming: Special Issue on Program Development
|
On the occasion of the tenth anniversary of the LOPSTR Workshop, I guest edited (with Maurice Bruynooghe) a special issue of the Theory and Practice of Logic Programming journal on program development, Volume 2, Parts 4 and 5, July and September 2002.
Journal of Symbolic Computation: Special Issue on Schemas
|
I guest edited (with Pierre Flener and Wolfgang Bibel) a special issue of the Journal of Symbolic Computation on schemas, Volume 30, Number 1, July 2000.
ICFEM 2005
|
I was the Programme Chair for ICFEM 2005, Seventh International Conference on Formal Engineering Methods.
CL 2000 & LOPSTR 2000
|
I was the Programme Chair for LOPSTR 2000, which was the Program Development stream at CL 2000, the First International Conference on Computational Logic.
JICSLP'98
|
I was the Conference Chair of JICSLP98, 1998 Joint International Conference and Symposium on Logic Programming.