:PROPERTIES: :ID: 828fe821-41a1-492c-ac3b-6d875d8494cf :mtime: 20230920103046 20230919125500 :ctime: 20230919125451 :END: #+title: Atticus Kuhn #+filetags: :public:project: I am a [[id:8f7be8df-92b0-4cc9-8cac-256081935e94][computer science]] and mathematics enthusiast. I am particularly keen on how we can use computers to advance our understanding of constructive mathematics. I also like the fields of abstract algebra and category theory. Starting in [2023-10-03 Tue], I studied computer science at [[id:92f8de84-d2a3-4418-a97f-b7e1651ff34c][Trinity College]] in [[id:517f8b21-0d69-42dc-b902-0fd6ca8299e0][Cambridge]]. If you want to reach out to me, I would be happy to talk. See [[id:c03aa1d8-7145-4cc3-b73a-9123638af271][Contacting Atticus Kuhn]] for more information.