Who am I ?
My name’s Lyes Saadi (in phonetic : , in arabic : ), my pronouns are He/They and I am (i was born on the 18/04/2002, you can compute my age yourself if you are skilled enough to know how to deactivate JavaScript ^^) years old!
Currently, I’m in my 2nd year of Master’s at the Parisian Master of Research in Computer Science (MPRI) and in my 3rd year of studies at the École Normale Supérieure de Paris-Saclay.
My passions
I have long been passioned by computer science. My interests are mainly around the foundations of computer science and its interactions with mathematics. In particular, I am interested by type theory, category theory, proof assistants, programming languages and logics. I am also very interested with the interactions between these domains and other domains of computer science and mathematics.
I am also a staunnch activist for free software! For example, this wesite uses
Zola and Ametrine
and is served by my own server zora, currently hosted in the bay of the
Cra@ns! I use on both my server and my own personal
computer NixOS. I also contribute to a wide variety of
Free or Open Source software when I have some free time.
Outside of computer science, I also follow with great attention the debats around the academic world. I also follow debates around urbanism and public transportation. Tchoo tchoo 🚂 !
My goals in life
Currently, my main goal in life is trying to become a university professor, to do both research and teaching.
I would like to do research first and foremost, to change the world, type by type, functor by functor. But also because theoretical computer science is too awesome and incredible not to dedicate oneself to its study.
But also teaching, to spread further the beautiful world that is theoretical computer science, which unfortunately remains largely unknown to the wider public. Computer science isn’t only computers and programs, but it’s also a whole other world of science which extends upon mathematics and logics !
Contacting me
To reach me, I prefer to be contacted using one of the following ways:
- mail :
perso.web-1atlyes.eu - matrix :
@lyessaadi:crans.org - signal :
ntlyes.42