I am an experienced software architect. My main interests are the logical basis of computer science, the theory of complex system and category theory.