Tim Nelson
@logicpreacher
Shriram Krishnamurthi ๐ค ๐ดโโ ๏ธ ๐จ๐ฝโ๐ซ ๐ดโโ๏ธ ๐
@ShriramKMurthi
๐ฆฃ: @[email protected] โขโขโข @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricket
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. โ๐ฎ๐ณ โง โ๐ฌ๐ง โง โ๐ช๐บ โง โ๐บ๐ธ #celiac ex-{Microsoft, Google, Facebook}
Talia Ringer ๐ฃ ๐๏ธ
@TaliaRinger
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/ืืื, ND, bi. ืื ืืืืืืฉ
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy ยท Core Developer, @racketlang ยท Member, @TC39 ยท Handler, @NaptownUltimate ยท @[email protected]
Loris D'Antoni
@lorisdanto
Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.
Joe Gibbs Politz
@JoePolitz
When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as ๐ฆ https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
Nate Foster (@[email protected])
@natefoster
professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Inactive; Bluesky is @hillelwayne(dot)com
@hillelogram
No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Rachit Nigam
@notypes
MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.
Lindsey Kuper (@[email protected])
@lindsey
CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG
Jonathan Aldrich is Ken
@JAldrichPL
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (https://t.co/sNSJTo6uHj). He/him. Views are mine.
Ranjit Jhala
@RanjitJhala
curmudgeon
Michael Greenberg
@mgrnbrg
Mark Guzdial
@guzdial
Professor in CSE, Information, and Education at @Umich. Director of @UmichLSA PCAS https://t.co/SAHUChqgu7. Computing Ed Researcher, blogger, dad.
Nadia Polikarpova
@polikarn
Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Moshe Vardi
@vardi
My mastodon account: @[email protected]
Will Crichton
@tonofcrates
Cognitive engineer, incoming assistant professor @BrownUniversity.
Racket
@racketlang
Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
Meredith Broussard
@merbroussard
NYU prof. Data journalist, AI researcher. New book: 'More Than a Glitch: Confronting Race, Gender, and Ability Bias in Tech.' On all the other platforms.
Africana Studies/Rites and Reason Theatre
@africanaatbrown
Tweets from the Department of Africana Studies/Rites and Reason Theatre at Brown University.
GitHub Status
@githubstatus
Ben Greenman
@ben_greenman
Jessica McCabe
@HowtoADHD
Building a toolbox of techniques for tackling ADHD. Learn to work with your brain, not against it ๐ she/her
Maria Antoniak
@maria_antoniak
allen institute for ai โข nlp + cultural analytics + healthcare โข phd cornell โข political views/opinions my own โข also on ๐ฆ
Aruna B on Mastodon @[email protected]
@aruna__b
Visiting Professor at SUNY Korea until June 2024. Come say hi to me if you are in Korea. Associate Professor at Stony Brook. Systems and Networking researcher.
Thomas Dickerson
@elfprince13
Under no circumstances do you gotta 'hand it to him'
Serdar Kadioglu
@serdar_kadioglu
Group VP of AI @Fidelity | Adj. Assoc. Prof @BrownCSDept | ex-@Oracle | ex-@Adobe
Martin Bravenboer
@mbravenboer
Ryan Cavanaugh ๐ searyanc.dev on bsky
@SeaRyanC
Engineering lead for @typescript. Now at https://t.co/uvEAuNf1VJ
Alberta
@albertadevs
engineer @Google, organizer @AlphabetWorkers๐น she/her
Caleb Stanford
@calebstanford4
Assistant Professor at UC Davis. PL + Systems, Coffee, Productive Procrastination. https://t.co/Qqj5b0CPpb
briankrebs
@briankrebs
Independent investigative journalist. Author of 'Spam Nation,' a NYT bestseller. Former Washington Post reporter. Mastodon: https://t.co/fTKNavlMwp
Computer Systems and Networks @ Brown
@SystemsAtBrown
Computer Systems and Networking Research @BrownCSDept
Eunsuk Kang
@eskang09
Assistant prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Brown Grad School
@BrownGradSchool
Keeping Brown University graduate students in touch with Graduate School news, events, and external opportunities.
Neurodivergent in CS
@ND_in_CS
Amplifying the voices of neurodivergent computer science researchers
Dorai Sitaram
@ds26gte
Lu, Kuang-Chen (ๅๅปฃๆฏ)
@LuKuangChen1
I code. I study how to code. I teach people how to code. I create tools that help people code better.
Dr. Cat Hicks
@grimalkina
Research Leader. Founder of the Developer Success Lab. Psychologist for Software Teams. Defender of the mismeasured. ๐ฆ ๐ณ๏ธโ๐
Jeremy Gibbons
@jer_gib
Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Amy J. Ko ๐ณ๏ธโ๐ ๐ณ๏ธโโง๏ธ ๐ฎ ๐
@amyjko
Professor @uw_ischool @uwcse, she/her. Computing, learning, design, justice, trans, mom, https://t.co/b9Qm5vt5f8, https://t.co/cFx1dYa7fF, fuck Elon Musk.
Seny Kamara
@senykam
Head of Research @MongoDB | Ex Professor @BrownUniversity | Ex Co-Founder @ Aroki Sys. (acquired) | Ex @MSFTResearch
Tess Strickland
@sstrickl
Recovering academic. ๐ฉโ๐ป๐งโโ๏ธat @Google working on the @dart_lang VM. ๐ฉโโค๏ธโ๐ฉ ๐@spero_lux Private: @TheBookOfTess Mastodon: @[email protected]
Elijah Rivera
@elijaherivera
PhD student @BrownCSDept | Prev: Master's student @MIT_CSAIL | Teacher in training | Interested in CS Ed, PL, FM, Synthesis | ๐ต๐ท + ๐บ๐ธ | Colossians 3:23
Mai ElSherief, Ph.D.
@mai_elsherief
Assistant Professor @Northeastern, Prev. @ucsd_cse, @GeorgiaTech, @UCSB, and @BKCHarvard. https://t.co/PO7ViHIZB7
Kartik
@k4rtik
Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept, @nitcofficial. Into books, bikes, and bouldering.
Sam
@s_dooman
Engineer #2 at @downdogapp, thought follower
anjali
@fakeagnu
๐ณ๏ธโ๐ she/her PhD student @uwcse
Auxon
@AuxonCorp
We enable integrators & systems engineers to build safe, resilient systems.
Nathan Aschbacher
@gen_nja
A properly specified OTP behaviour. CEO & Co-Founder @ https://t.co/6aQtZQdXFB. Formerly of PolySync, Visa, & Basho. Opinions expressed were previously pressed.
Jonathan Mace
@mpi_jcmace
Cloud Systems Reliability @ Microsoft Research, Redmond. Adjunct faculty @ MPI-SWS. Observability, Tracing, and Reliability of Distributed Systems.
Rodrigo Fonseca
@rodrigo_fonseca
@[email protected] on mastodon. Principal Researcher at Azure Systems Research; Adjunct Associate CS prof, Brown; RT does not mean endorsement. Views my own.
Karl R. Wurst
@kwurst
Eccentric Professor.
Kevin Buzzard
@XenaProject
Mathematician learning Lean and trying to teach it to others. Now gone to Mathstodon (March 2023). No longer reading or replying to mentions.
Brown Daily Herald
@the_herald
An independent, student-run news organization serving the Brown University community since 1891.
Stefanie Tellex
@StefanieTellex
Stefanie Tellex is an Associate Professor of Computer Science at Brown University. She aims to empower every person with a collaborative robot partner.
Salman Saghafi
@salmansaghafi
software abstractionist @fastly
David R. MacIver
@DRMacIver
What's for breakfast? Onward! Towards the abyss. @[email protected] if you want a backup, but I don't toot there yet.
Arjun Guha
@ArjunGuha
hacker / CS professor @KhouryCollege @neu_prl