victoryyw.github.io - Yongwei's Website

Description: Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in your feed.xml site description.

Example domain paragraphs

PhD student in PL

I am a PhD student at Purdue University, where I am fortunate to be advised by Roopsha Samanta . I also enjoy being part of PurPL group. Prior to that, my interest in programming languages was sparked while working with Cyrus Omar during my senior year. I was an intern at Automated Reasoning Group of Amazon in 2022 Summer.

I am broadly interested in programming languages and formal methods. In particular, I enjoy developing techniques to streamline and automate the art of programming. Currently, my research focuses on program synthesis by examples.

Links to victoryyw.github.io (3)

hazel.org Hazel, a live functional programming environment featuring typed holes.
purduepl.github.io PurPL
hazelgrove.github.io Hazel, a live functional programming environment featuring typed holes.