I`m a postdoc at Aalborg University, Denmark, Dept. of Computer Science. I`m interested in theoretical computer science and mathematics in general. My main interests includes, but are not limited to, category theory, topology, measure theory and mathematical logics. I`m not an expert in any of these fields, but I like to prove theorems and get to know new proof techniques.
©