💭
Leaning on her theorem prover
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.
-
CTO & CFO @tactile-metrology
- Amsterdam, NL
-
20:08
(UTC +01:00) - https://metrolo.gy
Search results
0 open and 0 closed projects found.-
There aren't any projects yet






