Hello, You!

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

My name is Rex Yuan. You can contact me at  <hello at this domain>.

This is my favorite song, ever. Enjoy.


Here are some spots where you can cyberstalk 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.