Pierre Boudes
-
fichiers : pdf
... | 211 | 212 | 213 | 214 | 215 | 216 | 217 | 218 | 219 | 220 | 221 | 222 | 223 | 224 | 225 | 226 | 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 |...
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.