I am a PhD student at EPFL, working with Prof. Clément Pit-Claudel in the SYSTEMF lab.

My current research focuses on program verification, with a particular interest in making it easier to verify shared and mutable data structures.

I often find myself easily (and happily) distracted by related topics in programming languages and type theory.

About my name

My given name is 雅雯, 雅 is a traditional aesthetic ideal ("elegance"), and 雯 means streaked or patterned clouds.

In everyday life, I go by Miya as the short form of Miyabi (雅・みやび in Japanese), as it is easy to pronounce and carries the same meaning.