Log inSign up
user avatar
Paolo G. Giarrusso
@Blaisorblade
@[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Berlin, Germany
blaisorblade.github.io
Joined August 2010
1,476
Following
1,668
Followers
RepliesMedia