@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@tacticalgrace.justtesting.org
๐ฅ Lambda Scientist ๐ก Functional programming ๐ก Programming languages ๐ก Cryptography ๐จ๐ฝโ๐ป Swift, Haskell & Agda ๐ Volt ๐ช๐บ policy: digital rights & economy ๐ Utrecht ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ โข Twitter: @TacticalGrace
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@profrejones.bsky.social
Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
@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.
@ldklinux.bsky.social
Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. ํ๊ตญ์ด๋ ํ ์ ์๋ค. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net
@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. @[email protected] 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/solstice/
@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
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@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.
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@michioh.bsky.social
Associate professor (Reader) at Edinburgh, Informatics. Networking & systems research. Ex-NetApp. Foodie. Dad. ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ๐ฌ๐งโ๐ฉ๐ชโ๐ฏ๐ต https://micchie.net
@andygillku.bsky.social
SVP of Product Development at Kodamai. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@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
@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
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @[email protected]
@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