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 |