image

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 ucl.ac.uk
"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 (two scholarships are available). If you know how to hack, we should meet.
[Click here]for an example of topics and studentships. [Click here]for application process.

Education


PhD Students


Publications


Awards/Honors

Invited Talk/Workshop

Research Software System: NS2 solver

Teaching


Links


eXTReMe Tracker
Last update: Mar-2020