Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance. #HelloESR
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Global HE news, data, insights and events
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
"Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Officiel konto for Aarhus Universitet.
Find en ekspert fra AU 👉 https://www.au.dk/om/presse
Le laboratoire français de #recherche et d'innovation en sciences et #technologies du #numérique
CNRS, Université de Rennes, Inria, Inserm, INSA Rennes, ENS Rennes, IMT Atlantique, CentraleSupélec, Université Bretagne Sud
www.irisa.fr
#50ansIRISA
Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
L’actualité des laboratoires du CNRS sur le territoire #ParisSaclay, cluster scientifique, technologique et d'innovation.
Laboratoire lorrain de recherche en informatique et ses applications.
www.loria.fr
Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
