Younesse Kaddar
  • About Me
  • Posts
  • Sections
  • LLM APIs Pricing
  • Linear Logic (M2)
  • Domains, Categories, Games (M2)
  • Algebraic Topology & Concurrency (M2)
  • Topological Data Analysis (M2)
  • Biochemical Programming (M2)
  • Categories Work (M2)
  • Homological Algebra (M2)
  • Théorie des modèles (M2)
  • Foundations of proof systems (M2)
  • Proof assistants (M2)
  • Functional Programming (M2)
  • Game Theory in CS (M2)
  • Preuves et programmes (M1)
  • Homotopy Type Theory (M1)
  • Neuromodeling (M1)
  • Computational neuroscience (M1)
  • Neuro-robotique (M1)
  • Machine Learning for Neuroscience (M1)
  • Preuve assistée par ordinateur (M1)
  • Topologie algébrique (M1)
  • Tree Automata (M1)
  • Advanced Complexity (M1)
  • Categories and Lambda-calculi (M1)
  • Modules et groupes (M1)
  • Statistical Learning (M1)
  • Computer Vision (M1)
  • Robot Motion Planning (M1)
  • Neuroanatomie (M1)
  • Initiation to Research (M1)
  • Logique (L3)
  • Langages formels (L3)
  • Maths discrètes (L3)
  • Lambda-calcul (L3)
  • Calculabilité & Complexité (L3)
  • Programmation (L3)
  • Algorithmique (L3)
  • Algèbre (L3)
  • Architecture et Système (L3)
  • Exercices
  • Club Algo
  • Anglais (L3/M1)
  • Prépa (MP*)
  • Conférences
  • Tags

    younesse.net

    Hi! My name is Younesse Kaddar. I'm a theoretical computer science PhD student at the University of Oxford working on programming language semantics, Bayesian probabilistic programming, and category theory. Welcome to my website!

      About Me

    Email GitHub Google Scholar LinkedIn ORCID CV

    • Follow:
    • GitHub
    • Bitbucket
    • Google Scholar
    • LinkedIn
    • ORCID
    • LazyPPL
    • RightPick
    • Feed