Trinh, Le-Khanh


Lille, France

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

Profile - About Me

Trinh Le-Khanh
  • Trinh, Le-Khanh
  • August 20, 1992
  • Lille, France
  • +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, ...
Web Programming: PhP, Wordpress, ...
Functional Programming: Ocaml, CafeOBJ
Theorem Prover: Isabelle, Event-B
Office Skills
MS Office
Google Office
Hobbies Skills
Language Skills
My Resume
Download My Resume
  • 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.

  • 2017

    Master’s program scholarship (for top 10%)
  • 2016

    JASSO scholarship
  • 2014

    Encourage Academic Scholarship for Outstanding Thesis
  • 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

Experience - My Experience

  • 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

Publications and Contact Info

  • Son Nguyen, Hung Phan, Trinh Le, and Tien N. Nguyen. Suggesting natural method names to check name consistencies. In Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE '20). Association for Computing Machinery, New York, NY, USA, 1372–1384. 2020. DOI:
  • Le Khanh Trinh, Yuki Chiba, and Toshiaki Aoki, Formalization and Verification of AUTOSAR OS Standard's Memory Protection, 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), Guangzhou, 2018, pp. 68-75. DOI:10.1109/TASE.2018.00017
  • Le Khanh Trinh, Vo Dinh Hieu, Pham Ngoc Hung, A Method for Automated User Interaction Testing of Web Applications, Research, Development and Application on Information Technology and Communication Technology, Volume E-3, No.8(11), 2015.
  • Duong Hoang-Minh, Le Khanh Trinh, Pham Ngoc Hung, In Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), 2013 IEEE RIVF International Conference on, pages 22–26, Nov 2013.
Contact info
  • Address: Lille, France.

  • Email:
  • Phone: +33 (0) 7 64 43 22 10
  • Website:
  • Skype:
Follow me
Let's keep in touch