
Chandrakana Nandi
@chandrakananan
Director of US R&D, Certora Inc.
Affiliate faculty, Allen School, UW, Seattle
ID: 1272911538110660608
http://cnandi.com/ 16-06-2020 15:19:33
151 Tweet
597 Followers
212 Following

Vinod Grover
@vinodg
Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Nate Foster
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Whyzguy
@sanjivaprasad
Wisdom lies in your teeth
Swarat Chaudhuri
@swarat
Professor at @UTCompSci, Research Scientist at @GoogleDeepmind. Automated Reasoning + Machine Learning + Programming Languages.
swapna
@swapnai
Bala
@rbs100
Technopreneur, DWH/BI Expert,Software Product Architect.AI Product owner.Built 2 small products.Dreamt of building Large AI product is built by others now..
Aws Albarghouthi 🍉 أوس
@awsto
computer scientist, professor, palestinian
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Simon Something
@simonsumsthings
Dr. GoNoGo - Highly caffeinated bonobo & computer brogrammer @DeFi_Wonderland - prev @juiceboxETH 0xfa4c56ea
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British Columbia
Max Willsey
@mwillsey
asst prof @Berkeley_EECS. he/him. i no longer use this account. find me elsewhere. @[email protected]
Jyun-Ao Caesar
@carquois42
🫧🫧🫧🫧🫧
Shane Montague
@ackgoonthen

Carsten Jacobsen
@carstenjacobsen
Stellar Development Foundation | Ex-DFINITY | Ex-Uber
Okoye philip
@okoyephlp073
Software Engineer | Full Stack Developer | AI Engineer | LLMs | Prompt Engineer | Langchain Enthusiast
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Libardo Lopez
@libardopez
From data to knowledge. Professional interest in #DataScience #IoT #BigData #PrecisionMarketing #MarketingAnalytics #Strategy
0xSoyuz
@kushagraagarw14
Hodler
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Peng Cheng, asking λP2-λC
@tribbloid
doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
hoda hashemi fard
@hodafard

KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Alexa VanHattum
@avanhatt
Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] avh.bsky.social
SwiftBean
@yi_yuan_n
Corn Farm in Bit Space
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Nikolaj Bjorner
@bjornernikolaj

Marisa "Long Middle Name Looks Cool" Kirisame
@marisaverymoe
github.com/MarisaKirisame
Sam Westrick
@shwestrick
assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler github.com/mpllang/mpl :: shwestrick.bsky.social
¬¬Mike (Deyuan) He
@1shl10
3rd-year PhD @PrincetonCS PL Group; PL/Systems; Prev @AWSCloud @Intel @Taichi_Lang @uwplse
SIGPLAN-M
@sigplanm
We form long-term cross-institutional mentoring connections in the programming languages community.
Mattia Apicella
@mattiaapic91321
Da Amalfi a Pisa a Houston al cosmo
AIT
@0xaitcrypto
Smart Contracts Auditor
Night Allen
@allens44820371
Algo at Bytedance
afeizzzz
@xuefei1zhang
life is eat and drink
Veerendra Vamshi
@veerendravamshi
web3 expert || Bug Bounty Hunter
Malik Durmus
@ymalikd

JC
@sm4rtcontr4ct
security researcher
Jack Peaches
@jack_peaches
Clicking enthusiast. Third word opinion. First rate goals.
aldrin
@aldrin57464827

Tapon ray
@taponray80690
simplicity 🎩
Rashid
@rashidham3
Dubai love 🇦🇪
Chandra Prakash Bathula
@chandrapraksh_b
Adjunct Faculty @SLU_Official | Techie | Aries ♈️ | Caffeine & Code 👨💻 | Machine Learning Enthusiast.
Tammy Walters
@tammywalte39670
Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact t.me/stgcs0
Prakash Suryakumar
@prakashsuryaku1
Alive
Remi Tarakji
@remitarakji
I normally don't post.
Maruti Nandan Tiwari
@marutint10
Blockchain Developer @floyxcom | Solidity Engineer & Security Researcher | Trying to make Web3 a bit safer
Sam
@_0x5am
security research🧑💻
Omar Khursheed
@omar_khursheed
Applied Scientist @Amazon Alexa, CS Masters - UMass Amherst, CE Undergrad - Aligarh Muslim University, Views my own | Narendra Modi is a fascist
Also Adeshile
@ayomideay47443
Life is short
Patang Maja
@majapatang

ANONYMOUS CHE
@ptahnam
????
Tamara 🐝
@tamararingas
Core Protocol Engineer @Superformxyz | Host @SolidityFridays | ZK Mentor @OVioHQ | @tamriasmusic
ANSHUMAN
@0x0glitch

Amir Shaikhha
@ashaikhha
Associate Professor (Reader) at Edinburgh, Former PhD Student at EPFL and Lecturer at Oxford, Interested in Databases, Programming Languages, and Compilers
Shrey Tiwari
@shrey_twr
Here to share my journey in research/life | PhD Student @CarnegieMellon | Previous @MSFTResearch @citrix @MorganStanley @iiscbangalore
Shax2nk.in
@0xshashanks_07
~Infinity
Filipe Viotto
@flipviott
Ciência da computação - UEL
Anuhya
@anuxhya
Ecosystem Growth
LUX Payband
@luxpayband
LUX Payband is a tokenized wristband app building on Stellar, for our event loyalty & rewards tokens. We curate festivals, meetups & spaces. @chgofoodtruck
CloudEllie
@cloudellie1
Building community + securing Web3 at @code4rena. Aspiring shitposter / actually earnest.
Josh_dfG
@josh_dfg
Just a dude being all like that! 😼
Md. Rejwar Rahman Rifat
@rejwar
Стоя vor o mundo et 弯腰 前に الله.
Melissa jischke
@melissa_ji30499
Single and searching
msg.sender | ⛓️🧱
@sameermadhavd1
Hey, anon... Its sameer | Solidity | Security | Horolosexual - NRPI
necsss
@necsss1

0xJimmy
@0xjimmyk
Founder of auditlabs.ai, learning materials for audits. Insists "crypto" stands for "cryptography." Senior Watson @sherlockdefi. Alt of @jimmykoppel.
Nathaniel Yeboah
@nathanielyeboa
Independent Security Researcher