Name:Ton Chanh Le

Country:United States

Affiliation:Stevens Institute of Technology

Research interests:Software Verification, Program Analysis, Separation Logic, Termination, Non-Termination