Chelsea Edmonds
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@anujdawar.bsky.social
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e wendigotyp.es
@whiteroseuc.bsky.social
We work collaboratively across the universities of Leeds, Sheffield, and York, to enable individuals from all backgrounds to thrive within our institutions. https://whiterose.ac.uk
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@jnarboux.bsky.social
Researcher in Computer Science, IRIF, Université Paris Cité. Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@programming-conf.bsky.social
Official website: https://2025.programming-conference.org/
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@cst.cam.ac.uk
Cambridge University Computer Science & Technology Department (aka the Computer Lab). We built the 1st usable programmable computer, offered the UK's 1st Computer Science degree, created the 1st webcam - and continue to advance the field today.
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@academic-chatter.bsky.social
Join #AcademicChatter for support & community in higher education.
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@oanamandrei.bsky.social
Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@heidihoward.bsky.social
@jlanday.bsky.social
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
@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/
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@steven.murdoch.is
Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@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.
@sheffielduni.bsky.social
Changing lives through education and research since 1905. On Bluesky since today linktr.ee/sheffield
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@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
@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.
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@tonofcrates.bsky.social
@hlforum.bsky.social
Connecting laureates of mathematics and computer science with the next generation. Imprint: http://heidelberg-laureate-forum.org/imprint.html
@bdmuk.bsky.social
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@raspberrypiorg.bsky.social
A charity that enables young people to realise their full potential through the power of computing and digital technologies 💻💥💪