88 lines
3.5 KiB
Markdown
88 lines
3.5 KiB
Markdown
+++
|
||
title = "Le site de Lyes"
|
||
aliases = ["/"]
|
||
[extra]
|
||
styles = ["home.css"]
|
||
scripts = ["home/index.js"]
|
||
no_header = true
|
||
audio_button = true
|
||
+++
|
||
|
||
<div class="presentation">
|
||
<div class="presentation-inside">
|
||
<img class="no-hover" src="/icon.png" />
|
||
<div class="name-box">
|
||
<div class="name">
|
||
Lyes Saadi
|
||
</div>
|
||
<div class="description">
|
||
Étudiant en informatique fondamentale
|
||
</div>
|
||
</div>
|
||
</div>
|
||
<div class="buttons start big">
|
||
<a class="suggested" href="#qui-suis-je">À propos de moi ↓</a>
|
||
<a href="/studies/">Mon parcours ↗</a>
|
||
<a href="/research/">Mes recherches ↗</a>
|
||
</div>
|
||
</div>
|
||
|
||
## Qui suis-je ?
|
||
|
||
Je m'appelle Lyes Saadi (en phonétique :
|
||
{{ audio(name="/ljes/ /sæ.ɑːdi/", url="pron_ipa.flac") }}, en arabe :
|
||
{{ audio(name="إِلْيَاسْ السَّعْدِي", url="pron_ar.flac") }}), mes pronoms sont Il/Iel
|
||
et j'ai <span id="age">(je suis né le 18/04/2002, vous pouvez calculer mon age
|
||
vous-même si vous savez désactiver JavaScript ^^)</span> ans !
|
||
|
||
En ce moment, je suis en 2<sup>ème</sup> année de Master au Master Parisien
|
||
de Recherche en Informatique ([MPRI](https://mpri-master.ens.fr/)) ainsi qu'en
|
||
3<sup>ème</sup> année d'étude à l'École Normale Supérieure Paris-Saclay.
|
||
|
||
### Mes passions
|
||
|
||
Je suis un passionné d'informatique, notamment des fondements de l'informatique
|
||
et de ses interactions avec les mathématiques. Mes passions sont ainsi la
|
||
théorie des types, la théorie des catégories, les assistants de preuve, les
|
||
langages de programmation et la logique mathématique et informatique. Je suis
|
||
aussi très intéressé par les intéractions de ces domaines avec les autres
|
||
domaines de l'informatique et des mathématiques plus largement.
|
||
|
||
Je suis aussi un ardent défendeur du logiciel libre ! Ce site web utilise ainsi
|
||
[Zola](https://www.getzola.org/) et [Ametrine](https://ametrine.daudix.one/) et
|
||
est servi par mon propre serveur `zora` actuellement hébergé dans la baie du
|
||
[Cra@ns](https://crans.org/) ! J'utilise pour mon ordinateur personnel et mon
|
||
serveur [NixOS](https://nixos.org/). Je contibue aussi à plusieurs projets
|
||
Libre ou Open Source quand j'ai du temps libre.
|
||
|
||
En dehors de l'informatique, je suis avec attention les débats autour du monde
|
||
académique et universitaires. Et j'aime aussi beaucoup suivre les politiques
|
||
d'urbanisme et de transports en communs. Vive les trains :steam_locomotive: !
|
||
|
||
### Mes objectifs dans la vie
|
||
|
||
Actuellement, mon but principal dans la vie est de devenir
|
||
enseignant-chercheur.
|
||
|
||
Faire de la recherche avant tout, pour changer le monde, type par type,
|
||
foncteur par foncteur. Mais surtout parce que l'informatique fondamentale c'est
|
||
trop génial et passionnant pour ne pas s'y plonger corps et groupe[^1] dans son
|
||
étude.
|
||
|
||
Mais aussi de l'enseignement, pour aussi mieux faire connaître ces domaines
|
||
pourtant passionnants, mais malheureusement méconnus du grand public.
|
||
L'informatique ce n'est pas que des ordinateurs et des programmes, mais c'est
|
||
aussi toute une science au prolongements des mathématiques et de la logique.
|
||
|
||
## Me contacter
|
||
|
||
Pour me joindre, je préfère être contacté par ces moyens :
|
||
- mail : `perso.web-1` arobase `lyes.eu`
|
||
- matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org)
|
||
- signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd)
|
||
|
||
<iframe id="mpring" src="https://mpring.f4mnq.fr/ring.html" title="Webring amical" style="width: 400px; height: 160px;"></iframe>
|
||
|
||
---
|
||
|
||
[^1]: Je m'excuse dès à présent pour la qualité sous-optimale de mes blagues.
|