Santosh Nagarakatte
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@anandikrishnan.bsky.social
#mom #humanist #NIH #reentrysci #ally #immigrant AssocProf @BMERutgers @RutgersCancer @RutgersCS #platelets #translational #omics previously12yrs @StanfordMed
@praveshkkothari.bsky.social
Assistant Professor @PrincetonCS Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
@geomblog.bsky.social
Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
@rrwilliams.bsky.social
professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc. i'll let you know when P != NP is proved (and when it's not)
@anupamg.bsky.social
Professor, Computer Science, New York University. Interested in Algorithms.
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@fptalks.bsky.social
@vkemerlis.bsky.social
Professor @Brown CS. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸 https://cs.brown.edu/~vpk
@gabeloh.bsky.social
Dad, computer architecture researcher, ice hockey beer-leaguer, consumer of all the food, PNW
@jeffdean.bsky.social
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
@rucomputerscience.bsky.social
Official account for the Rutgers Computer Science Department Rutgers University - New Brunswick School of Arts and Sciences (SAS) Busch Campus https://www.cs.rutgers.edu/ ALL LINKS: https://linktr.ee/rucomputerscience
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@jqchen.bsky.social
@sibin.bsky.social
Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Opinions/RTs personal.
@lizrice.com
Open Source | Isovalent @ Cisco | eBPF | Cilium | author of O’Reilly books on Container Security and Learning eBPF | AWS Container Hero | music @insidernine.bsky.social
@mwolczko.bsky.social
Retired computer scientist, ex Sun and Oracle Labs, U of Manchester. Of Ukrainian (Вовчко) and Italian descent. Hobby woodworker, DIYer, astronomer, pilot.
@jonmasters.bsky.social
Troublemaker | Computer Architect | @Arm Servers Architect @Google | Former DE @RedHat | Former VP @Nuvia_Inc | Runner | Author | All views my own | #ArmServers
@anthonydb.bsky.social
Data journalist at The Wall Street Journal and author of the book "Practical SQL" from No Starch Press. https://nostarch.com/practical-sql-2nd-edition/
@kirstengrind.bsky.social
NYT tech investigations, former WSJ, mother of two great boys and two great books
@mattbarnum.bsky.social
K-12 education reporter at the Wall Street Journal https://www.wsj.com/news/author/matt-barnum
@dustinvolz.bsky.social
National security reporter for The Wall Street Journal focused on cyber conflict, digital espionage and intelligence. Based in DC, with past bylines from SF, London and Berlin. It can happen here. https://www.wsj.com/news/author/dustin-volz
@pkwsj.bsky.social
Writing about the U.S. economy for The Wall Street Journal. Currently based in Washington. Previously CDMX, São Paulo, Rio. Tips to paul.kiernan@wsj.com or Signal/WhatsApp +1-202-808-4258 https://www.wsj.com/news/author/paul-kiernan
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@jameslarus.bsky.social
Retired EPFL CS professor/dean. Retired Microsoft researcher/manager. Time to do something new….
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@randomwalker.bsky.social
Princeton computer science prof. I write about the societal impact of AI, tech ethics, & social media platforms. https://www.cs.princeton.edu/~arvindn/ BOOK: AI Snake Oil. https://www.aisnakeoil.com/
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@gowthamkaki.bsky.social
Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security. https://gowthamk.github.io
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.