Trinh, Le-Khanh

Researcher

Lille, France

A Ph.D. student at INRIA - Lille Nord Europe and University of Lille.

My Social Profiles

Profile - About Me

Trinh Le-Khanh
  • Trinh, Le-Khanh
  • August 20, 1992
  • Lille, France
  • trinh.le-khanh@inria.fr
  • +33 (0) 7 64 43 22 10

Anything can go wrong, does.

Có năng khiếu nghĩa là chưa có gì, tài ba chẳng qua là trò con trẻ, chỉ có nghiêm túc mới thành người và chăm chỉ mới tạo nên những bậc vĩ nhân.

Research Interests
Software Evolution

Software changes are inevitable because there are many factors that change during the life cycle of a piece of software. Some of these factors include: Requirement changes.

Software Verification and Testing

Verification and validation (V&V) is the process of checking that a software system meets specifications and that it fulfills its intended purpose.

Open Cloud Computing Interface

The Open Cloud Computing Interface (OCCI) is a set of specifications delivered through the Open Grid Forum, for cloud computing service providers. OCCI has a set of implementations that act as proofs of concept.

Resume - Personal Info

Programming Skills
Foundation Programming: C/C++, Java Core, ...
90%
Web Programming: PhP, Wordpress, ...
90%
Functional Programming: Ocaml, CafeOBJ
85%
Theorem Prover: Isabelle, Event-B
80%
Office Skills
MS Excel
85%
MS Word
95%
Powerpoint
90%
LaTEX
90%
Hobbies Skills
Guitar
80%
DotA
95%
Reading
85%
Language Skills
English
90%
Vietnamese
100%
My Resume
Download My Resume
Education
  • Master of Information Technology 2016 - 2018
    Japan Advanced Institute of Science and Technology (JAIST)

    Formalization and Verification of AUTOSAR OS Standard’s Memory Protection.

  • Bachelor of Information Technology 2010 - 2014
    University of Engineering and Technology, VNUH

    A Method and Tool supporting for Automated Testing Of Web Applications.


Awards
  • 2017

    Master’s program scholarship
    JAIST
  • 2016

    JASSO scholarship
    JASSO
  • 2014

    Encourage Academic Scholarship for Outstanding Thesis
    UET, VNUH
  • 2014

    First Prize in “The Student Academic Research Contest”
    Faculty of Information Technology, UET, VNUH
  • 2013

    First Prize in “The Student Academic Research Contest”
    Faculty of Information Technology, UET, VNUH
  • 2011-2014

    Encourage Academic Scholarship for Outstanding Students
    UET, VNUH

Experience - My Experience


    4
  • October 01, 2019
  • with Simon Bliudze, Philippe Merle
  • OCCIware, JavaBIP

Essentially, any software entity that goes beyond simply computing a certain function necessarily has to interact and share resources with other such entities. Correct coordination of access to resources among concurrent software entities is fundamental to ensuring that they satisfy user and system requirements avoiding operational faults and deadlock situations. This proposal targets the correct coordination of access to cloud resources among concurrent cloud application entities.

Read More
  • October, 2018
  • with UT Dallas, USA
  • python, machine learning

To detect such inconsistency, it first generates the candidate name and then compares thecurrent method name against that candidate. The more similar the more consistent they are.An inferred method name could be used for suggesting to replace the name of an inconsistentmethod, or to be used as the name of an un-named-yet method at the first place.

Read More

Contact - Contact Me

Contact info
  • Adress: Lille, France.

  • Email: trinh.le-khanh@inria.fr
  • Phone: +33 (0) 7 64 43 22 10
  • Website: www.trinhlk.github.io
  • Skype: trinhlk.vnu@gmail.com
Follow me
Let's keep in touch