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.