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 favorite song, ever. This is my favorite image, ever. Enjoy.

Links

Here are some spots where you can follow me. Don't be shy.

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