Fengyun Liu thoughts on programming, language and logic

I am a programmer, I enjoy writing (meta-)programs.

I’m passionate about using programming languages and formal methods to address programmability, performance, security, reliability and productivity challenges.

I just defended my thesis (slides). I’m looking for jobs related to programming languages: CV.


» Eight-Queens Puzzle and Type System
» Programming as Theory Building
» Referential transparency, definiteness and unfoldability
» Synchronous Dataflow Programming Languages
» Encoding Tuples and Variants in System F
» Intuitionistic Logic
» Types and Programming Languages
» Flow Control and Congestion Control in TCP
» Distributed Algorithms
» Wait-Free Concurrent Computing
» ...