Chen Cui
Hong Kong Island, Hong Kong, China
Summary
🤩
Rockstar🎓
Top SchoolChen Cui is a PhD candidate in Programming Languages at The University of Hong Kong with five years of software engineering experience, blending rigorous research with practical systems work. Based in Hong Kong, Chen focuses on language design and implementation while actively engaging with the NixOS ecosystem as a user and package maintainer. This combination of PL research and reproducible, declarative tooling gives Chen a pragmatic edge in building maintainable developer-facing infrastructure. Past academic training in computer science from Shandong University underpins a strong foundation in theory and engineering. Colleagues describe Chen as methodical and curious, often surfacing subtle trade-offs between expressiveness and performance in real projects. Outside of research, Chen contributes to open-source packaging practices that improve reproducibility for other developers.
5 years of coding experience
The University of Hong Kong (HKU)Bachelor of Engineering - BE, Computer Science, Bachelor of Engineering - BE, Computer Science at Shandong University
English, Chinese, Chinese
Github Skills (19)
linux10
nix9
overlays9
nixos9
gnome9
nix-flake9
nixpkgs9
markup8
typesetting8
typst8
nixos-configuration8
compiler5
lambda-calculus4
zoo4
haskell3
Programming languages (9)
Github contributions (5)
cu1ch3n/nixbook
Nov 2023 - Feb 2025
❄️ All Configurations for My Laptop
Contributions:21 PRs, 410 pushes, 13 branches in 1 year 3 months
dotfilesgnomenixnix-flakenixos
cu1ch3n/nixpkgs
Nov 2023 - Nov 2024
Nix Packages collection & NixOS
Contributions:15 pushes, 9 branches in 1 year
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.