Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy