Skip to content

@mit-plv Programming Languages and Verification Group at MIT CSAIL

Users following mit-plv

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

@facebook The edge of knowing

@ignite720
ignite720
minimalist
@EugeniaJHV
Eugenia Holley-Vance EugeniaJHV
Electrical Engineering, B.S. Computer Science, B.S. Expected May 2028

The University at Buffalo Buffalo, NY

@nelbeu
BETANCUR . N nelbeu
art & architectural historian #BetancurN #nelbeu

National University of Colombia

@gambling-addict
gambling-addict
sign my ata⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ @kyuparin @Printerbattle the goats

the pimples on my backㅤㅤ@the-divine-feminineㅤ@act-of-loveㅤ@SkateboardPhightingLovr69 ㅤ@Printerbattle ㅤ@swordsaaroㅤ@KALININGRAD-OBLASTㅤ@kyuparinㅤ@Asrieluoㅤ@Leucoleㅤ@accardi-florentinoㅤ@da-wostㅤ@malepregnancyㅤand my irl friends -_- i geuss cuds always ok, you don't have to ask

@Hyunsoo1030
Hyunsoo Lee Hyunsoo1030
Undergraduate Student @ POSTECH

POSTECH Pohang University of Science and Technology

@archit-rastogi
Archit Rastogi archit-rastogi
Computer science enthusiast.

Bangalore

@jasonph314
Jason Hong jasonph314
@2005ikram
HAMZA IKRAM 2005ikram
Engineering student passionate about continuous learning ,problem solving ,and modeling .I use GitHub to document my projects and share knowledge.

Engennering student ALGERIA

@ava179
ava179
@jjakpor
Jibiana Jakpor jjakpor
Studying computer science at Stanford University
@nbajpai-code
nbajpai-code
@JustCommonUsername
Yan Farba JustCommonUsername
Student @rub, Research Assistant @hn-rg

Max-Planck Institute for Security and Privacy Germany

@abhamra
Arjun Bhamra abhamra
EECS PhD at Berkeley, GT CS '26, quantum computing and compilers
@rj4zz
Яitz rj4zz
@flandrade
Fernanda Andrade flandrade
@vzsky
my99N vzsky
@Datawitch-Programmer
Datawitch-Programmer

Iran University of Medical Sciences Iran

@sunny-g
Sunny Gonnabathula sunny-g

@federato Austin, TX

@rcosta-git
Rob Costa rcosta-git
Systems developer and entrepreneur. RSI alum and triple jumbo (Tufts University). Math, CS, finance, Russian, and philosophy.
@akp2003
Arshak Parsa akp2003

Tehran

@ErickOF
Erick Andrés Obregón Fonseca ErickOF
Computer Engineering. MSc. in Electronics student. SoC Design Engineer. AI enthusiast.

Intel Corporation Cartago, Costa Rica

@cryptooooooo
crpt cryptooooooo
goooo
@ingehap
Inge H. A. Pettersen ingehap
Born in the previous century
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@paulyupeng
paulyupeng
@srctkrs
tkrs srctkrs
newb scriptkiddie looking for configs

vi från gatan VFG Landskrona

@xuanYang
xuan-gottfried Yang xuanYang

independent researcher Germany

@aqingaaaa
aqinga aqingaaaa
aa
@oussfyi
Oussama EL GHANNAMI oussfyi
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@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>

@jiangsy
Shengyi Jiang jiangsy
@josh28x
Joshua Lara josh28x

Sydney

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@shzaiz
Guangwei Zhang (AUGPath) shzaiz
Senior undergraduate, gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@Emin017
Qiming Chu Emin017

Shenzhen, China

@lucasbrixner
Lucas Brixner Riça lucasbrixner

@FazCapital Porto Alegre, Brazil

@brainwavecoder9
Daniel Ritchie brainwavecoder9
Founding Member @brainwavecollective

Brain Wave Collective

@ZwPwn
ZwAwesome ZwPwn
@PersonForSure
Monocled PersonForSure
@treecko16
treecko treecko16
(Most of my code isn't on Github.) Budding professional able to quickly understand and improve complex systems. Seeking an engineering position.

UK

@LGC33
LGC33
@houseofcybersecurity
House of Cybersecurity houseofcybersecurity
Never let anyone tell you that your story isn't worth sharing.

Reverse Engineer - Vulnerability Researcher Eastern South America, bordering the Atlantic Ocean

@Lindesfarne
Lindesfarne
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@jonnynut
jonnynut
@daejungkim
Daejung Kim daejungkim
Software Engineer

LG Electronics Inc.

@ahndmal
Andrii Maliuta ahndmal
Developing custom staff for @atlassian 's Confluence/Jira @Sumy-Coding

Ukraine