-
LAAS-CNRS
- France
- https://dalzilio.github.io/
- https://orcid.org/0000-0002-6002-2696
robert engels
robaho
All work here is personal and has no connection with any business venture or employer past or present.
x-Google Chicago
asciinema
asciinema
Record, stream and share your terminal sessions, the simple way.
Terminal & Browser
Typst
typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Berlin
La Suite numérique
suitenumerique
La Suite numérique is a set of open-source applications for digital collaboration and teamwork. It offers modern solutions for the digital workplace.
France
David Chemouil
grayswandyr
Comp. sci. senior researcher and teacher, occasional programmer, free software advocate
ONERA Toulouse, France
Franck Pommereau
fpom
Full professor in computer science. Developer of the SNAKES Petri nets library, and the ecco modelling and analysis tool.
University of Évry - val d'Essonne Évry, France
Yann Thierry-Mieg
yanntm
Maitre de Conférences, Sorbonne Université, LIP6, CNRS
PhD, HDR
LIP6, Sorbonne Université, CNRS Paris
Nicolas Amat
nicolasAmat
Research Scientist at ONERA, The French Aerospace Lab | Participant in the Model Checking Contest
ONERA, The French Aerospace Lab Toulouse, France