About Paolo G. Giarrusso

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Lists

Timeline

Blaisorblade has no activity yet