Haskell, FP, Linux, Emacs
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
University of Edinburgh Kirkwall, Orkney, Scotland
Marcos Benevides
mtrsk
I'm a prototype of a much larger system. @MMagueta's nemesis.
@Divisions-Maintenance-Group @schonfinkel @Tarski-Labs São Luis, MA - Brazil
Andreas Sosilo
andreassosilo
Software Developer • Atala Prism Pioneer • Cardano Ambassador Moderator • Cardano enthusiast (₳)
@intersectmbo @cardano-indonesia • @c3eth • @cardanodevid Indonesia
Konstantinos Grevenitis
kostasgrevenitis
👨💻 .NET software engineer/ IT solutions architect at Holonix Slr
🎓Master in computational methods and applications
https://www.holonix.it/ Thessaloniki, Greece
Ian Buckley
roguetrainer
Quantum quant
Community & partnership lead at Agnostiq
Previously systemic financial risk
Agnostiq Toronto
Thanos Tsakiridis
tpakis
Passionate Android developer since 2010, always learning something new!
Berlin, Germany
Michal J A Paszkiewicz
MichalPaszkiewicz
Just a guy who likes to make things @MichalYouDoing
Scriptorium AI Gloucester, UK