Lê Quang Lộc

Lecturer in Programming Principles, Logic, and Verification Group
  Department of Computer Science
  University College London
  Office: Room 310, 66-72 Gower St, London, UK, WC1E 6EA
  Email: loc.le at
"The whole of science is nothing more than a refinement of everyday thinking". Albert Einstein
My research focuses on automatic, effective methods for finding bugs in real codebase.
We have used an approach based on bug-reporting criterion, bi-abduction, and incorrectness logic.
The following paper gives technical details and initial results.

I am looking for PhD students. If you know how to hack, we should meet.
[Click here]for an example of topics and studentships. [Click here]for application process.


PhD Students



Invited Talk/Workshop

Research Software System: NS2 solver



eXTReMe Tracker
Last update: Mar-2020