I am a Computer Science undergraduate at City University of Hong Kong. I am exploring many different topics in math, physics, and programming for fun (also for my future). Currently, I am interested in symbolic computation and theorem prover.