×
Truc Lam Nguyen

Truc Lam Nguyen

PhD Student in Computer Science

Southampton, Hampshire, UK
(+44) 7549311319
English, Vietnamese

Background


About

About

Truc has earned BEng degree from the University of Southampton. He is now working on finding scalable solutions for concurrent program verification. His CV can be found here.

Work Experience

Work Experience

  • Research FellowUniversity of Southampton

    Mar, 2016 - Sep, 20166 months

    Effective and efficient verification of Concurrent C program using Sequentialization.

    • State-of-the-art verification tool for concurrent programs based on Sequentialization.

  • Research AssistantUniversity of Southampton, MathPen Project

    Jul, 2013 - Sep, 20132 months

    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 efficient algorithms which makes the prototype recognize handwriting characters seamlessly.

  • InternshipUniversity of Southampton

    Jun, 2012 - Sep, 20123 months

    Develop a scalable tool to verify security properties of role based access control systems.

    • Producing efficient algorithms and data structure which enables the tool to work effectively on real world benchmarks.

Skills

Skills

  • Formal Verification
    Boolean Decision Diagram SAT/SMT SolverModel Checking Bounded Model CheckingAbstract Interpretation Concolic Testing
  • Programming
    PythonC/C++ Java/C#JavaScript Shell scriptParsing/Automated build systems
  • Working Platform
    Linux/UnixWindows OSXSuper Computer
Education

Education

Awards

Awards

  • Gold Medal International Competition on Software Verification SV-COMP’16

    Awarded on: Apr 08, 2016

    Gold medal at “Competition on Software Verification” (SV-COMP’16), concurrency category. Tool: MU-CSeq

  • Silver Medal International Competition on Software Verification SV-COMP’16

    Awarded on: Apr 08, 2016

    Silver medal at “Competition on Software Verification” (SV-COMP’16), concurrency category. Tool: Lazy-CSeq

  • ECS Postgraduate Research Scholarship University of Southampton

    Awarded on: Jul 22, 2013

    Full studentship for full-time PhD program at the University of Southampton, school of Electronics and Computer Science.

Interests

Interests

  • Nature/Science/Technology

    Quantum ComputingAstronomy Nature Events
  • Sport

    BadmintonSquash Tennis