+++
title = "Lyes' website"
aliases = ["/en/home"]
[extra]
styles = ["home.css"]
scripts = ["index/index.js"]
no_header = 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">
        Studying the foundations of computer science
      </div>
    </div>
  </div>
  <div class="buttons start big">
    <a class="suggested" href="#who-am-i">About me ↓</a>
    <a href="/en/studies/">My studies ↗</a>
    <a href="/en/research/">My research ↗</a>
  </div>
</div>

## Who am I ?

My name's Lyes Saadi (in phonetic :
{{ audio(name="/ljes/ /sæ.ɑːdi/", url="index/pron_ipa.flac") }}, in arabic :
{{ audio(name="إِلْيَاسْ السَّعْدِي", url="index/pron_ar.flac") }}), my pronouns are
He/They and I am <span id="age">(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
^^)</span> years old!

Currently, I'm in my 2<sup>nd</sup> year of Master's at the Parisian Master of
Research in Computer Science ([MPRI](https://mpri-master.ens.fr/))
and in my 3<sup>rd</sup> year of studies at the École Normale Supérieure
de Paris-Saclay.

### My passions

I have long been passionate about computer science. My interests are mainly
around the foundations of computer science and its interactions with
mathematics. In particular, I am interested in 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 staunch activist for free software! For example, this website uses 
[Zola](https://www.getzola.org/) and [Ametrine](https://ametrine.daudix.one/)
and is served by my own server `zora`, currently hosted in the bay of the
[Cr@ns](https://crans.org/)! I use on both my server and my own personal
computer [NixOS](https://nixos.org/). 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 :steam_locomotive:!

### My goals in life

Currently my main goal in life is striving to become a university professor! As
both research and teaching appeal to me. But I still have a long way ahead of
me !

I love doing research, working every day to change the world, type by type,
functor by functor. And 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 or misunderstood
by the wider public. Computer science isn't only computers and programs, but
it's also a whole other world of science that extends upon mathematics and
logics!

## Contacting me

To reach me, I prefer to be contacted:
- by mail : `perso.web-1` at `lyes.eu`
- by matrix : [`@lyessaadi:crans.org`](https://matrix.to/#/@lyessaadi:crans.org)
- by signal : [`ntlyes.42`](https://signal.me/#eu/bFE8tdLcYtSVBxPpu0ErfZ8ZlcC1jMmres4JOfzYn4b9v8h3UxlHWJ3rTSYWwmEd) 

<iframe id="mpring" src="https://mpring.f4mnq.fr/ring.html" title="Webring amical" style="width: 300px; height: 120px;"></iframe>