Langues

L’objectif de ce blog est de me forcer à écrire des documents complets sur des sujets que j’ai appris ou que je suis en train d’apprendre, principalement en rapport avec les mathématiques et l’informatique, dans le but de les comprendre et les maîtriser au mieux.

J’espère que cela engendra du contenu qui vaut le coup d’être lu par d’autres personnes.

Maintenant à propos de moi : je m’appelle adya et j’étudie actuellement dans un master de mathématiques appliquées en France spécialisé dans l’optimisation numérique et l’intelligence artificielle.

Mon objectif professionnel est d’enseigner à l’université et de faire de la recherche dans un domaine à la jonction entre les fondements des mathématiques et de l’informatique théorique avec un intérêt spécial pour la logique mathématique, l’intelligence artificielle et les méthodes de preuve assistée et automatisée.