CS Prof at Université Paris Cité (IRIF). Dabbing in logic, computational complexity, verification, etc. Personal account and personal views; expect […]

[bridged from https://social.sciences.re/@sylvainschmitz on the fediverse by https://fed.brid.gy/ ]