Josh Ko
My blogs
Gender | Male |
---|---|
Industry | Student |
Occupation | DPhil Student |
Location | Oxford, Oxfordshire, United Kingdom |
Introduction | As simple as possible, but no simpler. |
Interests | Computing Science, Program Derivation, Algebra of Programming, Theory of Computation, Programming Languages, Type Theory, Philosophy, Logic, Mathematics, Music |
Favorite Movies | The Matrix, The Sound of Music, Moulin Rouge, Back to the Future, Star Trek: the Next Generation, Star Trek: Voyager, Yuusha-Oh: GaoGaiGar |
Favorite Music | Fryderyk Chopin, Sergei Rachmaninoff, Pyotr Ilyich Tchaikovsky, The Phantom of the Opera, Les Misérables, Miss Saigon, Notre-Dame de Paris, Eric Clapton, Celine Dion |