Skip to content

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

Users following mit-plv

@ErickOF
Erick Andrés Obregón Fonseca ErickOF
Computer Engineering. MSc. in Electronics student. IP Logic 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
@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

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

Australia

@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
Junior student, gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@Emin017
Qiming Chu Emin017

Shenzhen, China

@lucasbrixner
Lucas Brixner Riça lucasbrixner
@brainwavecoder9
Daniel Ritchie brainwavecoder9
Founding Member @brainwavecollective

Brain Wave Collective

@grampol
ZwAwesome grampol
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@treecko16
treecko treecko16
Budding professional with the capability to quickly understand and improve complex systems. Seeking an entry-level position in computer engineering.
@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

AC Ukraine

@shivanibhat24
Shivani Bhat shivanibhat24
Exploring Variety to Unleash my full Potential!🔥✨ Interests: Embedded Systems, Chip Design, Algorithms, Space, Defence, Cybersec,Music, Sports,Food and Fun!

India

@openweb
Allen Long openweb
Developer

huihoo China

@alberrttt
Albert Hong alberrttt
@TateGunning
Tate Gunning TateGunning
Creating win-win development objectives by advancing universal rights, using open source technology without bias.

Gunning Global Arizona, USA

@jht5945
Hatter Jiang jht5945
Senior Technical Specialist from Alibaba Cloud, I love programming ...

Alibaba Hangzhou, Zhejiang, China

@RustyCobalt36
Rusty RustyCobalt36
@alxbnct
Yosef Weissmann alxbnct
@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

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

Draper Boston

@IndifferentArea
Makima IndifferentArea
CS enthusiast

Shanghai, China

@ardalaan
Ardalan Ebrahimnia ardalaan
@lattice0
Lattice 0 lattice0
rust, kernels, virtualization. ad35661031be2c0d53deacee28d40a87f1d82f1c7698f58ae2bd61c60b8ad092
@kbridge
kq kbridge
Fullstack developer. I star things every day.

Sunnydale

@hazeltorek
hazel hazeltorek
cs, math @ clemson

DevLab @ Clemson University

@BertsLifee
Alberto Regalado BertsLifee

TheLifeeExperiment.onmicrosoft.com California

@alext-w
Alexander Tereschenko alext-w

Intel

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@nikhilr612
Nikhil R. nikhilr612
@iljau
iljau
@Hihi142
Xusheng Zhi Hihi142
A PhD student at UW-Madison on programming languages.

Madison, WI, United States