Because of social distancing measures in response to the COVID-19
pandemic, meetings will take place via videoconferencing.
Please email me for information on how to set up a meeting.
Deniz Sarikaya studies Philosophy and Mathematics at the University of Hamburg. His main interest lies in Philosophy of Mathematics, Logic and Graph Theory. He tries to develope a project on the Philosophy of Mathematical Practice concerning the Philosophical impact of the usage of automatic theorem prover during his stay at the UC Berkeley.