Jonathan Protzenko @_protz_
Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc jonathan.protzenko.fr Seattle, WA Joined September 2010-
Tweets860
-
Followers873
-
Following393
-
Likes748
We have more post-docs in Azure Research! Consider applying to in Systems & Security (lnkd.in/e-mp63GV) or in AI Security & Privacy (lnkd.in/e5H5Gybt).
0
0
3
275
0
Quick reminder that I'm co-chairing VSTTE with @AzaleaRaad this year, and submission deadline is in just a few days!! vstte2024.hotcrp.com/u/2/
HACL*, the verified crypto library, now available as pure, safe Rust: jonathan.protzenko.fr/2024/03/20/hac… -- alpha release.
Jonathan Protzenko retweeted
Another amazing endeavour of nimble compilation to connect proofs, programs and languages together, by my esteemed PhD advisor!
Another amazing endeavour of nimble compilation to connect proofs, programs and languages together, by my esteemed PhD advisor!
It was an absolute pleasure to be here and I had a blast! Thanks for the invitation, it was an honor to be in such great company.
It was an absolute pleasure to be here and I had a blast! Thanks for the invitation, it was an honor to be in such great company.
Jonathan Protzenko retweeted
Super excited to have @_protz_ visiting @NUSComputing and giving an invited talk on formally verified cryptography and security protocols!
Jonathan Protzenko retweeted
here we go! This month we will meet one week early on Jan. 22 to hear @_protz_ talk about HACL-Rust and Eurydice. Make sure to join us! eventbrite.com/e/modernizing-…
Jonathan Protzenko retweeted
Had a great time doing a keynote at @ProssimoISRG on Microsoft approach to memory safety. Made a huge announcement - @Microsoft is going big on Rust and spending $10 million to make it 1st class language in our engineering systems + $1 million @rustlang foundation.…
Had a great time doing a keynote at @ProssimoISRG on Microsoft approach to memory safety. Made a huge announcement - @Microsoft is going big on Rust and spending $10 million to make it 1st class language in our engineering systems + $1 million @rustlang foundation.… https://t.co/w0EkzAjZaG
Jonathan Protzenko retweeted
I was very happy to give a talk at Galois to present the latest progress on Aeneas, our framework to verify Rust programs. On the menu: latest features, future extensions, ongoing verification effort, and most of all demo of the Lean backend! galois.com/blog/2023/10/a…
Jonathan Protzenko retweeted
Our quantum-resistant protocol upgrade, PQXDH, is now “the first machine-checked post-quantum security proof of a real-world cryptographic protocol.” Thanks to the researchers who did this important formal verification! Read more from them here👇 cryspen.com/post/pqxdh
Jonathan Protzenko retweeted
A new paper called "Comparse: Provably Secure Formats for Cryptographic Protocols" is out! eprint.iacr.org/2023/1390 A few explanations below. 🧵
My student Théophile is being modest. Our paper (with Karthik and Benjamin) *also* got a distinguished paper award! Congrats Théophile !
My student Théophile is being modest. Our paper (with Karthik and Benjamin) *also* got a distinguished paper award! Congrats Théophile !
Jonathan Protzenko retweeted
MLS got published as RFC 9420 🎉 cryspen.com/post/mls-rfc-a…
Not sure if Twitter is still a thing, but hey, I blogged about verifying MLS, the new secure group messaging standard jonathan.protzenko.fr/2023/06/09/mls…
Jonathan Protzenko retweeted
Join us for a day of robust discussions on #lawbiztech with @DanLinna @HariOsofsky @twadhwa @DBRodriguez5 @HBWHBWHBW @joncallas @ericgoldman @PaulGowder @LauraPedraza_F @AbdiAidid @sarahlawsky @DanielleBenecke @_protz_ @geoffreyamoore & more. Register: bit.ly/3h6e2BQ
Jonathan Protzenko retweeted
While I was presenting remotely, I think my short talk on @BlawxAI was well-received, and I look forward to engaging with the participants going forward. Huge thanks to @DMerigoux and @_protz_ and @basus for chairing. May your success continue for many years to come. 8/
Jonathan Protzenko retweeted
#ProLaLa2023 is done and was a big success! Thanks to lots of hard work from @DMerigoux and @_protz_ and our session chairs. Lots of great research, conversations and future work to be done. My little nerd heart is so, so happy right now.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Denis Merigoux @DMerigoux
987 Followers 249 Following Starting Research Position at @ProseccoINRIA. Programming languages, formal methods and the law. https://t.co/QyZcBJOrhc. @[email protected] @[email protected]
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Guannan Wei @GuannanWei
1K Followers 960 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Toby Murray @tobycmurray
1K Followers 632 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Tarek Nasser @Tareknaser360
10 Followers 139 Following
Jenny Beauty salon @35niceWendy
24 Followers 638 Following Bringing you the latest trends and unique finds. Let’s slay together!
marcelo @mnaeraxr
719 Followers 678 Following Not too high entropy, not too low entropy, just complex enough.
Uneelo @Uneelo470
61 Followers 2K Following
Alita Greg @AlitaGreg8760
231 Followers 567 Following
Irbarwoo @Irbarwoo2090
28 Followers 1K Following
TinaBarton @16gS1D67p9V9E
75 Followers 2K Following
Agnieszka Pietruczuk @dziewxc
60 Followers 640 Following "Riots are tiny though, systems are huge" https://t.co/1hLYmjKlZv
furkanonder @fsyscall
3K Followers 163 Following @thepsf Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
Basavesh Ammanaghatta... @basavesh88
210 Followers 1K Following Systems software researcher at @virginia_tech
Jannik @JannikHWX
16 Followers 1K Following
fornever @_for_never
26 Followers 335 Following
Karthik Ravikanti @plumenator
401 Followers 5K Following Rust at $job, Rust and Haskell at home. Opinions my own. Also at @[email protected] @[email protected] @[email protected]
Abhimanyu☀ @techie_pop
303 Followers 982 Following research @advaita_labs PhD @UPFBarcelona, @bitspilaniindia | contributing to @ethereum foundation | prev. @BellLabs @dell | contributing OS, RT≠ Endorsement!
Muk 🟥 @MukkingAbout
401 Followers 521 Following $Saito is an economic revolution Chat with me https://t.co/PRIMQMHYbC
Cássio da Rosa @darosacassio
84 Followers 2K Following
River Dillon @k__monk
129 Followers 450 Following Interested in compilers, logic, and computer music, among other things.
Serhii @perscalar
18 Followers 555 Following
Slava (Alpha) Kurilya... @slavakurilyak
2K Followers 3K Following 🚀 Helping $10M+ brands automate everything using AI agents 😎 Agentic Expert 🤖 AI Entrepreneur 🎙️ Podcast Speaker 💬 DMs open
Barzan Hayati @Barzan_Hayati
40 Followers 2K Following
Jean-Hadrien Chabran @jhchabran
449 Followers 334 Following
Cody Dresel @DreselCody
622 Followers 303 Following Senior Software Engineer - Anti-Cheat @riotgames @riotvanguard My opinions/tweets are my own and do not reflect my employer.
Britney @Britney18694168
69 Followers 4K Following
Bastien Gares @bastiengares
3K Followers 7K Following ML Engineer | Data Scientist @ Orange | Student @ Mines Paris PSL Executive Education & DataScientest | alumni MSc Computer Science @ Supinfo | math python rust
clhong1248 @CarinaLHong
2K Followers 911 Following Hiring: resume to [email protected] to love math is to see the face of God Morgan Prize, Rhodes Scholar Math PhD@Stanford; Neuro@Oxford; Math+Physics@MIT
Tal Be'ery @TalBeerySec
10K Followers 2K Following Security Research Manager. Co-Founder, CTO @ZenGo. Advisor @ZeroNetworks. x-VP Research Aorato, acq by @Microsoft. 9 times @BlackHatEvents speaker.
Joshua J. Drake @jduck
28K Followers 2K Following Securing the future through modern technology. Founder and Software Security Specialist at @magnetitesec
Yudai Urabe (占部) @yudai_urabe
100 Followers 303 Following Research student @ Tokyo Tech, Japan/Programming Languages/History of Computer Science/Othello,📖,🎱,🎤,🚶emoji🥳😤🌊
Heena Chavada @heena_chavada
174 Followers 8K Following
David Ruescas @ruescasd
259 Followers 112 Following
Ana Carolina Costa @_Anasik
63 Followers 611 Following
Bogdan Stanciu @bog_dan
913 Followers 4K Following design and product for startups. opinions my own. retweets are not endorsements.
Jeremy Cheng @Jerrawik
11 Followers 6K Following
ahuoguo @ahuoguo
37 Followers 311 Following
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ron Garcia @rg9119
2K Followers 430 Following Transmogrifies coffee into LaTeX at University of British Columbia
Denis Merigoux @DMerigoux
987 Followers 249 Following Starting Research Position at @ProseccoINRIA. Programming languages, formal methods and the law. https://t.co/QyZcBJOrhc. @[email protected] @[email protected]
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
Miguel de Icaza ᯅ�... @migueldeicaza
98K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
White House Office of... @ONCD
23K Followers 74 Following ONCD’s mission is to advance national security, economic prosperity, and technological innovation through cybersecurity policy leadership.
Cory Doctorow NONCONS... @doctorow
472K Followers 3K Following New book: ENSHITTIFICATION: WHY EVERYTHING SUDDENLY GOT WORSE AND WHAT TO DO ABOUT IT https://t.co/YtuuAC6GPZ @[email protected]
David Weston (DWIZZZL... @dwizzzleMSFT
25K Followers 2K Following Corporate Vice President, OS Security and Enterprise @Microsoft
Piotr Smolar @piosmo
16K Followers 1K Following Le Monde's correspondent in Washington DC Correspondant de @lemondefr à Washington
Laurent Bili @FrenchAmbUS
6K Followers 583 Following Ambassador of France to the U.S. 🇫🇷🇺🇸 @franceintheus
Sam Lindley @reifyreflect
639 Followers 281 Following
Adriana Porter Felt @__apf__
64K Followers 928 Following I like writing silly Tweets, but that doesn't pay so I also type at @googledeepmind. Principal Engineer. ex-@googlechrome. volunteer @2ndharvest. 🇺🇸🇨🇷
American Car Associat... @USACarAssoc
578 Followers 252 Following Make America for cars, not humans. All likes and retweets are obviously endorsements
Rui Ueyama @rui314
52K Followers 343 Following Googleソフトウェアエンジニア / スタンフォード大学院コンピュータサイエンス→投資生活→スタートアップ創業 Open-source dev. ex-@Google. MS/CS at Stanford. Creator of the mold and lld linkers.
Björkus 'No time_t t... @__phantomderp
13K Followers 2K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss
derek guy @dieworkwear
1.4M Followers 958 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
ThreeBodyBot now on B... @ThreeBodyBot
12K Followers 29 Following BlueSky: https://t.co/K9SqZV9oCA | Tumblr: https://t.co/0Q2IaAaXdc | Mastodon: https://t.co/D365W0YP82
gerald stratford @geraldstratfor3
270K Followers 2K Following Retired fisherman and Gardener heavy into growing big veg . buy my book Big Veg from Amazon, Waterstones, Blackwells, Hive, Foyles.
Seattle Department of... @seattledot
272K Followers 647 Following Maintaining and modernizing Seattle's streets For service requests: 206-684-7623 Traffic updates: @sdottraffic City policies: https://t.co/yUhcQ3kz5z
Nathan Chong @nathan_chong
261 Followers 267 Following movement in all its forms... tweets are my own
Cryspen @CryspenHQ
160 Followers 3 Following High Assurance Crypto Solutions https://t.co/tEeDJyaOXw
Amtrak Cascades @Amtrak_Cascades
8K Followers 3K Following You can enjoy spectacular scenery, fresh onboard foods + local beer, wine & spirits, free Wi-Fi, and more! Thank you for riding! Page monitored M-F 8 am-4pm.
Bescherelle Officiel @BescherelleFR
118K Followers 154 Following 92 % des gens tapent des mots sur Google pour vérifier leur orthographe. N'en faites plus partie.
The Register @TheRegister
101K Followers 46 Following Enterprise technology news and views, on the web since 1998. Part of the @SitPub family. Send news tips via https://t.co/UTSGHfn6hq
Danny Trejo @officialDannyT
615K Followers 1K Following Danny Reads His Tweets & Responds As He Can. He Loves & Appreciates All of His Amazing Fans! And We All Know Machete Don't Text...
Crosswalk Collective ... @CrosswalksLA
6K Followers 231 Following Los Angeles's streets are deadly for pedestrians and cyclists. Until City Council acts, we paint crosswalks. Request a crosswalk 👇
Donald Shoup @DonaldShoup
31K Followers 138 Following Professor of Urban Planning at UCLA. Saving the world one parking space at a time.
Cars in Bike Lanes Se... @carbikelanesea
1K Followers 21 Following Pictures of cars in bike lanes. No longer active on Twitter. Please see the pinned post for alternative sites. Run by @golf1052
Best of Nextdoor 🏡 @bestofnextdoor
451K Followers 5K Following quality neighborhood drama🍿 | chief lurker: @jenntakahashi🕵️🏻♀️ | 💌: [email protected]
Washington State Dept... @waDNR
138K Followers 7K Following Managing, sustaining, and protecting the health & productivity of Washington's lands and waters. 👤@CPL_Dave 🔥@WaDNR_Fire 🌲@waDNR_Forests
Winamp ⚡️ Skins B... @winampskins
12K Followers 2 Following 🐘 MOVED TO Mastodon @[email protected] 🏛 Used to tweet skins from the Winamp Skin Museum https://t.co/hQlusoNGYW 🔧 Made by @captbaritone
explore.org @exploreorg
165K Followers 2K Following The world’s largest live nature network 🌎 Home of the Katmai National Park #BearCam 🐻
FuckCars @FuckCarsReddit
114K Followers 575 Following Official account of https://t.co/E7OnQJAEIs Follow me on bluesky: https://t.co/G2elH5MalX 🧵 Library: https://t.co/LH2VVpQPVe
Greg Spotts @Spottnik
8K Followers 3K Following 🚶♀️ 🚴 🚌 🛴 🚊 Exploring mobility, placemaking and infrastructure in Seattle, LA, NYC and other cities
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
The Grug Brained Deve... @GrugBrainedDev
8K Followers 0 Following complexity very, very bad https://t.co/KTeN6qL3JM
What a week, huh? all... @whataweekhuh
368K Followers 0 Following Captain, it's wednesday. The amazing art for the profile picture was made by Blouk @bloukBlouk
weird medieval guys B... @WeirdMedieval
616K Followers 173 Following by @tochterzwiebel // listen to my podcast with @aranptappers and ORDER MY BOOK OUT NOW // [email protected] for enquiries
Hugh Grant @HackedOffHugh
790K Followers 1K Following
web3 is going just gr... @web3isgreat
121K Followers 1 Following tracking only some of the many disasters happening in crypto, defi, NFTs, and other blockchain-based projects since 2021 • created by @molly0xfff
Aria Desires @Gankra_
8K Followers 373 Following its me, the sapphic disaster who maintains your docs. trans woman, she/they, 30 (avatar: @dizzimitzi) on a sabbatical
CB @ammkrn
38 Followers 82 Following
RiSE Team @ MSR @RiSE_MSR
929 Followers 47 Following Research in Software Engineering team at Microsoft Research.
DivestSPD @DivestSPD
11K Followers 503 Following Seattle's grassroots police watchdog. Got a good tip about a bad cop? DM us. Sustain our work with a monthly donation at https://t.co/6vE1PffA5b
Seattle Municipal Cou... @CourtWatchSMC
1K Followers 0 Following Dismantle Poor Peoples Court. Black Lives Matter. Court watch by King County Dept of Public Defense, in its independent capacity, with partners. See what we see
Alec Karakatsanis @equalityAlec
159K Followers 27 Following founder, @CivRightsCorps civil rights lawyer author of usual cruelty (2019) and copaganda (2025) views here are my own, not civil rights corps
Anne Applebaum @anneapplebaum
562K Followers 798 Following @TheAtlantic and @SNFAgoraJHU Author of Gulag, Iron Curtain, Red Famine, Twilight of Democracy and now AUTOCRACY INC find me more often on the blue site
Reductress @Reductress
282K Followers 597 Following The one and only fake women's news magazine. Shop, learn and listen to everything Reductress: https://t.co/rZ2ivP7vKO
PubliColaNews @PubliColaNews
6K Followers 2K Following Independent, local news and analysis from Seattle.Trends for United States
150 B posts
2.744 posts
36,1 B posts
3.742 posts
45,9 B posts
32,1 B posts
4.746 posts
40,2 B posts
11,2 B posts
26,7 B posts
70,2 B posts
119 B posts
14 B posts
8.062 posts
27,4 B posts
140 B posts
18,4 B posts
1.912 posts
87,8 B posts
You might like
Peter O'Hearn
@PeterOHearn12
1K Followers
Derek Dreyer
@HerrDreyer
3K Followers
Ilya Sergey
@ilyasergey
6K Followers
POPL 2026
@poplconf
3K Followers
Andrew Myers
@AndrewCMyers
5K Followers
Zachary Tatlock
@ztatlock
1K Followers
Denis Merigoux
@DMerigoux
987 Followers
Ranjit Jhala
@RanjitJhala
3K Followers
Chandrakana Nandi
@ChandrakanaNaN
615 Followers
Andrew K. Hirsch
@andrewkhirsch
575 Followers
CAV
@confCAV
796 Followers
Dominic Orchard
@dorchard
2K Followers