-
Tweets36
-
Followers163
-
Following80
-
Likes69
Tim Nelson retweeted
Joint work with @elijaherivera @tenellous @logicpreacher and others. Four undergrads across three universities were involved in making this paper. None, we hope, were harmed (-:. Thanks to @samth for introducing us to co-author Sam Soucie!
3
3
12
0
1
Tim Nelson retweeted
Property-based testing is an important upcoming topic in software reliability, but it gets no attention in computing education. We've been trying to fix that. This blog post summarizes our work and points to a recent paper with lots more detail. » blog.brownplt.org/2021/01/10/pro…
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
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following 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
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
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
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
MavisSally @Dv8dtJN7ki8AL
49 Followers 858 Following
A T @iDramedy
328 Followers 6K Following
Arjan @ArjanDhakal2
9 Followers 139 Following Programming | Coffee | Books Notes and Thoughts for myself !!
Zella @Zella1276759
35 Followers 3K Following
Émerson Silva @__emerson_silva
106 Followers 2K Following Software Engineer BSc Computer Science 🐍 🐹 🐋 💎 🐷💚
Britney @Britney82427063
32 Followers 4K Following
Florence Bella @flor39102
0 Followers 67 Following
El Ingenioso Don Quix... @eld0nquix0te
0 Followers 989 Following
Jansen @jan53n
29 Followers 671 Following
EmmanuelOga @EmmanuelOga
761 Followers 4K Following Software Engineer - Ex Google - Ex YouTube Visit https://t.co/24MRgCEiVo! https://t.co/rsRYNk6wSr
Vedang (fosstodon.org... @vedang
1K Followers 2K Following My tweets are notes to my future self, YMMV 👦. Trying for positivity! Building: @unravel_team Alum: @recursecenter, @helpshift https://t.co/Y1W3sicRXf
ajinkya rajput @ajinkyar
43 Followers 393 Following
Jackson @8k6y39dw63
0 Followers 1K Following
Peter Theodores @PeterTheodores
36 Followers 325 Following
Yves Muya-Benda @yvesmuyabenda
199 Followers 839 Following
David @David5219249567
0 Followers 28 Following
Andy @AndyZenThu
37 Followers 453 Following
hamid @hamidkisha
140 Followers 832 Following
Alexander Steinmaurer @XandaBash
119 Followers 282 Following PhD in CS | Computer Science Education | Researcher/Lecturer at IT:U Austria
Prashanthi Ramachandr... @praramachandran
196 Followers 402 Following she/her; AI Software Engineer; formerly: CS Grad Student @BrownUniversity, CS and more @AshokaUniv
Ian Sweet @completelysound
441 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Blokiot.com @BlokiotCom
89 Followers 1K Following Unlocking the power of Zero-knowledge proofs with blockchain & IoT smart devices. Empowering smart business decisions with smarter networks in every Web/Mob App
Mischan Toosarani-Hau... @AboveVacant
233 Followers 3K Following programmer; debuggers; tools for (embedded) vision+imaging pipelines; systems-level stuff @getsentry; optimism is the belief that we can do (a lot) better
Fabio Mogavero, Ph.D.... @fabiomog
130 Followers 1K Following A Theoretical Computer Science Passionate Associate Professor in Computer Science @[email protected] @fabiomog.bsky.social
Ben Greenman @ben_greenman
119 Followers 208 Following
John Ericson @ericson2314_
520 Followers 681 Following Programmer dipping toes in economics. @[email protected], @Ericson2314:https://t.co/W7M481HPNw, [email protected], GitHub @Ericson2314, @JohnEricson.me
Rodrigo Fonseca @rodrigo_fonseca
1K Followers 487 Following @[email protected] on mastodon. Sr Principal Research Manager at Azure Research; Adjunct Associate CS prof, Brown; RT does not mean endorsement. Views my own.
Joab Jackson @Joab_Jackson
7K Followers 7K Following I listen to what people say and write down the best bits: IT ops reporting @thenewstack // see also @DiscCheap for the lively arts...
Mélange Caracole @MelangeCaracole
64 Followers 5K Following 'I am one of those smaller scale disturbances, with an attitude' -- elspethc
akbar @akbar
2K Followers 5K Following I work on Crypto data and explore blockchain use cases. Japanese language n00b!
David Young @roboguy20
503 Followers 1K Following Computer science PhD student focusing in programming languages
Recep Celebi @RecepCelebi20
119 Followers 780 Following Future mathematician. Kind. Honest. Justice is essential.
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
Florian Chudigiewitsc... @fchtcs
17 Followers 342 Following TCS PhD student @UniLuebeck. Theory of Computation ∩ Logic. He/him.
クマムシ.exe @SugarHigh_bin
385 Followers 5K Following
roadside_picnic @poadside_ricnic
12 Followers 2K Following
Nathan Taylor @ntalyour
125 Followers 99 Following CS PhD → @UTCompSci, PL/Systems. Jokes → @dijkstracula. Sometimes → @[email protected] . he/him.
CoreyOConnor @QueueQueueHack
41 Followers 165 Following Anti-reductionist. Domain driven development FTW!
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following 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 @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Lindsey Kuper (@linds... @lindsey
9K Followers 797 Following CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG
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.
Michael Greenberg @mgrnbrg
983 Followers 157 Following
Mark Guzdial @guzdial
8K Followers 1K Following Professor in CSE, Information, and Education at @Umich. Director of @UmichLSA PCAS https://t.co/SAHUChqgu7. Computing Ed Researcher, blogger, dad.
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Meredith Broussard @merbroussard
21K Followers 2K Following 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/Rite... @africanaatbrown
931 Followers 754 Following Tweets from the Department of Africana Studies/Rites and Reason Theatre at Brown University.
GitHub Status @githubstatus
106K Followers 1 Following
Ben Greenman @ben_greenman
119 Followers 208 Following
Jessica McCabe @HowtoADHD
136K Followers 2K Following Building a toolbox of techniques for tackling ADHD. Learn to work with your brain, not against it 🙃 she/her
Aruna B @aruna__b
1K Followers 313 Following Associate Professor at Stony Brook. Systems and Networking researcher.
Thomas Dickerson (fin... @elfprince13
511 Followers 666 Following Under no circumstances do you gotta "hand it to him"
Serdar Kadioglu @serdar_kadioglu
597 Followers 242 Following Group VP of AI @Fidelity | Adj. Assoc. Prof @BrownCSDept | ex-@Oracle | ex-@Adobe
Ryan Cavanaugh 👉 s... @SeaRyanC
9K Followers 385 Following Engineering lead for @typescript. Now at https://t.co/uvEAuNf1VJ
Alberta Tech @albertadevs
9K Followers 631 Following software engineer, creator of cringe tech videos she/her Developer merch: https://t.co/OLACcbefI4 :)
briankrebs @briankrebs
333K Followers 2K Following Independent investigative journalist. Author of 'Spam Nation,' a NYT bestseller. Former Washington Post reporter. Mastodon: https://t.co/fTKNavlMwp
Computer Systems and ... @SystemsAtBrown
326 Followers 11 Following Computer Systems and Networking Research @BrownCSDept
Eunsuk Kang @eskang09
612 Followers 922 Following Associate prof. @SCSatCMU, @S3DatCMU. Software engineering, formal methods, system design, safety, security.
Brown Grad School @BrownGradSchool
4K Followers 204 Following Keeping Brown University graduate students in touch with Graduate School news, events, and external opportunities.
Neurodivergent in CS @ND_in_CS
157 Followers 50 Following Amplifying the voices of neurodivergent computer science researchers
Dorai Sitaram @ds26gte
159 Followers 219 Following
Lu, Kuang-Chen (呂�... @LuKuangChen1
50 Followers 137 Following I code. I study how to code. I teach people how to code. I create tools that help people code better.
Dr. Cat Hicks | grima... @grimalkina
14K Followers 3K Following Psychologist for Software Teams. Defender of the mismeasured. Host at "Change, Technically": https://t.co/pZnAzQmnnC 🦄 🏳️🌈
Jeremy Gibbons @jer_gib
2K Followers 260 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Amy J. Ko 🏳️�... @amyjko
12K Followers 375 Following Professor @uw_ischool @uwcse, she/her. Computing, learning, design, justice, trans, mom. Find me at https://t.co/8hJhTnqHFl
Seny Kamara @senykam
4K Followers 971 Following Head of Research @MongoDB | Ex Professor @BrownUniversity | Ex Co-Founder @ Aroki Sys. (acquired) | Ex @MSFTResearch
Tess Strickland @sstrickl
355 Followers 579 Following Recovering academic. 👩💻🧙♀️at @Google working on the @dart_lang VM. 👩❤️👩 💍@spero_lux Private: @TheBookOfTess Mastodon: @[email protected]
Elijah Rivera @elijaherivera
87 Followers 100 Following 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
1K Followers 522 Following Assistant Professor @Northeastern, Prev. @ucsd_cse, @GeorgiaTech, @UCSB, and @BKCHarvard. https://t.co/PO7ViHIZB7
Kartik @k4rtik
1K Followers 434 Following Quantum Compiler Engineer at @QuantinuumQC. Previously: @UChicagoCS, @BrownCSDept.
Nathan Aschbacher @gen_nja
403 Followers 255 Following 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
857 Followers 240 Following Cloud Systems Reliability @ Microsoft Research, Redmond. Adjunct faculty @ MPI-SWS. Observability, Tracing, and Reliability of Distributed Systems.
Rodrigo Fonseca @rodrigo_fonseca
1K Followers 487 Following @[email protected] on mastodon. Sr Principal Research Manager at Azure Research; Adjunct Associate CS prof, Brown; RT does not mean endorsement. Views my own.
Brown Daily Herald @the_herald
9K Followers 246 Following An independent, student-run news organization serving the Brown University community since 1891.
Stefanie Tellex @StefanieTellex
1K Followers 62 Following Stefanie Tellex is an Associate Professor of Computer Science at Brown University. She aims to empower every person with a collaborative robot partner.
David R. MacIver @DRMacIver
8K Followers 568 Following What's for breakfast? Onward! Towards the abyss. @[email protected] if you want a backup, but I don't toot there yet.
Racket @racketlang
7K Followers 74 Following Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI
Eli Rosenthal @ezrosent
117 Followers 405 Following I work at Google, views are my own | hobby projects at https://t.co/cVqROiWEww | he/him
Jack Wrenn @tenellous
511 Followers 265 Following rust & bikes, but not rusty bikes. 🏳️🌈 on the other site @ jswrenn opinions are my own. any pronouns are fine.Trends for United States
9.559 posts
30,3 B posts
29,6 B posts
242 B posts
4.438 posts
24,7 B posts
5.871 posts
4.460 posts
1.509 posts
7.147 posts
1.315 posts
4.164 posts
1.700 posts
1.802 posts
18,3 B posts
1.060 posts
2.792 posts
You might like
Rajeev Alur
@RajeevAlur
2K Followers
Isil Dillig
@IsilDillig
4K Followers
Heni Ben Amor
@asurobot
1K Followers
Joe Gibbs Politz
@JoePolitz
1K Followers
Alexandra Silva
@alexandra8silva
2K Followers
Chandrakana Nandi
@ChandrakanaNaN
615 Followers
ASU_APG
@ApgAsu
249 Followers