User:3of8

From Wikipedia, the free encyclopedia

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.

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:3of8&oldid=697137623"