Y Liu
Professor at Stony Brook University
Town of Brookhaven, New York, United States
Summary
👤
Senior🎓
Top SchoolY Liu is a Professor of Computer Science at Stony Brook University whose research bridges programming languages and algorithms with a special emphasis on incrementalization—the discrete analogue of differentiation—to drive systematic design and optimization. With roots from Peking University and advanced training at Tsinghua and Cornell, he focuses on languages and efficient implementations for declarative system specifications and secure distributed programming. His career blends deep theoretical insight with practical systems thinking, exploring how language design can yield provably efficient implementations. Based in Brookhaven, NY, he brings decades of academic leadership and mentorship to bear on problems that sit between formal methods and real-world distributed systems.
10 years of coding experience
Beijing Huiwen Middle SchoolBS, Computer Science, BS, Computer Science at Peking UniversityPost-Doc, Programming Languages, Post-Doc, Programming Languages at Cornell UniversityMEng 1988 and PhD Program, Computer Science, MEng 1988 and PhD Program, Computer Science at Tsinghua University
Github Skills (15)
multiprocessing10
distributed-algorithms10
distributed-computing9
ray8
python8
distributed-systems7
wolfram-language3
math2
combinatorics2
mathematics2
symbolic-math2
translator1
symbolic-computation1
tla1
computer-algebra-system1
Programming languages (2)
Github contributions (5)
DistAlgo/examples
Mar 2018 - Dec 2020
Contributions:7 commits, 6 pushes in 2 years 8 months
DistAlgo/proofs
Jun 2018 - Nov 2019
Contributions:7 commits, 6 pushes, 1 branch in 1 year 5 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.