Skip to content
View euisuny's full-sized avatar

Organizations

@plclub @vellvm @cs4110 @cornellacsu @upenn-cis198 @inria-cambium

Block or report euisuny

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@era
Elias era
Interested in Libre Software and autonomy. Free Palestine.

Japan

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science

University of Toronto Toronto, Ontario

@ilovejs
Michael Zhuang (Hao) ilovejs
0 headache approach Write code IN [go, python, js] Domain knownledge IN [oauth, crypto, jose]
@i-walker
Settuba i-walker
Sr Software Engineer | 𝌻 Do more with less, be kind. Research: Pure Maths 🧮, heterogeneous memory-centric Computing on  Apple Silicon @settubaDev

Munich, Germany

@plaidfinch
finch plaidfinch
control plane engineer @oxidecomputer; founder & cryptography consultant @starlingcyber; previously: @penumbra-zone, @boltlabs-inc, @GaloisInc, @plclub

@oxidecomputer

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

Davis, California, USA

@Liby99
Ziyang Li Liby99
No Code No Life | Assistant Professor in CS at Johns Hopkins University

Johns Hopkins University Baltimore, MD

@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@BotBitmap
Arthur Carvalho BotBitmap

Natal, Rio Grande do Norte, Brazil

@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@emarteca
Ellen Arteca emarteca
Android security engineer at Google

@google Mountain View, California

@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@PingCAP Shanghai Hongkou

@haze
haze
it was revealed to me in a dream

@netflix nyc

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@rachitnigam
Rachit Nigam rachitnigam
prof at MIT. creator of @calyxir. up to no good.

Massachusetts Institute of Technology

@aatxe
ariel aatxe
programming language designer. @nuprl and @plasma-umass alum.

@Roblox Redwood City, California

@peteli3
Pete Li peteli3
I build ☁️ security stuff

@akamai Mountain View, CA

@dev4sep
4SEPDev dev4sep
Hello, I'm SivLay Yi. I'm a Java Developer.

Cam Info Service Phnom Penh, Cambodia

@lovejavaee
Jeff M lovejavaee
🌱Eat, Code, No Sleep👩🏼‍💻
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@nwtnni
Newton Ni nwtnni
Cornell CS '19. Interested in PLT, systems, education, and music.

Cambridge, MA

@plh97
plh plh97
Digital nomad

Japan

@TonyZhangND
Tony Zhang TonyZhangND
PhD Student at the University of Michigan
@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

SecEng @sierra-inc Formerly @grammarly, @pinterest, @Yelp I love San Francisco

@jinnyz
Jinny Zhou jinnyz
i am a dandelion seed floating on the wind

@HBOCodeLabs