Skip to content

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

@shzaiz
Guangwei Zhang (AUGPath) shzaiz
Junior student, gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@Emin017
Qiming Chu Emin017

Beijing, China

@jellyterra
Jelly Terra jellyterra
19 yo. Focus & mix on computer architecture, formal verification, compiler and HLS synthesizer. Qed.

Gensokyo Silicon China

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

Brain Wave Collective

@grampol
ZwAwesome grampol
@PersonForSure
Monocled PersonForSure

>_

@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 in Python. Will work in @vivasoft-ltd

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

@in-my-ellement
hazel in-my-ellement
clemson cs + math, undergraduate teaching assistant

@clemsonacm

@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
Undergraduate at PKU.

EECS, Peking University, Beijing, China

@Sdywolf
Yi Fang Sdywolf
I'm an undergraduate of Turing Class of Peking University majoring in computer science. I'm interested in programming language.

Peking University Beijing, China

@chiaki-i
Chiaki Ishio chiaki-i

Tokyo, Japan

@sun-wendy
Wendy Sun sun-wendy
AI & physics at MIT

MIT Cambridge, MA

@purtyb1tch92
Burden Haze purtyb1tch92
I love to learn <3
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@wongwonder
wongwonder
@andreisilviudragnea
Andrei Silviu Dragnea andreisilviudragnea
🦀 Senior Rust Software Engineer • Contractor • Freelancer | Using Rust to build highly scalable web apps

Bucharest, Romania

@gj-raza
Ghulam Jilani Raza gj-raza
@carolinaliskey
CarolinaLiskey carolinaliskey
Mathematical Statistician Ph.D. student Biomedical Data Science & Informatics
@M-krishna
Krishna M-krishna
just hanging in there

Pluralsight Bangalore, India

@chu-mirror
Chu chu-mirror
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@badumbatish
jjasmine badumbatish
Oh hello there :) gcc contributor via gccrs subproject