Sam Lindley
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@ucuedinburgh.bsky.social
The union for academic and academic-related staff at the University of Edinburgh
@nishiorain.bsky.social
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
@emanueledosualdo.com
TT Professor in Computer Science @unikonstanz.bsky.social formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social. Music enthusiast
@robinince.bsky.social
Latest book - Normally Weird & Weirdly Normal out 1st May Robinince.com
@rbreich.bsky.social
Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social. Substack: http://robertreich.substack.com Preorder my new book: https://sites.prh.com/reich Visit my website: https://rbreich.com/
@unison-lang.org
Friendly programming language from the future Open source http://github.com/unisonweb/unison Cloud platform: https://unison.cloud Community: https://unison-lang.org/discord
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Mastodon account: https://types.pl/@jmid
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@terriblemapshq.bsky.social
The home of terrible maps with a pinch of humour terriblemaps@gmail.com
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam soechsner.de
@lmcaires.bsky.social
I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@bram.xyz
Rust, product. He/they. Nushell&jujutsu fanboi. Used to do research on programming languages. @bgeron on other networks. Standing with 🇵🇸 is standing with human rights.
@ledbydonkeys.org
Art, Activism and Accountability https://linktr.ee/ledbydonkeys?utm_source=linktree_admin_share
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@lilypowers.bsky.social
‘She climbed the ladder of success wrong by wrong’ But what would Chico do?
@melselfe.bsky.social
Lecturer in Cultural Policy at the University of Glasgow. Media history nerd. Likes archives. Not actually Eve Arden.
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@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.
@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
@gibtsdes.bsky.social
Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
@andygillku.bsky.social
Principal Engineer, AI Compute, at Rain AI. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@fredriknf.com
Senior Lecturer University of Strathclyde. Hiking, orienteering, running, etc.
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.