halfaya.org - Halfaya Research

Example domain paragraphs

I perform on 中阮 (zhongruan) with the Seattle Chinese Orchestra . I also compose music and play the piano.

I was co-chair (with Youyou Cong ) of FARM 2022 , the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design. In 2023 I am again co-chair of FARM , this time with Mae Milano .

I was an alpine climb and scramble leader for the Mountaineers , although I'm taking a break from mountaineering.

Links to halfaya.org (3)

uwplse.org UW PLSE
proofengineering.org Proof Engineering
uwplse.github.io UW PLSE