pandaworrior
Summary
👤
SeniorCheng Li is a computer systems researcher and faculty member at the School of Computer Science and Technology with 11 years of experience designing and evaluating large-scale distributed systems, geo-replication, and consistency-performance trade-offs. He earned a PhD focused on dependable cloud computing from Saarland University/Max Planck Institute and has held roles at Oracle Labs, INESC-ID, and Microsoft where he implemented RAFT leader election into rDSN during a research internship. Based in Zurich, Cheng combines rigorous academic research with practical system-building, emphasizing performance, fault tolerance, and availability in operating systems, databases, and distributed platforms. He values collaborative problem-solving and incremental progress, believing that complementary teams unlock capabilities beyond an individual researcher. An understated strength is his track record of turning theoretical consistency models into implemented, high-performance replication mechanisms that are usable by real developers.
11 years of coding experience
Github Skills (5)
consensus3
jgroups3
raft-protocol2
raft2
distributed-systems1
Programming languages (2)
Github contributions (5)
pandaworrior/SIEVE
Mar 2016 - Aug 2019
Contributions:54 commits, 51 pushes, 2 branches in 3 years 5 months
pandaworrior/VascoRepo
May 2015 - Jul 2019
Contributions:83 commits, 83 pushes, 2 branches in 4 years 2 months
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.