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.