Postgraduate student at the University of Gdansk. Many of my interests lie near the intersecting foundations of mathematics, computer science, and theoretical physics.