Owen Arden
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@etanter.bsky.social
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@sholtzen.bsky.social
I like computers. assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@liblit.bsky.social
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@ccanonne.bsky.social
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@vineethk.bsky.social
Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@aslanix.bsky.social
@caterinaurban.bsky.social
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@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/
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@ericasmithsexed.bsky.social
Sex education after high control religion. Creator of Purity Culture Dropout.™ Repro Justice. Old punk queer femme. Philly. 🥨 @ericasmith.educates on Instagram purityculturedropout.com to work together
@cpsc.gov
Your U.S. Consumer Product Safety Commission. Product safety info, data, and recalls. Standing for safety since 1972. Official account of the USCPSC. HQ: Bethesda, MD. Subscribe for recall emails on CPSC.gov. Report unsafe products on SaferProducts.gov
@samthielman.com
Sam Thielman | Seen NYT Book Review, New Yorker, Slate, Flaming Hydra foreverwars.ghost.io | he/him | 741.5 (Comic books, strips, etc.) | NC>Brooklyn | cat subordinate | DC COMICS: THE STORY OF A UNIVERSE with Sean Howe forthcoming from HarperOne
@drewtoothpaste.bsky.social
author of Toothpaste For Dinner, @dasharez0ne.bsky.social etc. i make tshirts at dashare.zone vocals for HELL ORBS, listen at https://dendycrew.com my podcast with @nataliedee.bsky.social: https://www.garbagebrainuniversity.com
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@erinbiba.bsky.social
Freelance Science Journalist. Fact Checker. NatGeo, BBC, SciAm, NBC News, PopSci, WIRED, and others. Hire me to fact check your book. I post about Jewish stuff, disability, Star Trek, and The Buffalo Bills. Jersey girl.
@endingwithali.com
software engineer @ fintech- content creator @ http://links.ali.dev - threatwire host @hak5 - @breakingthepod - nyc - ex @miteecs - jewish
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@amiiillustrates.bsky.social
Illustrator & funny comic strip maker ✍️ Get my book, calendar, prints & more 👇 www.amiiillustrates.com
@altnps.bsky.social
The official "Resistance" team of U.S. National Park Service. Our website: www.ourparks.org
@smartstatistic.bsky.social
unapologically Black-Queer-NB-Feminist-Disabled-Mama of 8-Abortion Storyteller-Pro Abortion mom of the year according to lifesite-MS Repro Freedom Fund ED/Co-Founder they/she #ReproductiveJustice
@chsmc.me
Internet explorer • Design Engineer at era.app • Formerly design systems at Stripe • chsmc.org • museo.app
@demp.city
http://demp.city | The illest motherfucker from here to Gardena | I do King Gizzard stuff on the YouTubes | Pro Rasslin’| He/They | Enby Doofus | #LFGM #GoFins