Je m'intéresse aux mathématiques, à la logique, et à l'informatique théorique.