PhD Student in Germany. Interested in Type Theory, Abstract Mathematics, Open Source Software, Redistribution of Wealth and Combating Climate Change. (He/Him)