Fengyun Liu

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


My research focus is to make programming safer by checking properties that are not captured by type systems, 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