Utilisateur:Anaximandre

Un article de Wikipédia, l'encyclopédie libre.

Une description style CV (trop fainéant pour autre chose) :

Ingénieur en informatique et mathématiques appliquées. Docteur en informatique.

Spécialité : logique, informatique théorique, fondements des mathématiques ; spécification, conception et vérification (formelles ou non) des logiciels et des systèmes.

Expertise : théorie des types, récriture, lambda-calculs typés, théorie de la démonstration, constructivité, programmation fonctionnelle et concurrente.

Intérêts : littérature moderne (Kundera, Yourcenar, Camus...), psychanalyse (Freud, Lacan), art moderne et contemporain, cinéma d'auteur, structuralisme, musique contemporaine (hip-hop, trip-hop, fusion, ethnique, jungle, ragga, jazz, ...), politique, histoire (antiquité, moyen-âge, XXème s.)...

Sport : roller (en club), snowboard, randonnée en montagne.