@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/

@rg9119.bsky.social

Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science

@samth.bsky.social

Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN

@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.

@taliaringer.bsky.social

@lorisdanto.bsky.social

Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust

@avh.bsky.social

Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/

@ltratt.bsky.social

Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/

@alphaconvert.bsky.social

CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.

@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

@jonathanaldrich.bsky.social

Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.

@idillig.bsky.social

CS professor at UT Austin, does research in programming languages & formal methods.

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app