Portrait of Quang Loc Le

Quang Loc Le

Lê Loc Quang

Professor, Computer Science, University College London · London, United Kingdom

Computer & Information SciencesTenure-line

Edit this entry

Research areas

Programming Languages
Software Verification
Separation Logic
Incorrectness Logic
Automated Program Repair

Education and training

PhD: National University of Singapore, 2014