NASA Jet Propulsion Laboratory
nasa-jpl
A world leader in the robotic exploration of space
Pasadena, California, US
Joseph Kiniry
kiniry
Dad. Partner. Scientist. Activist. Maker.
I'm the Principled CEO and Chief Scientist at Free & Fair.
I'm a Principal Scientist at Galois.
@FreeAndFair @GaloisInc Portland, OR
Gerardo E. Cruz-Ortiz
astrogeco
GSA-TTS(work) and personal.
Addicted to innovation. Advocate for openness, inclusion, and human-centered everything.
Washington, DC
Andreas Katis
andreaskatis
Hi there! I am a Computer Scientist for KBR, Inc at NASA Ames Research Center. My main line of work is in the application of Formal Methods in Software.
NASA Ames Research Center
Georgios Konstantopoulos
gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz
@paradigmxyz Thessaloniki, Greece
Maxime Arthaud
arthaud
Meta (formerly Facebook) Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.
@facebook Paris, France