๐ด
Dennis Kupec
denniskupec
you see things are how they are because its like that when things are like that don't you know
USA
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
โ
Formal Methods @input-output-hk
โ
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
Joรฃo Pizani
joaopizani
Now I use GitLab: https://gitlab.com/joaopizani
TU Delft Utrecht - The Netherlands
PreviousNext