Cette thèse porte sur les propriétés mathématiques du Calcul et, plus particulièrement, sur le déterminisme et la séquentialité. Dans une perspective issue de la théorie de la démonstration, elle porte aussi sur l’accès aux ressources, avec l’étude des exponentielles de la Logique Linéaire, ainsi que sur l’interactivité interne du Calcul, dont la Ludique de J.-Y. Girard tire par ailleurs parti.
Notre point de vue est celui de la sémantique dénotationnelle : nous modélisons le Calcul en interprétant ses (...)
Pierre Boudes
... | 227 | 228 | 229 | 230 | 231 | 232 | 233 | 234 | 235 | 236 | 237 | 238 | 239 | 240 | 241 | 242 | 243 | 244 | 245 | 246 | 247 | 248 | 249 | 250 | 251 | 252 | 253 | 254 | 255 | 256 | 257 | 258 | 259 | 260 | 261 | 262 | 263 | 264 | 265 | 266 | 267 | 268 | 269 | 270 | 271 | 272 | 273 | 274 | 275 | 276
Bienvenue sur ma page web professionnelle. Je m’appelle Pierre Boudes. Titulaire d’un doctorat de mathématiques obtenu en 2002, je suis maître de conférences en informatique à l’université Paris 13, depuis septembre 2005.
Plus précisément, je suis :
– chercheur en théorie de la démonstration et de la programmation au laboratoire d’informatique de Paris nord (LIPN), UMR CNRS 7030.
– enseignant (et parfois semi-administratif) à l’institut Galilée.
Habituellement, je réponds dans la journée ou le lendemain aux courriels adressés à : boudes@univ-paris13.fr. Vous pouvez également me contacter par d’autres moyens.
J’ai réduit ma présence sur le Fediverse à deux comptes Mastodon :
– professionnel
– personnel.