Josh Sunshine
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@msho.bsky.social
PhD student @UCSD studying LM reasoning and meta-learning https://matt-seb-ho.github.io
@liamarzola.bsky.social
PhD student @UCSD_CSE | ex @Microsoft @MPI_SWS @Cornell_CS @Dropbox
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@amyko.phd
Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@jeffreybigham.com
Professor of HCII and LTI at Carnegie Mellon School of Computer Science. jeffreybigham.com
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@daveandersen.bsky.social
Computer Science Professor, CMU; co-founder and CTO, Enriched Ag Energy-efficient computing, a dash of security, and a pinch of databases. Also on Mastodon (https://hachyderm.io/@dave_andersen ) signal: dga.48 he/him
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@vasilescu.bsky.social
I shorten academic research papers to fit in 10 pages for a living, at CMU. https://www.instagram.com/count_scratchula http://bvasiles.github.io
@daye-nam.bsky.social
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@andwor.bsky.social
Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
@ioanapatrin.bsky.social
PR pro at UC San Diego. Recovering reporter. As old as Microsoft. Books and comics geek. Robotics/AI/cybersecurity/civil engineering You might want to mute me during San Diego Comic-Con she/her
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@balajee.bsky.social
CS prof @UIC; computer scientist (networks & systems); previously Nvidia, Purdue, BITS-Pilani; tennis aficionado; designed a chip for the first MacBook Air.
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app