Personal information

Emails & domains

Verified email domains

Websites & social links

Personal website
GitHub profile
LinkedIn profile
Google Scholar profile

Keywords

category theory, probabilistic programming, Bayesian nonparametrics, programming language theory, logic, semantics, computational neuroscience

Countries

France, United Kingdom

Biography

My name is Younesse Kaddar. I'm a DPhil computer science student at the University of Oxford, formerly a theoretical computer science student at the École Normale Supérieure Paris-Saclay. My interests mainly lie in category theory, mathematical logic, programming language theory, categorical semantics, probabilistic programming, computational neuroscience, and cognitive science.

Activities

Collapse all

Employment (5)

Mila - Quebec Artificial Intelligence Institute: Montreal, Quebec, CA

2023-08-01 to present | Research Intern
Employment
Source: Self-asserted source
Younesse Kaddar

University of Cambridge: Cambridge, Cambridgeshire, GB

2019-09 to 2020-08 | Research intern (Computer Science)
Employment
Source: Self-asserted source
Younesse Kaddar

Macquarie University: Sydney, New South Wales, AU

2019-04 to 2019-08 | Research intern (Mathematics)
Employment
Source: Self-asserted source
Younesse Kaddar

University of Oxford: Oxford, Oxfordshire, GB

2018-06 to 2018-08 | Research intern (Computer Science)
Employment
Source: Self-asserted source
Younesse Kaddar

University of Nottingham: Nottingham, Nottinghamshire, GB

2017-06 to 2017-08 | Research intern (Computer Science)
Employment
Source: Self-asserted source
Younesse Kaddar

Education and qualifications (2)

University of Oxford: Oxford, Oxfordshire, GB

(Christ Church; Department of Computer Science)
Education
Source: check_circle
ORCID Integration at the University of Oxford

École Normale Supérieure Paris-Saclay: Cachan, Île-de-France, FR

2016-09-03 to 2020-09-30 | Bachelor's degree (Computer Science), Master's degree (Parisian Master of Research in Computer Science), ENS Paris-Saclay Diploma (Computer Science)
Education
Source: Self-asserted source
Younesse Kaddar

Works (7)

Can a Bayesian Oracle Prevent Harm from an Agent?

SuperIntelligence - Robotics - Safety & Alignment
2025-03-05 | Journal article
DOI: 10.70777/si.v2i1.13799
Contributors: Yoshua Bengio; Matt McDermott; Michael K. Cohen; Nikolay Malkin; Damiano Fornasiere; Pietro Greiner; Younesse Kaddar
Source: check_circle
Crossref

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
DOI: 10.1145/3632903
Contributors: Nate Ackerman; Cameron E. Freer; Younesse Kaddar; Jacek Karwowski; Sean Moss; Daniel Roy; Sam Staton; Hongseok Yang
Source: check_circle
Crossref

Affine Monads and Lazy Structures for Bayesian Programming

Proceedings of the ACM on Programming Languages
2023-01-09 | Journal article
DOI: 10.1145/3571239
Contributors: Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton
Source: check_circle
Crossref

Ideal Distributors

ENS Paris-Saclay & University of Cambridge
2020-08 | Report
Source: Self-asserted source
Younesse Kaddar

Tricocycloids, Effect Monoids and Effectuses

ENS Paris-Saclay & Macquarie University
2019-08 | Report
Source: Self-asserted source
Younesse Kaddar

Event Structures as Presheaves

ENS Paris-Saclay & University of Oxford
2018-08 | Report
Source: Self-asserted source
Younesse Kaddar

Types are Brunerie globular weak ω-groupoids

ENS Paris-Saclay & University of Nottingham
2017-08 | Report
Source: Self-asserted source
Younesse Kaddar
How many people are using ORCID?