Morrigan @morrigan92.bsky.social AI systems tester by trade, sceptic by nature. Living in Visby, Gotland. Goth aesthetic, dry humour, low tolerance for hype. Here for broken demos, old paintings, and the occasional decent cup of coffee.
KampaignLab @kampaignlab.bsky.social KampaignLab is a digital marketing publication that helps marketers, agencies, and businesses discover AI, marketing, and productivity software through expert reviews, comparisons, tutorials, and buying guides.
Eugene (Yoogeun) Song @eugeneyoogeunsong.bsky.social High-Energy Physics @ Imperial @imperialphysics.bsky.social |
Machine Learning | Quantum Computing | Quant Research | London-based (2023-Present) | Ex-Astrophysicist |
28 | 송유근 | 🇰🇷 living in 🇬🇧 | Making Europe home | INTJ E3 | he/him |
yoogeunsong.com
@rshbhprsd.bsky.social @rshbhprsd.bsky.social 
@jhjackyt.bsky.social @jhjackyt.bsky.social 
Amazon Science @amazon.science The latest news and research from Amazon's science community.
http://www.amazon.science
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "HOLIDAY" by Turnstile
Rahul Gopinath @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
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.- M @mhicks.bsky.social @mhicks.bsky.social
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-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
Chengyu Zhang @chengyuzhang.bsky.social Lecturer (Assistant Professor) at Loughborough University.
Working on Software Engineering, Programming Languages, and Formal Methods.
🙌 Looking for PhD and visiting students.
Marek Rei @marekrei.bsky.social AI/ML/NLP researcher and Senior Lecturer at Imperial College London. Working on language models for planning, reasoning and interpretable decision making
@eclupu.bsky.social @eclupu.bsky.social 
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Ruijie Meng @ruijiemeng.bsky.social Tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
muttering @muttering.bsky.social 
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸.
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Nicolas Cardozo @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
Chris Henson @chenson.bsky.social CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Stefan Nagy @snagycs.bsky.social Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Th. Ma. @thierry.marianne.io 
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Abhinav Gyawali @abhizer.com PhD Student at UTCS
https://abhizer.com
Test Evolve @test-evolve.bsky.social 
Ben Reynwar @benreynwar.bsky.social FPGA/ASIC Digital Designer
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
JauntyWunderKind @jauntywunderkind.bsky.social Iteration & expansion of our mediaforms.
Embodying ourselves amid the digital.
Singing life to the new bodies electric.
To properly become connected together we must devise better forms to commune with the machine & connect w ourselves.
#BetOnTheWeb.
@bijkerhans.bsky.social @bijkerhans.bsky.social 
@barry357807.bsky.social @barry357807.bsky.social 
Kabilan Mahathevan @kabilan-m.bsky.social CS PhD Student @VT
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
@yohanpipereau.bsky.social @yohanpipereau.bsky.social 
Yannick Oscar @yannickoscar.bsky.social ml | 🇦🇹
@mnowack.bsky.social @mnowack.bsky.social 
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Unai @usainzg.bsky.social computer aficionado
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Bachir Bendrissou @bbendrissou.bsky.social Google PhD Fellow | Doctoral Student at Imperial College London | Software Reliability | Fuzzing Enthusiast | Ex-CISPA
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Bogdan "Bo" Stoica @cachemisses.bsky.social Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
Michele Alberti @lambdaxdotx.bsky.social 
Daniel Schemmel @daniel.schemmel.net 
John Jacobson @johnj3.bsky.social PhD candidate at University of Utah, studying verification and correctness of concurrent systems.
David Spielmann @spdavid.bsky.social PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/
@fbusse.bsky.social @fbusse.bsky.social 
@pengwinsurf.bsky.social @pengwinsurf.bsky.social 
Ms. Kathy Reid (she/her) @kathyreid.au #PhD researcher at #ANU Cybernetics, investigating bias in #speech and #voice #tech, with a focus on #data & #ML. Leads R&D at @mozdatacollective.bsky.social
Ex NVIDIA, Mycroft AI, @linuxaustralia.bsky.social, Deakin Uni.
https://linktr.ee/kathyreid
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
James Toynton @zensemiconductor.bsky.social James is Founder and Managing Director of Zen Semiconductor Search.
https://www.zensemiconductorsearch.com/
12+ years’ experience in semiconductor recruitment and headhunting. One of Europe’s most networked individuals in the semiconductor domain.
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
DoC First Year @docfirstyear.bsky.social Updates, activities and highlights of the First Year students in the Department of Computing at Imperial College London
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
@saivk.bsky.social @saivk.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Albert ZHANG Tongjun @albertzhangtj.bsky.social NUS CS Undergrad '25, Member of the NUS Trustworthy Engineering of Software Technologies Lab (https://nus-test.github.io/), Fuzzing, Software-Defined Networks
Joining SRG @ Imperial
Personal website: albertzhangtj.at
David R. MacIver @drmaciver.bsky.social 
Tiago @tiferrei.com he/him • Computer Scientist @ Radboud University
Martina Lindorfer @lindorfer.in Associate Professor Security & Privacy @ TU Wien. Key Researcher @ SBA Research (she/her). Avid Snacker. Professional Traveller. Mainly Lurker.
🖤 🦖🦙🐈🐶🦝📸🧩✈️🧟♀️
Sanjay Sinha @sanjaysinha.bsky.social A little bit of everything
Alex @stsquad.bsky.social Code poet and real ale aficionado. Actually on mastodon (@stsquad@mastodon.org.uk) which you can see here via @stsquad.mastodon.org.uk.ap.brid.gy thanks to fed.brid.gy.
Cosmin Stamate @stamate.bsky.social AI & ML Scientist | Researcher • Engineer • Lecturer
Muck @koelschekoreaner.bsky.social 🔴⚪️🇰🇷
Swarat Chaudhuri @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
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Vasisht Duddu @vasishtduddu.bsky.social Computer Science PhD Student @UWaterloo working on Trust and Accountability in Machine Learning
Chris Poskitt @chrisposkitt.bsky.social Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Dan Grossman @dangrossmanseattle.bsky.social 
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet