Skip to content
View euisuny's full-sized avatar
91 followers · 14 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

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
@jonaprieto
Jonathan Cubides jonaprieto
Research Engineer. Read/write types and proofs for fun and profit. Better HoTT than cold.
@Laplace-Demon
Zhicheng Laplace-Demon
The road of computer science has been uneasy, luckily you are with me.

Paris

@alpaylan
Alperen Keleş alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

University of Maryland, College Park Maryland, United States

@Pat-Lafon
Patrick LaFontaine Pat-Lafon
@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@xunjoy
Joy Q Zhang xunjoy
@ebresafegaga
Gaga ebresafegaga
@mratsim
Mamy Ratsimbazafy mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing

Paris

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

Xanadu Canada

@valoran-M
Valoran valoran-M
Ocaml <3
@jacobsomer
Jacob Somer jacobsomer
Exploring the digital frontier as a systems analyst with an endless curiosity to learn, adapt, and innovate using the internet.

SkillWill Falls Church, VA

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

CISPA Helmholtz Center for Information Security Saarbrücken

@clairew
Claire Wang clairew

UPenn

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@yqyq-w
yqyq-w
PL+Systems
@saulshanabrook
Saul Shanabrook saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @Quansight-Labs, @LineaLabs, @jupyterlab and @burke-software.

University of Washington Seattle, WA

@maxcohen31
Emanuele maxcohen31
CS student

Italy

@glaebhoerl
Gábor Lehel glaebhoerl
cat, also crow

Hungary

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@lengkoanows
lengkoanows
@omasanori
Masanori Ogino omasanori

Japan

@LimaniBhavik
Bhavik LimaniBhavik
Exploring Tech for the Future!

@Widle-Studio

@irdutfie
Ian Dutfield irdutfie

Wellington New Zealand

@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@rudynicolop
Rudy Peterson rudynicolop
@zeta1999
Renoir Fortytwo zeta1999
ML, Crypto, Applied mathematics, Hardware optimization (experience at an FPGA company). Remoting is an option. Collector of interesting stuff.

Seoul

@tchajed
Tej Chajed tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.

UW-Madison Madison, WI

@Zustin
Zustin
A Program Testing and Analysis Fans! I am ready to use any technique to improve software system reliability and performance

Expect to Norway

@zenna
Zenna Tavares zenna

Basis New York

@kaimast
Kai Mast kaimast

San Francisco, CA

@signorgelato
Jack Huang signorgelato
What I cannot create, I do not understand. An unapologetic amico of gelato, physics, and computation (former physics/math major at UChicago).

Chicago

@enochii
Chenghang Shi enochii
Ph.D. candidate at the Institute of Computing Technology, Chinese Academy of Sciences

ICT, UCAS Beijing

@kirshanthans
Kirshanthan Sundararajah kirshanthans

Blacksburg, VA

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@arbitraryconstants
Alanna arbitraryconstants
@kocheko
kocheko kocheko
i repair cellphones
@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@Ares2013
Ares2013
@nikivdev
Nikita nikivdev
@smurphy8
smurphy8
@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@simfleischman
Scott Fleischman simfleischman

SimSpace

@danoneata
Dan Oneață danoneata

Romania

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@hangohan52
Kenny Han hangohan52
🧗🏽

New York, NY

@j-hui
John Hui j-hui
programming languages, compilers, systems, computer music

@apple Cupertino, CA

@elefthei
Lef Ioannidis elefthei
Making AI write proofs about programs @ MSR

University of Pennsylvania Philadelphia, PA

@pirey
Yeri Pratama pirey
@era
Elias era
Interested in Libre Software and autonomy. Free Palestine.

Japan