Ton Chanh Le

Senior Smart Contract Researcher at Algorand
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Jersey City, New Jersey, United States, JE

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • IBM Blockchain Essentials
    IBM
    Sep, 2017
    - Nov, 2024
  • Big Data Foundations - Level 1
    IBM
    Dec, 2016
    - Nov, 2024
  • Big Data Foundations - Level 2
    IBM
    Dec, 2016
    - Nov, 2024
  • Scala Programming for Data Science - Level 1
    IBM
    Dec, 2016
    - Nov, 2024

Experience

  • Algorand Technologies
    • United States
    • Software Development
    • 1 - 100 Employee
    • Senior Smart Contract Researcher
      • Jul 2022 - Present

  • Stevens Institute of Technology
    • United States
    • Higher Education
    • 700 & Above Employee
    • Research Scientist
      • Jan 2019 - Jul 2022

    • Postdoctoral Research Scholar
      • Mar 2018 - Dec 2018

  • University of Houston
    • United States
    • Higher Education
    • 700 & Above Employee
    • Researcher
      • Nov 2017 - Feb 2018

  • National University of Singapore
    • Singapore
    • Higher Education
    • 700 & Above Employee
    • Postdoctoral Research Fellow
      • Apr 2015 - Oct 2017

      Developed induction proof techniques for separation logic.

    • Research Assistant
      • Jan 2010 - Mar 2015

      Developed a mechanism for program termination and non-termination reasoning and inference via abduction and case analysis. Proposed a formal proof slicing framework to enhance off-the-self back-end theorem provers in software verification.

  • Bach Khoa University (fomerly Ho Chi Minh City University of Technology)
    • Vietnam
    • Education Management
    • 200 - 300 Employee
    • Research Assistant
      • Jan 2009 - Dec 2009

      Utilized RTL and MD languages to develop a back-end for the Infineon C16x microcontroller family on GCC. This GCC port can generate C16x’s assembly code for nearly full C operations and utilize some special hardware-specific instructions of C16x for code optimization. Utilized RTL and MD languages to develop a back-end for the Infineon C16x microcontroller family on GCC. This GCC port can generate C16x’s assembly code for nearly full C operations and utilize some special hardware-specific instructions of C16x for code optimization.

Education

  • National University of Singapore
    Doctor of Philosophy (Ph.D.), Computer Science
    2010 - 2015
  • Ho Chi Minh City University of Technology
    Bachelor of Engineering (B.Eng.), Computer Science, Honor Degree
    2004 - 2009

Community

You need to have a working account to view this content. Click here to join now