Dad. Partner. Scientist. Activist. Maker.
CEO and Chief Scientist at Free & Fair and Sigil Logic.
Principal Scientist at Galois.
- Portland, OR
-
10:46
(UTC -07:00) - https://sigillogic.com/ https://freeandfair.us/
- @kiniry
Shreekanth Guttedar
shreekanthashokg-lang
Post Graduate Student specializing in Artificial Intelligence, Machine Learning & Data Science. Building real projects, learning consistently, deep diving in AI
India Bangalore Sattva Global Tech Park 560059
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Andrew McElroy
Sophrinix
Cofounder & CTO of American Binary former maintainer of Try Ruby!
American Binary Atlanta, GA
HappyCodingWizard
HappyCodingWizard
Welcome to the enchanted world of HappyCodingWizard. Join me on a journey of discovery and let's do the magic of technology to create something truly amazing.
Rohit Jain
Rohit19060
Building Desktop, Web & Mobile Projects, & gain a lot of expertise in them. I enjoy indulging my creative side in UI/UX. Eager to work on innovative solutions.
Deel Rajgarh, Rajasthan, INDIA
Anastasia Mavridou
anmavrid
Research Scientist @ KBR / NASA Ames Research Center - Do you speak FRETish? 👍
NASA Ames Research Center Mountain View, CA
agnosticlines
reverse engineering, program analysis and exploit dev |
i ⭐ a lot of things, not a bot. Just use github as a personal search engine for cool projects
[object Object] /dev/kmem
Renoir Fortytwo
zeta1999
Applied Finance, HFT, Quant, ML, Crypto, Applied mathematics, Hardware optimization (experience at an FPGA company)
Seoul
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Andrew Butterfield
andrewbutterfield
Academic, interested in formal semantics and verification, functional programming.
Trinity College Dublin
Kinetic Rootkit
kineticrootkit
//The impossible is relative.
//Relentless.
//NFQ.
//Drive.
//Running
//Swimming
//Free Diving
//Cycling
//LiveFree
Quantis Dynamics Montana
Donovan Crichton
donovancrichton
Enthusiastic about dependent types, formal methods, functional programming and systems programming.
Yves Mercadier
ym001
PhD computer science & AI
https://www.amazon.fr/ABcédaire-Amoureux-lIntelligence-Artificielle-Mercadier/dp/B0C872FTS3
Jeremiah Roe
C1ph3rFlux
#Hacker != Bad | #InfoSec Guardian && #Tester | Outdoor Adventurist | #Code Dabbler | Knowledge Seeker | #OSINT | Student | Mentor | #Patriot | #R00t | #RedTeam
Mamy Ratsimbazafy
mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing
Paris
PreviousNext