Hello, You!

Thanks for dropping by. I hope you're having a nice day.

My English name is Rex Yuan. My Chinese name is (Yuan) (Chih) (Cheng) .

I am from Taipei, Taiwan.

You can contact me at  <hello at this domain>.

This is my blog. It is a JavaScript-free static Jekyll site hosted on GitHub.

This is my favorite song and this is my favorite image, ever. Enjoy.

Links

If you're into Logic / Formal Methods / Programming Languages Theory, then you should like my Page and join my Discord.