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
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Julian Smith, Main Street Ventures
jsmith-dev
🇦🇺🇨🇳🇺🇸💻 Julian Smith, Partner/Fund Manager @mainstvent, CIO @blockfreight, CTO @melb_digital, Founder @bitcoinbankone, Tech Entrepreneur & Libertarian.
Main Street Ventures Melbourne, AU
His Excellence Sir Professional of Rob upon Ashtonburyshirester
robashton
Purescript/Purerl/Erlang/Haskell
@id3as Glasgow


