Pham Long
Senior Research Scientist at Singapore Management University
Singapore
Summary
👤
Senior🎓
Top SchoolPham Long is a Senior Research Scientist based in Singapore with 10 years of experience in program verification, program analysis, and software engineering, holding a Ph.D. from SUTD. He has led development of verification and testing frameworks for heap-manipulating programs, neural networks, and smart contracts, combining abstract interpretation, symbolic/concolic execution, constraint solving, and statistical model checking. Proficient in Python, Java, OCaml, C/C++, LaTeX, and Linux, he couples deep theoretical knowledge with hands-on engineering as main developer on multiple research engines. Beyond papers, he repeatedly ships research-grade tools—e.g., invariant generators, fuzzers, and neural-network verifiers—that bridge academia and practical verification workflows. Colleagues value him for supervising student projects and turning advanced verification techniques into robust, reusable systems.
11 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Singapore University of Technology and Design (SUTD)Master of Engineering, Computer Science, 9.00/10.0, Master of Engineering, Computer Science, 9.00/10.0 at Ho Chi Minh City University of Technology
Github Skills (10)
unit-testing10
todoist10
duplicates10
sketchup10
giphy10
nim-language10
logic10
testing9
test-automation9
symbolic-execution9
Programming languages (2)
Github contributions (5)
longph1989/Socrates
Mar 2020 - Jan 2023
Contributions:6 releases, 373 commits, 253 pushes in 2 years 11 months
star-finder/jpf-star
May 2017 - Feb 2019
Test input generation using separation logic
Contributions:197 commits, 36 pushes in 1 year 9 months
separationtestinglogicseparation-logicsymbolic-execution
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.