Phd student within the field of Knowledge Representation and Reasoning