Ph.D. student at Inria Rennes. Working on the formal semantics of ES in skeletal semantics.

Links:

• Skeletal Semantics [2019]
• JSkel: Towards a Formalization of JavaScript's Semantics [2021]
• JSkel repo