George Pîrlea
PhD Candidate
Singapore
Summary
🤩
RockstarGeorge Pîrlea is a PhD candidate based in Singapore with 12 years of software engineering experience focused on formal verification, distributed systems, and blockchain technologies. He blends deep academic research with practical engineering, pursuing rigorous correctness guarantees for distributed protocols while maintaining an eye for real-world deployment challenges. Active in the research and developer communities at NUS, he brings both theoretical depth and hands-on systems experience. Notably, his profile reflects a long-standing commitment to trustworthy, auditable software—an asset for teams building critical infrastructure or permissionless systems.
12 years of coding experience
Stackoverflow
385reputation
36kreached
10answers
0questions
Github Skills (101)
editor10
electron10
typescript10
verification10
vscode10
blockchain-platform10
proofs9
dependent-types9
plutus9
coq9
smt9
logic9
homotopy-type-theory9
wolfram-language9
agda9
Programming languages (16)
Github contributions (5)
BitKariero/bitkariero
Jan 2017 - Apr 2017
Contributions:73 commits, 22 PRs, 50 pushes in 3 months
professionalethereumdecentralisedcredentialsrecord
dranov/jepsen
Nov 2021 - Apr 2023
A framework for distributed systems verification, with fault injection
Contributions:14 pushes, 2 branches in 1 year 5 months
gleaminjectionfaulttladistributed-systems
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.