Afonso Rafael (Gafanhoto)
Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing Center Barcelona
Alexander L. Hayes
hayesall
Health Informatics Ph.D. Student at Indiana University. SRL/AI, Open Source.
Indiana University Bloomington, IN, USA
David Oster aka George Pasparakis
davidoster
https://www.linkedin.com/in/pasparakisgeorge/
https://anystream.eu
AnyStream Europe Athens, Greece
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK