Computer Science PhD/Maths BSc student at TU München, anglophile, addicted to formal proofs/interactive theorem proving and Earl Grey.
Interests include mathematics, computer science, physics, chemistry; phonology, linguistics and languages; science fiction in particular and film and literature in general.