Thanks for dropping by. I hope you're having a nice day.
My English name is Rex Yuan. My Chinese name is 袁 至 誠 .
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.
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.