-
University of Strathclyde
- Europe
- https://orcid.org/0000-0003-2185-8543
Soumya Ranjan Behera
soumyargithub
Tech enthusiast | Curious learner
Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.
Bengaluru, India
Ayberk Tosun
ayberkt
Researcher in formal verification @zeroth-research
Zeroth Research Birmingham, UK
jjl
Very experienced developer and scarer of computers. Mostly writes rust these days, knows idris, purescript, haskell, elixir/erlang, python + much more. hire me!
Independent consultant Netherlands
Jacek Andrzejewski
JacekAndrzejewski
Laravel/PHP dev, occasionally doing stuff in pretty much every technology.
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
John McCann Cunniff Jr
wabscale
Creator of the Anubis LMS | Senior Software Engineer at voladynamics.com
@AnubisLMS | @VolaDynamics | @OsirisLab New York City
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Ndolo
mwaiton
Electronic & Communication Engineer and AI/ML Enthusiast.
Mwaiton Consultancy Services/KTÜ/AGH UST/MksU MLD/TRX/KRAK
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
Fangyi Zhou
fangyi-zhou
Software Engineer | Programming Language Researcher
en.pronouns.page/she&they
@facebook London, UK
PreviousNext