Achim D. Brucker
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@jamesbrock.bsky.social
Pure functional programming, Haskell, PureScript, Nix. Vermont provenance, Yokohama residence. https://github.com/jamesdbrock https://twitter.com/jamesdbrock
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@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
@tijanaminic.bsky.social
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸 tijanaminic1.github.io
@gjmichaelson.bsky.social
An idle singer of an empty day https://www.stairwellbooks.co.uk/product/equinox/
@johanjeuring.bsky.social
Professor of Software technology for learning and teaching, Utrecht University
@jocare.bsky.social
Senior Lecturer (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security https://www.dcs.gla.ac.uk/~josecr/
@profnaren.bsky.social
Thomas L. Phillips Professor, CS@Virginia Tech. Data science, machine learning, urban analytics.
@cmsdengl.bsky.social
HCI academic (retired) . Here for #politics #fbpe #RejoinEU #climatechange #ukulele #cats #bassguitar #space #gardening #IAmEuropean
@acowley.bsky.social
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
@orderwithchaos.bsky.social
Engineer + Researcher curious about software and computing. http://rvprasad.com
@rodmurraysmith.bsky.social
Professor of Computing Science at the University of Glasgow.
@polux2001.bsky.social
@lancelet.bsky.social
AI, deep learning, numerical, functional programmer. Looking for a job! Uilleann piper, highland piper, extreme Gaelic music enthusiast. https://jmerritt.blog
@lucabordo.bsky.social
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@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.
@michioh.bsky.social
Associate professor (Reader) at Edinburgh, Informatics. Networking & systems research. Ex-NetApp. Foodie. Dad. 🏴🇬🇧←🇩🇪←🇯🇵 https://micchie.net
@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.
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@salarrahmanian.bsky.social
Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems. My blog: https://www.softinio.com
@cercerilla.bsky.social
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@kirshanthans.bsky.social
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@lauritzthamsen.org
Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org ☁️💻🌱
@flippac.bsky.social
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else. (she/her)
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@dfeldman.org
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.