Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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
Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
The game show where the rules change every show. Hosted by Sam Reich.
gamechanger.dropout.tv
Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
Studying humans, tech & everything in between🤝🏽
PhD IS @ UNC-CH📚Trust & Gen AI🤖Responsible Tech🌍🌱
Coconut chutney connoisseur🥥🌴
♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
umdcs masters graduate in pl. i like to make videos and take photos.
phd student at penn | intersecting and bridging theory and practice of formal system design and autonomous agents
https://guruprerana.github.io/
mostly not here, but there: https://hci.social/@chrisamaphone
Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
᚛ᚔ ᚁᚏᚓᚐᚉ ᚈᚆᚔᚅᚌᚄ᚜ • github.com/lemueldls
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
boston, cats, computers? he/him
profile pic by chrisamaphone
The good stuff is at https://social.wub.site/@simrob
PL/Systems PhD student at Cornell
ngernest.github.io
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Author (The Fault in Our Stars, The Anthropocene Reviewed, etc.)
YouTuber (vlogbrothers, Crash Course, etc.)
Football Fan (co-owner of AFC Wimbledon, longtime Liverpool fan)
Opposed to Tuberculosis
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
A nonprofit dedicated to helping you understand your world, supported by a community that believes good information is worth it.
Check us out at complexly.org or youtube.com/complexly
computers can be understood • she/her, ⚢ • Chicago
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
A podcast that's enthusiastic about linguistics! By @gretchenmcculloch.com and @superlinguo.bsky.social
"Fascinating" -NYT
"Joyously nerdy" -Buzzfeed
lingthusiasm.com
Not sure where to start? Try our silly personality quiz: bit.ly/lingthusiasmquiz
I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
New blue sky. Same old troll.
PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.
Internet linguist. Wrote Because Internet, NYT bestseller about internet language. Co-hosts @lingthusiasm.com, a podcast that's enthusiastic about linguistics.
she/her 🌈
Montreal en/fr 🇨🇦
gretchenmcculloch.com
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/
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.
PhD student working on program synthesis. https://ziteng.wang/
SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
Creator of 99% Invisible, WRMCLACL, Power Broker Breakdown - http://99pi.org
TEDTalk on flags has over 7M views
NYT Bestseller The 99% Invisible City: http://99pi.org/book
East Bay, CA
Alum: Oberlin, Simon's Rock of Bard, UGA
Long running, award winning narrative podcast about all the thought that goes into things most people don’t think about.
www.99pi.org
siriusxm.com/podcasts-plus-subscription
'Peddler of Wheres,' job creator, Owner at The Map Center in Pawtucket RI- it's like a hip record store but for maps.
www.mapcenter.com
Cartographer, GIS specialist and educator
Linktr.ee/ecoandrewtrc
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Principal Scientist at Stealth Software.
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
CS PhD student @ UPenn.
Previously @ Microsoft, Google, BITS Pilani.
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable.
Read about my group's work at https://andrewhead.info
Paleontology and evolution content creator (TikTok: @oddpride, 700k. Instagram: @astrid_lundberg, 295k. YouTube: astrid_lundberg, 19k).
The worst part of the science history fandom.
She/her (yes, really).
https://andrewblinn.com
abstractJuiceFactory
Programming Language Researcher at the Australian National University
Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
Not-a-number sommelier, purveyor of fine zeros and infinities.
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Socially leftist, fiscal liberal.
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Present: Pursuing PL at Penn (PhD)
Before: Browsing bytes at Brown (Bachelor's)
paulbiberstein.me
Computer things @Berkeley and music things elsewhere.
PL enjoyer. CS PhD @ UToronto
https://bodzioney.org
Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
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.
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
🎓 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/
Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
PhD student at Penn studying type systems | sainati.pl
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Professional computer scientist, unprofessional mathematician
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
CS PhD student @ UPenn, interested in econxCS & HCI, formerly: UC Berkeley, UChicago
https://ek8terina.github.io/opossum_girlie
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.