This is my personal account for personal projects. See @msprotz for my Microsoft (MS) contributions.
- Paris
- jonathan.protzenko.fr
Frederico Moreira
hypervanse
phd in physics with experience in @octave-app @microsoft
Hypervanse Brazil
justanotherinternetguy
justanotherinternetguy
cs/linux/linguistics/aviation
normalizedlinuxusr@proton.me XY8S Z GAMMA
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Palash Nigam
palash25
GeneralistPolyglotDev | Previously: @percona @interviewstreet | LFX Intern @cncf | @atlanhq | @appbaseio | GSoC @coala
(f)unemployed Remote
Hiroki Chen
hiroki-chen
CS Ph.D. @ IUB
"Algorithms are the computational content of proofs." (Robert Harper)
Unemployed Saratoga, CA
fermiq
FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI
Science Neutrino
Matteo Busi
matteobusi
Researcher at the Ca' Foscari University of Venice. Formal methods and security.
Italy
Myles Dear
mdear
Software and product designer, former dad of medically complex teen, community advocate, optimist !
mPwrWare (11994808) Canada Inc
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
J. Ryan Stinnett
jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla
London, UK
PreviousNext