Youzhang_Mark_Sun = Person

    { name = "Youzhang (Mark) Sun"

    , interests = ["PL", "Theories", "Mathematics"]

    , github = "GitHub"

    , resume = "Resume"

    }