Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy.
Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence.
---
Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
Posts
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
« voter contre ça peut être perçu comme un rejet et avoir de la suspicion sur l'ensemble de l'institution parlementaire »
=> Non. Voter contre un mauvais travail, c'est au contraire montrer qu'on est capable de discernement, et ça donne donc plus de poids aux votes. En approuvant tous les travaux, ça donne l'impression que tout se vaut, et donc montre l'incapacité critique ainsi que le manque d'exigence des commissions.
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.
Ex-apprenti-chercheur en informatique à Grenoble, ex-post-apprenti-chercheur à Oxford, maintenant enseignant-chercheur à Nancy. Je m'intéresse surtout à ce qui est à l'intersection des méthodes formelles et de la concurrence. --- Lecturer (or Master of Conferences (https://fr.wikipedia.org/wiki/Maître_de_conférences_(France)), which sounds much better) in Nancy/LORIA. Working at the intersection of concurrency (message passing), languages, and formal methods.