Ici Amélia Coutard-Sander, future informaticienne (si tout se passe bien) (actuellement en stage de M2).

J’aime bien tout ce qui est théorie des types, langages de programmation, et preuves formelles, mais également le très bas niveau (même si j’en fais trop peu).