Skip to content

@viperproject Viper Project

Users following viperproject

@jackstodart
jackstodart

Canberra

@dpusceddu
Daniele Pusceddu dpusceddu
ETH Zurich Cyber Security Msc

Zurich, Switzerland

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@posticarus
cwlee posticarus
@aosen-xiong
Aosen Xiong aosen-xiong
@manud99
manud99
@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@janushannesarson
janushannesarson
@shpark
shpark

Seoul

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@valdo404
Laurent Valdes valdo404
Polyglot engineer specializing in distributed systems, data pipelines, and ML infrastructure.

lapoule #dev Paris, France

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@lemuellew
Lemuel Lew lemuellew

Planet Vegeta

@1-1-2-3-5-8
Hongyi Ling 1-1-2-3-5-8
@marcfir
Marc Fischer marcfir
Researcher @ University of Stuttgart

ISW University of Stuttgart Germany

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana

@oovm
SasakiSaki oovm

Tencent Shanghai China

@vfukala
vfukala
@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@jryans
J. Ryan Stinnett jryans
Exploring how to make programs more malleable and computing more humane | My communities: @malleable-systems, @matrix-org, @mozilla

London, UK

@FlickerSoul
Larry Z. FlickerSoul
Passionate about PL theory, building applications, and computer games. Trying to tell a good story :)

UK

@MichaelSchneeberger
MichaelSchneeberger
@songlinshu
songlinshu
@Dspil
Dionysios Spiliopoulos Dspil

ETH Zurich

@toum120
Follow自动机 toum120
@cycloidzzz
Mahiru Kagura cycloidzzz
I love operating system, compiler, programming language design, database & distributed systems.
@dongchen-coder
Dong Chen dongchen-coder

University of Rochester

@dsoul
dsoul
@Dev-XYS
Yushuo Xiao Dev-XYS
Doctorate student at ETH Zürich

ETH Zürich Zürich, Switzerland

@huskyii
Jiang Zhu huskyii
Compiler@Synopsys; Formal Verification@NexTop/@ArcasTech; Silicon Design Engineer @amd. All programs are compiler.

@AMD Shanghai

@ghishadow
Suraj ghishadow
我也爱你
@jthodge
Taylor Hodge jthodge
Software Engineer, Bricoleur, Gardener

us-east-1

@pabloski80
pabloski80
@kalloc
kalloc kalloc
GPG: F24A FA2D E1C0 01D8

8gen The 01

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@big-lip-bob
RustHaruspex big-lip-bob

Milky Way

@MohamedTaoufik
Mohamed Taoufik TEKAYA MohamedTaoufik
Software engineer who is passionate by digital arts, "2d-3d" animation process and audio-visual special effects "VFX" for the media and video game industries.

StartUp-SME: Horizons Software Solutions Tunisia-Sousse

@AYUSHMIT
aapp AYUSHMIT

USA

@SpencerL-Y
Clexma SpencerL-Y
A Phd. candidate of ISCAS, University of China Academy of Sciences (UCAS) .

Institute of Software, CAS Beijing

@canliture
canliture canliture

Society School Hunan in China

@moteesh-reddy
Moteesh moteesh-reddy
I love coding and designing tools that make people productive
@xunfeng1980
xunfeng xunfeng1980

dayan ♾️

@FlyingFog
FlyingFog FlyingFog
I'm Hao Sicheng , a graduate student at SUN YAT-SEN UNIVERSITY (SYSU), working on software security and smart contracts. ᕦ(･ㅂ･)ᕤ

Sun Yat-sen University Guangzhou, China

@ceh
ceh
@fpoli
Federico Poli fpoli