Caterina Urban

https://caterinaurban.github.io

Inria & École Normale Supérieure Paris, France

Results 3 repositories owned by


                                            Caterina Urban

Libra

22

Stars

6

Forks

Watchers

abstract-interpretation

machine-learning

neural-networks

Lyra

26

Stars

10

Forks

Watchers

abstract-interpretation

static-analysis

Typpete

33

Stars

6

Forks

Watchers