@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@saltypeppermint.bsky.social
https://ipv3.org PhD student @TUBerlin Opinions are those of your pet Ask me about EGraphs, Compilers and Rust
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@remyjck.bsky.social
PhD Candidate @ Cambium, INRIA Paris OCaml x Program Verification https://remyjck.github.io
@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
@aturon.bsky.social
Choosing love Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@dangrossmanseattle.bsky.social
@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/
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@harrisongrodin.com
PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@shwetashinde.bsky.social
Assistant Professor at ETH Zurich, Security Researcher. shwetashinde.org
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@johnbender.bsky.social
Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@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
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@maxhoberman.bsky.social
Video game designer, founder and CEO, photographer, writer, vegetarian home chef.
@onierstrasz.bsky.social
OO Evangelist since 1981. Soul polisher at feenk.com. Emeritus professor at www.oscar.nierstrasz.org
@etanter.bsky.social
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@perezjorgea.bsky.social
Fundamental Computing (http://rug.nl/fse/fc) University of Groningen (NL) Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/) Father (x2)
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@ncardozo.bsky.social
Person. Working on programming languages, and (dynamic) verification. Enjoyer of adaptive and distributed systems. Associate Professor @flaglaboratory.bsky.social @DISCuniandes @Uniandes Also live(ish) at @ncardozo@fediscience.org
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@eosterlund.bsky.social
OpenJDK HotSpot JVM developer at Oracle. Drinks coffee and pets cats. Opinions expressed are, unsurprisingly, my own.
@alonpinkas.bsky.social
Chief of Staff/Foreign Policy Advisor to 1 PM & 4 of Israel's best Foreign Ministers since 70CE. Fmr. Ambassador, Consul General in NY. Played for The Arsenal, 1979 FA Cup Final. Writes in www.The-Independent.com & does TV way too much Tel Aviv, Israel
@liblit.bsky.social
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@anilseth.bsky.social
Neuroscientist: consciousness, perception, and Dreamachines. Author of Being You - A New Science of Consciousness.
@profbriancox.bsky.social
Professor of Particle Physics at The University of Manchester and Royal Society Professor for Public Engagement in Science
@rebeccawilliams.info
Writer/Lawyer/Artist who investigates how data & technology affect power & vice versa. Privacy @ACLU.org + Board @MuckRock.com Links: https://linksofrebecca.glitch.me/ Signal: rebecca.411