Chao-hong Chen
Research Scientist at Meta
United States
Summary
👤
Senior🎓
Top SchoolChao-hong Chen is a research scientist at Meta with 12 years of experience focused on programming languages, functional programming, and software verification. He holds a PhD in Computer Science from Indiana University Bloomington and began his career improving performance and concurrency at Incentia Design Systems. Prior to Meta he taught as an associate instructor, blending rigorous academic research with practical software engineering. His work bridges formal verification techniques and real-world concurrent systems, bringing a developer’s pragmatism to research problems. Based in the United States, he combines deep theoretical training with hands-on experience shipping performant, maintainable systems.
12 years of coding experience
9 years of employment as a software developer
Master of Science (MS), Computer Science, Master of Science (MS), Computer Science at National Chiao Tung UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Indiana University Bloomington
Chinese, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (46)
ledger9
financial9
bengali9
blockchain9
fintech9
xrp9
verifiable-credentials9
cryptocurrency9
type-theory8
hackage8
ethereum8
agda8
diem8
dependent-types7
homotopy-type-theory7
Programming languages (6)
Github contributions (5)
DreamLinuxer/popl21-artifact
Oct 2020 - May 2021
Contributions:26 commits, 11 pushes in 7 months
DreamLinuxer/agda-categories
Jul 2020 - Aug 2021
A new Categories library for Agda
Contributions:21 pushes in 1 year 1 month
agda
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.