Truc Nguyen Lam

PhD Student in Computer Science

Truc has earned BEng degree from the University of Southampton. He is now a PhD student working on model checking and program verification. While his work focuses on applying efficient techniques to verify concurrent programs, his non-work interests range widely, everything from quantum computing to cutting-edge technology. His CV can be found here.

Work Experience

MathPen Project

Research Assistant

July 2013 to September 2013

MathPen is a free, W3C-compliant web-based handwriting recognition system designed for mathematics education.

  • Source to source translation from StarPad library (in C#) into JavaScript
  • Designing some efficient algorithms which help the prototype to detect seamlessly all common math characters.

University of Southampton

Internship

June 2012 to September 2012

Developed a tool to verify security properties of administrative role based access control policies.

  • Produce efficient parser and data structure which make the tool work effectively.

Education

University of Southampton

Computer Science

PhD

September 2013 to September 2017
Verification of Concurrent Programs. Advisor: Dr Gennaro Parlato.

University of Southampton

Software Engineering

BEng

September 2010 to July 2013
First Class Honour

Awards

ECS Postgraduate Research Scholarship

University of Southampton

2013

Full studentship for studying PhD at the University of Southampton.

Publications

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs

ASE 2015

2015-11

VAC - Verifier of Administrative Role-based Access Control Policies

CAV 2014

2014-07

Skills

Programming

advanced

  • Python
  • C/C++
  • C#
  • JavaScript
  • Java

Program Verification

master

  • Boolean Decision Diagram
  • SAT/SMT Solver
  • Bounded Model Checking
  • Abstract Interpretation
  • Concolic Testing

Languages

English

Vietnamese

Interests

Nature/Science/Technology

Sport