It looks like you're new here. If you want to get involved, click one of these buttons!
I'm a theoretical CS graduate student at the Ecole Normale Supérieure Paris-Saclay, in Paris, France. Here is my personal website: http://younesse.net
I'm fascinated by category theory, λ-calculus, and logic, especially for their potential applications to modeling the human brain/reasoning (which one of my innermost goals!).
I'm really excited to join the forum, and I'm looking forward to working with you!