Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
betancur . n @nelbeu.bsky.social art & architectural historian / visual, material & religious culture
@patrikja.bsky.social @patrikja.bsky.social Prof. of Computer Science @ Chalmers | Haskell + Agda | From DSLs & parametricity to climate policy modeling | Bridging big ideas with formal details.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
SIGCSE Technical Symposium @sigcse-ts.bsky.social The Technical Symposium is SIGCSE's flagship conference. It has been held annually in February or March in North America since 1970.
Dragonfly @dfly.app A better Bluesky experience starts with drafts and bookmarks 💙
Available on Mac & iPad, coming soon to mobile, Windows & Linux.
Built by @asyncdev.com and @odubu.design
Download the app → dfly.app/download
#buildinpublic
Kirsten Verdel @locuta.bsky.social Bestuurskundige | Amerikadeskundige | Campagnestrateeg | Partner bij Publyon | Seriejunkie | Trekkie | Motorrijder | Moeder van 3 http://bit.ly/2TNvNol http://bit.ly/2Cd0zj8
KNMI @knmi.nl Koninklijk Nederlands Meteorologisch Instituut (KNMI). Volg ons voor weerwaarschuwingen, meldingen over aardbevingen en belangrijk nieuws. Inclusief een RSS-feed voor nieuws- en klimaatberichten.
Actuele waarschuwingen? Download de KNMI-app. 📲
Fokke & Sukke @fokkesukke.bsky.social Dagelijkse cartoon van www.foksuk.nl
Jean-Marc van Tol @jmvtol.eurosky.social Tekenaar, auteur, uitgever. Muziek, geschiedenis, strips, voetbal, literatuur. Romans Musch en Buat. Volg me voortaan via: buat.substack.com (voor Johan de Witt) en vantol.substack.com (voor Fokke & Sukke) Of: @JeanMarcvanTol@mastodon.nl
Kim Mens @kimmens.bsky.social 
Felienne Hermans @felienne.bsky.social "What I had not realized is that extremely short exposure to a relatively simple computer program could induce powerful delusional thinking in quite normal people" - Weizenbaum 1976
In het Nederlands maar soms also in English!
Dominic Lohr @dominiclohr.de 
Nilüfer Gündoğan @ngundogan.bsky.social Werkt. Schrijft. Voedt de leukste op. Heeft vaak een mening. Leest graag. Kookt graag. Zat ooit in TK. Rijdt regelmatig iets te hard. Soms ongepolijst in taalgebruik. Hekel aan fascisten en anti-democraten. #ANTIFA ✊🏼
❤️ van ❌❌❌ en 🇪🇺
@andrewbutterfield.bsky.social @andrewbutterfield.bsky.social 
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Edwin Brady @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/
Laurens Dassen @laurensdassen.voltnederland.org Fractievoorzitter van Volt in de Tweede Kamer. Kies voor de toekomst. Word lid van generatie Volt. ⚡️ https://voltnederland.org
Volt Nederland @voltnederland.org Progressief, duurzaam, Europees.
Word nu lid! ➡️ volt.team/simple-join/nl-NL
@gabedijkstra.bsky.social @gabedijkstra.bsky.social 
🇨🇦 Joey Eremondi @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.
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
@mflatt.bsky.social @mflatt.bsky.social 
Mark Guzdial @markguzdial.bsky.social Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
Sam Lindley @reifyreflect.bsky.social 
@universiteitennl.bsky.social @universiteitennl.bsky.social Koepelvereniging voor 14 bekostigde universiteiten in Nederland
WOinActie.bsky.social @woinactie.bsky.social WOinActie strijdt voor een adequate basisfinanciering van en werkomstandigheden in het WO.
woinactie.blogspot.com
@lucach.bsky.social @lucach.bsky.social 🇮🇹 Researcher @inf.usi.ch 🇨🇭
In love with informatics and teaching.
Striving to be(come) a kind human being.
https://chiodini.org
@augustsx.bsky.social @augustsx.bsky.social 
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
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.
Mirjam Bok @mirjambok.bsky.social Centre for Academic Teaching and Learning | Utrecht University
SIB-Utrecht @sibutrecht.bsky.social 
Mirko Tobias Schäfer 🇪🇺 @mtschaefer.bsky.social Ass. Prof. AI, Data & Society @utrechtuniversity.bsky.social | Sciences Lead at @dataschool.nl | Visiting Professor @helsinkiuni.bsky.social | Teamplayer | Critical Data & AI Studies | #AIEthics | Governance of AI | Action Research | ENG NL GER |
Utrecht University @utrechtuniversity.bsky.social With over 400 years of history and a strong commitment to innovation and academic excellence, we offer a wide range of programs and opportunities to learn, grow and make an impact.
Follow for the latest #utrechtuniversity news, research & information
Alexandre Bonvin @amjjbonvin.bsky.social 
Casper @casperh.bsky.social Ik ben Casper, UU-onderwijswetenschapper. Lezer (vooral SF), zoeker naar betekenis. Professionele provocateur. Ik geloof dat mensen kunnen groeien en dat humor vaak het begin is van verandering. Niet schrikken: ik gebruik ook AI en Twitter.
Daniel Oberski @daob.nl Data science prof @ Utrecht. Incoming scientific director, Dutch national infrastructure for social sciences ODISSEI
Latent variables, Structural Equation Models, Measurement error
https://daob.nl | https://hds.sites.uu.nl | https://odissei-data.nl
Arend Jan Boekestijn @ajboekestijn.bsky.social Podcastmaker, Boekestijn en de Wijk, Europa Draait Door. Associate Professor International Relations, UCU
Ingrid Robeyns @ingridrobeyns.bsky.social Political philosopher and inequality economist. Prof @ Utrecht University | Public values (social justice, democracy, sustainability, quality of life). Fair economies, caring societies. #limitarianism
DUB @dubnieuws.bsky.social DUB is de onafhankelijke nieuws- en debatsite van Universiteit Utrecht. Kijk op: www.dub.uu.nl. Tips mailen kan naar: dubredactie@uu.nl.
vaguely reassuring state machines @happyautomata.com A bot by @katef.bsky.social
Eddy @eddyboeve.bsky.social 
Piet Lekkerkerk @pietlekkerkerk.bsky.social Kritisch volger van het #FVD en andere verspreiders van desinformatie en extreem-rechts gedachtegoed. ¡No pasarán!
https://pietlekkerkerk.blogspot.com/
Vatniksoep @vatniksoepnl.bsky.social Dutch version of Vatniksoup Project. Some unique soups about Dutch vatniks aswell as translated soups from Pekka Kallioniemi. (Official account)
Nederlandse Vatniksoup account met soepen over Nederlandse en andere vatniks. (Officieel account)
Edward Kmett @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
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Barry Jay @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.
Simon Marlow @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.
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Dominic Orchard @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
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Volt Europa @volteuropa.org 🇪🇺 United States of Europe now! Building a federal, green, progressive Europe.
💜 5 MEPs | 360+ representatives | 30+ countries | Be the change and join 👉 https://volt.team/simple-join/en
Join the 1 Million https://wearethe1million.eu/
Chris Klomp @chrisklomp.nl Journalist. Eigen baas. Werkt met donaties op www.chrisklomp.nl en realtwitcourt (op X). Voormalig AD , ANP en regionale kranten. Wappie-fluisteraar en complotbestrijder. 
Bram van Gendt @bramvangendt.eurosky.social
24 jaar, anti-populist, Nederlandse Europeaan 🇳🇱🇪🇺, CDA Lingewaard 💚, Gek op Gendt💙💛
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Jeroen Janssen @j3ro3nj.bsky.social 
Lex Bijlsma @lexbma.bsky.social Emeritus hoogleraar informatica, oud-redacteur Propria Cures, recensent Tzum, blog: https://lexbijlsma.wordpress.com
Christian Bokhove @cbokhove.bsky.social Professor in Mathematics Education, Director of Research, @MASEsoton, TIMSS+PISA, Research Methods, R, School Mathematics Project
Wouter van Joolingen 🟥 💚❤️ @vanjoolingen.nl Loves all kinds of models. Physics, education, guitars.
#ikbenAntifa
Paul Kirschner @paulkirschner.bsky.social Educational realist, Diehard edu myth-buster, Grumpy Old Man, Emeritus Prof. Educational Psychology Open Universiteit, Guest Prof. Thomas More Uni (Belgium), owner kirschner-ED
Shriram Krishnamurthi @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.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app