image

Lê Quang Lộc

  Department of Computer Science
  University College London
  Email: quang.le at ucl.ac.uk
"The whole of science is nothing more than a refinement of everyday thinking". Albert Einstein
I am a research fellow in Programming Principles, Logic, and Verification Group . I have also worked with the Infer team at Facebook UK. I mainly work with Professor Peter O'Hearn and Dr. James Brotherston.

Research

Develop analysis techniques to improve the quality of computer software and make program analysis accessible for end users. My current research interests are:

Education

Research Software System: NS2


Publications


Invited Talk/Workshop

Awards/Honors

Teaching


Other


eXTReMe Tracker
Last update: Mar-2020