MSc in Physics PhD Researcher in Logic and Automated Reasoning