School of Computing, Media & the Arts
please wait

Page loading - please wait...

Quang Loc Le

Senior Lecturer in Computer Science

Quang Loc Le

About Quang Loc Le

Loc joined Teesside University in 2017 as a Senior Lecturer in Computer Science. His research is about developing novel and practical techniques to help improve the quality of critical software and make program verification accessible for end users. Loc is particularly interested in theory and practice of automated program reasoning using Separation Logic. Recently, Loc broadens his research interests to study String Logic and Software Security.

Loc completed his PhD in Computing at National University of Singapore (2014). His PhD thesis explored a generic technique for shape analysis using Separation Logic. Before joining Teesside, Loc did two post-doctoral research fellows at National University of Singapore (January 2015 – November 2015) and Singapore University of Technology and Design (November 2015 – May 2017).

Research interests and activities

  • program analysis/verification
  • separation logic and string logic
  • software security


Selected publications

A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. Quang Loc Le, Makoto Tatsuta, Jun Sun and Wei-Ngan Chin. 29th International Conference on Computer Aided Verification (CAV 2017).

Satisfiability Modulo Heap-Based Programs. Quang Loc Le, Jun Sun and Wei-Ngan Chin. 28th International Conference on Computer Aided Verification (CAV 2016). 

Shape Analysis via Second-Order Bi-Abduction. Quang Loc Le, Cristian Gherghina, Shengchao Qin and Wei-Ngan Chin. 26th International Conference on Computer Aided Verification (CAV 2014).

Towards Complete Specifications with an Error Calculus. Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin. NASA Formal Method 2013.

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin. 23rd International Conference on Computer Aided Verification (CAV 2011).

A full list of my publications can be viewed here.