Fengyun Liu

I’m a PhD student at LAMP/EPFL, supervised by Professor Martin Odersky.

Interests

My research focus is to make programming safer by checking properties that are not captured by the core type system, e.g. proper initialization ordering, purity, immutability, linearity.

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

I’m looking for jobs related to programming languages or domain-specific languages: CV.

Links: blog, lang, prog, github