Cheng Li
Faculty At School Of Computer Science And Technology at University of Science and Technology of China
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolCheng 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
11 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science (Dependability of Cloud Computing), Doctor of Philosophy (PhD), Computer Science (Dependability of Cloud Computing) at Max Planck Institute for Software SystemsBachelor, Computer Science, Bachelor, Computer Science at Nankai UniversityDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Universität des SaarlandesExchange student, Computer Science, Exchange student, Computer Science at University of California, Los Angeles
English, Chinese
Github Skills (7)
jgroups4
consensus3
raft-protocol3
paxos2
distributed-systems2
raft2
high-performance1
Programming languages (1)
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.