Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester | Making Formal Methods better and more practical
@dhothersall.bsky.social
Gay husband. Small businessman. Scottish Labour. #LGBWithTheT and women's rights. Pro-EU & pro-UK. Labourhame.com editor. Our Scottish Future board member.
@sicsa-scotland.bsky.social
@berthubert.bsky.social
Software developer, entrepreneur, former government regulator, current government advisor, amateur scientist, publicist. https://berthub.eu/ More active on Mastodon -> @[email protected] -> Nederlandse BlueSky @berthub.eu
@unistrathclyde.bsky.social
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@ian.stark.scot
@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
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@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
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@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.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@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
@tnhh.org
Computer scientist (ish) at St Andrews. Insane in the membrane. Except when running. Running photos at @tnhh.pixelfed.social.ap.brid.gy
@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.
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@tweag.io
The Open Source Programming Office (OSPO) of Modus Create (https://moduscreate.com/). Improving the craft of software engineering. Web: https://www.tweag.io/ GitHub: https://github.com/tweag/ Discord: https://discord.com/invite/7yg5GxzvDJ
@mythic-beasts.com
Now with servers and network in six data centres in three countries. We're really good at managing Linux servers, email, websites and domains with the odd cute cat picture thrown in. https://www.mythic-beasts.com/ https://status.mythic-beasts.net.uk/
@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/
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]