Paris

Naïm MOUSSAOUI REMIL

Expert
@naim-mr

Phd Student at École Normale Supérieure of Paris. Working on static analysis by abstract interpretation

naim-mr.github.io/

rob. IN PROGRESS: a better design for function static analyzer

2

Marsh. Small probabilistic language with exact inference.

1

mini-cshell. Mini Shell in C

1
3
Apply