Eason Du
Research Assistant at Chinese Academy of Sciences
Shenzhen, Guangdong Province, China
Summary
🤩
Rockstar🎓
Top SchoolEason Du is a research-oriented software engineer with 11 years of experience building distributed systems, static analysis tools, compilers, and ML-driven data pipelines across academia and industry. He has blended production engineering—designing OLAP pipelines on Spark/Scala and integrating C++ into analytics stacks—with formal methods work, including probabilistic program verification and hardware formal verification using Scala/Chisel. Eason contributes to notable open-source projects such as the Idris dependently-typed language, where he implemented runtime and prelude features that touch language internals and C runtime interaction. A pragmatic manager, he favors tackling the hardest risks first, invests in productivity tooling that pays long-term dividends, and prioritizes team alignment before diving into solutions. His background in mathematics and programming languages informs a rigorous approach to correctness and performance, while side research in functional and formal math keeps him grounded in theory. Based in Shenzhen, he combines systems-level engineering with formal verification skills to deliver robust, verifiable software.
11 years of coding experience
6 years of employment as a software developer
Mathematicsprogramming languages, Mathematicsprogramming languages at University of OregonMathematics, Mathematics at Københavns Universitet - University of CopenhagenTechnical University of DenmarkBachelor's degree Optics/Optical Sciences, Bachelor's degree Optics/Optical Sciences at Shenzhen University
English, Chinese
Github Skills (28)
javascript10
typescript10
c1110
c1710
idris10
typescript-types10
typescripts10
supabase10
cli10
filesystem9
ff9
apidoc9
ffi9
api9
nodejs9
Programming languages (18)
Github contributions (5)
opral/monorepo
Sep 2021 - Nov 2021
lix (change control system) && inlang (globalization ecosystem for software built on lix)
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:39 commits, 4 PRs, 18 pushes in 1 month
Contributions summary:Eason implemented a pizza ordering CLI application, including options for toppings like peppers, pineapple, and cheese. They introduced a Supabase integration, adding API endpoints and a login interface within the CLI. The user also merged changes from other branches and updated the project's database schema and dependencies, indicating a contribution to both frontend and backend aspects of the project.
vscode-extensiontranslationinfrastructureinternationalizationlocalisation
idris-lang/Idris-dev
Jul 2018 - Jul 2018
A Dependently Typed Functional Programming Language
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits, 2 PRs, 10 comments in 6 days
Contributions summary:Eason primarily focused on adding and modifying core functionalities within the Idris programming language's prelude and runtime system. They implemented the `eitherToMaybe` function, added functionality to interact with the file system by implementing `currentDir`, and subsequently fixed and improved the implementation. Their work involves interacting with the C runtime and utilizing `MKSTR` for string handling, indicating an understanding of the language's internals and system-level interaction. The contributions are essential for expanding the language's capabilities.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
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.