@icgog.bsky.social
@robpike.io
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
@vaastav.bsky.social
http://www.vaastavanand.com PhD student at Max Planck Institute for Software Systems
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@cristinaabad.bsky.social
Teacher, Researcher, Distributed Systems, Cloud Computing, Big Data, Professor @ ESPOL, CS @ Illinois alumni, Fulbrighter
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@lauritzthamsen.org
Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org ☁️💻🌱
@vishalmisra.bsky.social
Vice Dean Computing and AI @CUSEAS. Dean of Cricket Analytics @SFOUnicorns. Tweets on academia, cricket, dad/bad/wry jokes. Opinions of guy am pointing at.
@edlazowska.bsky.social
Professor, and Bill & Melinda Gates Chair Emeritus, Paul G. Allen School of Computer Science & Engineering, University of Washington - http://lazowska.cs.washington.edu
@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, ...
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@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.
@matthiasboehm7.bsky.social
Prof at TU Berlin and BIFOLD; research on ML systems and data management. mboehm7.github.io
@teggy.org
Professor — like database systems, programming languages, and SC Freiburg ツ
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@aschafu.bsky.social
bio- & chemo-informatics researcher & lecturer; academia & industry: research, science admin, development, sales; currently science manager @ TU Munich; 🚒: 👩🚒, ⛑, CBRN
@tum.de
This is the official account of the Technical University of Munich – Technische Universität München (TUM). Posts from the web communications team at TUM Corporate Communications Center Website: http://tum.de/en Legal notice: http://tum.de/legal-notice
@zuseschoolrelai.bsky.social
Konrad-Zuse-School of Excellence in reliable Artificial Intelligence #ZuseSchoolsAI sponsored by @daadworldwide.bsky.social, BMBF
@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.
@csail.mit.edu
MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: rachelg@csail.mit.edu
@vinothd.bsky.social
I lead silicon security architecture and silicon security operations teams at #Google. Previously, silicon security at #Qualcomm. These days I work on Tensor/Pixel and Android security
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@ms705.bsky.social
Computer systems researcher in the ETOS group (https://etos.cs.brown.edu) at Brown University.
@margoseltzer.bsky.social
@martinmaas.bsky.social
Staff Research Scientist at Google DeepMind. All opinions are my own.
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@heidihoward.bsky.social
@zakird.com
Internet Security, Trust, and Safety Researcher. Stanford CS Faculty, Censys Founder and Chief Scientist, ZMap Creator. https://zakird.com/
@gianniantichi.bsky.social
Faculty at Politecnico di Milano and Queen Mary University of London. Interested in Programmable Hardware, Operating Systems, I/O interfaces and networks https://gianniantichi.github.io/
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@sbrunthaler.bsky.social
Language-based security is the continuation of compiler construction by other means. PLs, pretty much all things compilers. (Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
@devanbu.bsky.social
Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.