Nathan Gallone

Actually, call me Anna.

(Perhaps someday, Femto-ST institute will acknowledge it)

I'm a Computer Sciences PhD student specialized in formal methods for distributed systems. I'm currently developing the Chips language. My main research interest is around pluri-disciplinary projects involving interactions between softwares and real world elements such as physics, electronics or social sciences.

Also teaching Computer Science at Université Marie et Louis Pasteur.

https://nwaitdev.github.io/