Jules Chouquet
JulesChouquet@social.sciences.re
<p>Je suis enseignant-chercheur en informatique à l’Université d’Orléans, je m’intéresse tout particulièrement aux sémantiques de langages issus du λ-calcul, et plus généralement aux liens entre informatique et logique.</p><p>Avant ça j’ai fait des études de philosophie et de logique (Paris 1 — Sorbonne), puis une thèse portant essentiellement sur la Logique Linéaire (Paris-Diderot — irif).<br />J’aime aussi la BD, l'escalade, le jardin, la musique, et plein d’autres choses.</p>
Posts
-
Post #3133927
@MonniauxD Je suis né et j’ai grandi là-bas, j’ai un souvenir ému des statues d’agneaux de Sisteron dansant la ronde, sur le rond-point dit &quot;de l’abattoir&quot;…
-
Post #3133926
C’est moi où les revues prédatrices ont monté d’un cran dans le style passif/agressif ? « You never wrote back to the letter we sent you on the date below. We have sent you two letters. Please listen to what we have to say this time. This is just a polite way to remind you of what we talked about before. We are writing to find out how your planned submission of a manuscript is going. » #esr