Zhouheng (Jeffrey) Sun

I'm a first year master student in Computer Science in Stanford University. I got my B.S. in Comp Sci from UCLA.

Introduced to the game as a competitive programmer, I have a passion in math and technically complex problems.
I'm also a PL enthusiast who believes verification tools and the functional style will reshape how we do software in the years to come.
I take delight in beautiful visuals too, and I build visual notebooks for fun.
And I speedcube a bit.

Github Blog CV
TopGoaler

A social app where friends create groups to log progress and achieve goals together.

LoopInvGen

A data-driven inference engine for Program Verification, contributor to.

15-puzzle.com

Web's first sliding puzzle player and solver. (will be back online soon)

Hymnia

A selfie-to-mood-to-music recommendation app.

Keim

A 3-hour hack of an efficient English IM, one of the many small things I built for fun.

To be continued...