Currently finishing a PhD in model theory of valued fields (at ENS-PSL in Paris), getting into Applied Category Theory.