Recent posts
[Cambridge Internship] Final Report
My ARPE internship report in pdf.
[Sydney Internship] Final Report
My M2 internship report in pdf.
Linear Logic
Lecture 14: The $\bullet ; \bullet ⊢_o \bullet$ Proof System
[⊢_O = ⊢_I = ⊢_C \qquad hC ⊆ hH \qquad ⊢_O = ⊢_I]
Lecture 13: Abstract Logic Programming
Abstract Logic Programming: Proof theory formulations (corresponds to chapter 5 in Dave Miller’s lecture notes)
Domains, Categories, Games
Topological Data Analysis/Persistent Homology
Compatible basis, Stability of persistent homology, and Homology inference
[K_0 = ∅ \overset{σ_1}{\hookrightarrow} K_1 \overset{σ_2}{\hookrightarrow} K_2 \overset{σ_3}{\hookrightarrow} ⋯ \overset{σ_n}{\hookrightarrow} K_n = \lbrace ...
Persistent Homology
Cech complex
Concurrency/Directed Algebraic Topology
Isothetic regions
Isothetic regions
Geometric models
Cartesian product
Biochemical Programming
[Final Project] Deep Signalling Pathways and Causal Depth
Theoretical Biology Project
TP7: Doctor in the Cell
Practical session 4: Systems Biology
Homological Algebra
Lecture 5: Künneth formula, Simplicial objects, Dold-Kan correspondence
Teacher: Benjamin Hennion
Lecture 4: Ext Functors, Sheaves, Double complexes
Teacher: Benjamin Hennion
Théorie des Modèles
Espace des types
Proposition: On se fixe $ℳ, \; A ⊆ M, \; \overline{x}, \; p = p(\overline{x})$ un ensemble de $ℒ_A$-formules. Si $𝒩 \succcurlyeq ℳ$, alors ...
Elimination des quantificateurs pour ACF, Types
Teacher: Tomas Ibarlucia
Foundations of proof systems
Lecture 7 (Master Class): Negative translation
Teacher: Valentin Blot
Lecture 6: Dependent type theory
Teacher: Gilles Dowek
Proof assistants
Lecture 4: Models
Teacher: Bruno Barras
Lecture 3: Inductive Types
Teacher: Bruno Barras
Functional programming and Type Systems
[Functional Programming Project] Compiling simply typed λ-calculus to Categories: Automatic Differentiation
Functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy), about compiling simply typed...
[Why3 Project] Computational Reals
Github Repo Report