Fengyun Liu

I’m a software developer, interested in programming languages.

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 or domain-specific languages: CV.

Links: blog, lang, prog, github