Sitemap

Une liste de tous les posts et pages sur le site. Pour les robots : voilà une version XML.

Pages

🇫🇷 Bonjour ! Je m'appelle Younesse Kaddar, et j'étudie l'informatique théorique à l'École Normale Supérieure Paris-Saclay. Bienvenue sur mon site person...

🇫🇷 Bonjour ! Je m'appelle Younesse Kaddar, et j'étudie l'informatique théorique à l'École Normale Supérieure Paris-Saclay. Bienvenue sur mon site person...

Bonjour ! Je m'appelle Younesse Kaddar, et j'étudie l'informatique à l'École Normale Supérie...

Posts

Algebre

Algorithmique

Anglais

Architecture-systeme

Biochemical-programming

Calculabilite

Categories-lambda-calculi

Categories-work

Lecture 1: Basics

\newcommand\yoneda{ {\bf y}} \newcommand\oppositeName{ {\rm op}} \newcommand\opposite[1]{ {#1}^\oppositeName} \newcommand\id[1][{}]{ {\rm id}_{#1}} \newcomma...

Club-algo

Complexity

Computational-geometric-learning

Computational-neuroscience

Computer-vision

Concurrency

Conferences

Domains-categories-games

Exercices

Foundations-proof-systems

Functional-programming

Game-theory-CS

HoTT

Homological-algebra

Lambda-calcul

Langages-formels

Linear-logic

Logique

ML-neuroscience

Maths-discretes

Modules-groupes

Neuro-robotique

Neuroanatomie

Neuromodeling

Prepa

Preuve-assistee-par-ordinateur

HOL

Symmetry in HOL

Isabelle

Isabelle (named by Lawrence Paulson after the daughter of Gérard Huet, as a tribute): a popular generic theorem prover

Preuves-programmes

Programmation

Proof-assistants

Research

Robot-motion-planning

Statistical-learning

Lecture 2: Regression

Linear Regression and Logistic regression: particular cases of empirical risk regression

Theorie-modeles

Topologie-algebrique

Tree-automata

fields