PhD @university of Toulouse.
Agda and Haskell enthusiast.
In charge of Cardano Smart Contracts audits @tweag.
-
Tweag
- France
- mmontin.github.io
- in/mmontin
Search results
0 open and 0 closed projects found.-
There aren't any projects yet