Skip to content

@SRI-CSL SRI International's Computer Science Laboratory

Users following SRI-CSL

@jolby
Joel Boehland jolby

Evocomputing, Inc. Bellingham, WA

@venkat-oss
Venkat venkat-oss
Builder., Hardware and Software.
@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@shreekanthashokg-lang
Shreekanth A Guttedar shreekanthashokg-lang
I'm an AI/ML Engineer and Data Scientist based in Bangalore, building production-grade intelligent systems while pursuing my MCA in AI/ML & Data Science

India Bangalore Sattva Global Tech Park 560059

@arkadeo-netizen
Stephen D. Smith arkadeo-netizen
Founder @ AeP Labs. Securing the post-human economy. Architecting physical consequence (PoPC) and entropy circuit breakers for sovereign AI.

Agent Economic Protocol | AeP Sarasota, FL

@allexander
Alexander Kurtev allexander

DevUp Bulgaria

@Stars1233
Stars trek Stars1233
🫣AI🙃
@thmleary
Thomas Leary thmleary
@volcacius
Alessandro Pappalardo volcacius

@Apple

@Skyluker4
Luke Simmons Skyluker4
I like computers.

@XeroSecInc San Francisco, CA

@binary-1024
kevin jin binary-1024
@Chicook
Juan Angel Lopez Diaz Chicook
developing a new decentralized project for the entire community.
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@mrexodia
Duncan Ogilvie mrexodia
Reverse engineer, creator of @x64dbg and 100+ other projects. Love binary analysis and Windows internals. Dreaming about doing open source full time...

Poland

@smoonthsky
smoonthsky smoonthsky
robot sdv

metabitverse metabitverse

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@shashihonnu
shashihonnu
@cctv130
cctv130

Japan Tokyo

@forestfoxx
forestfoxx
Researching all things security. Especially interested in hardware fuzzing, Linux kernel, eBPF and DevSecOps.
@ShashwatGPT
Shashwat Gupta ShashwatGPT
Microsoft Research, IIT Kanpur CSE'24

Microsoft Research

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@yue123161
Darwin yue123161
卑以自牧 含章可贞

China

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@irwincong
irwincong
@neuroevolutus
Abel Sen neuroevolutus
Software Engineer
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@SevDan
Daniel Sevostyanov SevDan
@utumen
utumen
@2659170494
GreenYoshi (Wang Han) 2659170494
I come from Fujian Economic School and am currently a Grade 22 e-commerce major. Like programming, music and other activities.

Fujian Economic School China,Fujian

@djvelimir
Velimir Đurković djvelimir
Senior Software Engineer

Novi Sad, Vojvodina, Serbia

@nsrknth
nsrknth
@seanpm2001
Sean P. Myrick V19.1.7.2 seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.

Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>

@adrianherrera
Adrian Herrera adrianherrera
Security Researcher @interruptlabs | PhD @HexHive

Canberra, Australia

@skull-squadron
🏴‍☠️ 💪📎 skull-squadron
Clippy likes real ownership, no surprises, and local-first.

Hill country

@xavierpinho
Xavier Pinho xavierpinho

Braga, Portugal

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@Liebmann5
Nick Liebmann Liebmann5
"And how about Marla Hooch. What a hitter." - A League of Their Own

Santa Clarita, CA

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@FeurJak
Taras Woronjanski FeurJak
Spooky Action At A Distance
@ZorkMaster
Tyrus Lloyd ZorkMaster

SRI International

@zhuyutian57
zhuyt zhuyutian57

Institute of SoftWare, Chinese Academy of Sciences Beijing

@trilokpadhi
Trilok Padhi trilokpadhi
PhD student @ Georgia State | Multi-Agent Systems | Multimodal Learning | Industrial AI | LLMs | Reasoning & Planning | RAG | 2x Applied Science Research Intern

Atlanta, Georgia

@xujinjin1
Jinjin xujinjin1
@manoja328
Manoj Acharya manoja328
ML researcher

SF, US

@vasu018
Vasudevan Nagendra vasu018
Founder @ VISCR AI, Computer Science PhD

VISCR AI Washington, District of Columbia, United States

@sraywall
Stephen Wall sraywall

Devmountain

@BrentKylling
BrentKylling
@arcturusannamalai
Muthu Annamalai (முத்து அண்ணாமலை) arcturusannamalai
Scientist. Compilers, MLIR, HPC. Software engineer. கற்றது கையளவு. Founded DOE Process-flow product Panmo Confab.

Panmo Cloud Silicon Valley, CA

@SolutionsExcite
Mark Lenhardt SolutionsExcite