Skip to content

Ton Chanh Le

  • PHD
  • Postdoctoral Research Fellow
  • Department of Computer Science, National University of Singapore
  • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 20CitationsNumber of citations received by Ton Chanh's publications. Updated daily.

Other IDs

Research interests

Software Verification

Co-authors (7)

  • Anh Cuong Nguyen
  • Quang Loc Le
  • Cristian Gherghina
  • Duy Khanh LE
  • Asankhaya Sharma
  • Wei-Ngan Chin

Publications (3)

  • Termination and non-termination specification inference

    • Le T
    • Qin S
    • Chin W
    N/AReaders
    N/ACitations
    Get full text
  • A Resource-Based Logic for Termination and Non-termination Proofs

    • Le T
    • Gherghina C
    • Hobor A
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • A Proof Slicing Framework for Program Verification

    • Le T
    • Gherghina C
    • Voicu R
    • et al.
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Postdoctoral Research Fellow

Department of Computer Science, National University of Singapore

April 2015 - Present

Education history

Doctoral

National University of Singapore

January 2010 - January 2015(5 years)