Reader in Program Analysis
Software Systems Engineering Group
Department Of Computer Science
University College London