Hey! My name is Florian Chudigiewitsch and I`m currently a computer science student at Leibniz Uni Hannover, Germany. My main interests lie in theoretical computer science, in particular: theory of computation and proof theory -- what are the limits of computer science and mathematics? algebraic logic -- what are the ways of mathematically formalizing semantics? quantum computing -- what are the complexity implications of this new model of computation and how can they be leveraged? homotopy type theory -- what happens if you change the framework of mathematical proofs? programming paradigms -- what are the foundational models of programming languages and how do they compare? Further topics of interest include (but are not limited to): physics, mathematics, linguistics, history and philosophy.
©