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 Research Associate & PhD Candidate at the University of Oxford, and Director of Recursive Safeguarding Ltd, working on programming language semantics, Bayesian probabilistic programming, and deep learning for reasoning. Welcome to my website!

      About Me

    Email GitHub Google Scholar LinkedIn ORCID CV

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