Neosis @neosis-strategy.bsky.social Strategy for the world that is coming
Openrijk Nieuws @handle.invalid Lees het laatste nieuws van Nederlandse ministeries, rijksinstellingen, provincies en gemeenten.
Openrijk is geen officieel overheidsaccount.
openrijk.nl/nl/missie
Liever alleen je eigen gemeente zien?
maak je eigen feed op: openrijk.nl/nl/mijn-openrijk
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
@monimonica4525.bsky.social @monimonica4525.bsky.social
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Dutch Government News @dutchgovnews.com The English version of openrijk.nl/en offers essential government reads for all non-Dutch speakers.
This is not an official government account!
https://openrijk.nl/en/missie
Build your own Dutch gov feed here:
https://www.openrijk.nl/en/my-openrijk
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Estefania Talavera @etalavera.bsky.social Assistant Professor at @@utwente.bsky.social, Netherlands. Computer vision for image and video understanding.
https://estefaniatalavera.github.io/
Nine Internet Solutions AG @nine-ch.bsky.social Nine Internet Solutions AG is the leading provider of managed platform and infrastructure services in CH.
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
CAV @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
@mariah566.bsky.social @mariah566.bsky.social
@btoninho.bsky.social @btoninho.bsky.social
Durgasunil @durgasunil.bsky.social
Beatriz Noheda @bnoheda.bsky.social Professor at University of Groningen (The Netherlands). Married to an idem. Mother of two amazing boys. Spanish. Love what I do and where I live. Busy finding out extremely energy efficient ways of computing using physics and materials that can learn.
Wetenschapsfractie | Science Faction @sciencefaction.nl Fighting for the academic community in the University Council @rug.nl
LinkedIn: https://www.linkedin.com/company/rug-sf/
Manifesto: wetenschapsfractie.nl
E-mail: wf.ur@rug.nl
Joost Frenken @joostwmfrenken.bsky.social Dean Faculty of Science and Engineering | University of Groningen | in my scientific spare time still captivated by surface and interface physics and chemistry
Junior Einsteins Science Clubยฎ @junioreinsteins.bsky.social Award-winning Science events for kids. Founded Irelandโ๏ธ Scientist, Mum, speaker United Nations ๐บ๐ณ Fun, messy, screen-free hands-on, STEM fun Ireland ๐ฎ๐ช UK ๐ฌ๐ง Canada ๐จ๐ฆ Saudi Arabia ๐ธ๐ฆ Luxembourg ๐ฑ๐บ Ukraine ๐บ๐ฆ International Schools partnerships. Franchise.
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
University of Groningen | Rijksuniversiteit Groningen @rug.nl We are the University of Groningen (short: UG) (Dutch: Rijksuniversiteit Groningen, kort: RUG), an open academic community since 1614 ๐ www.rug.nl
Posts in Dutch and English.
Questions? Our chat is open! ๐ฉ- G @gotrlelo.bsky.social @gotrlelo.bsky.social
Ferhat Erata @erata.bsky.social PhD student @Yale โข Applied Scientist @AWS AI โข Automated Reasoning โข Neuro-Symbolic AI โข Alignment โข Security & Privacy โข Views my own โข https://ferhat.ai
๐จ๐ฆ 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.
Joรฃo F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
@dubious-brackets.bsky.social @dubious-brackets.bsky.social
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Komi Golova @jesyspa.bsky.social Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification (SnaKt) and semantics for Kotlin
she/her ๐ณ๏ธโ๐ ๐ณ๏ธโโง๏ธ
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.
Marie-Josรฉ van Tol @mariejosevantol.bsky.social โข Full Professor of Cognitive Neuropsychiatry - UMCG/ @unigroningen.bsky.social
โข Director research school Behavioural and Cognitive Neurosciences, University of Groningen
โข Chair steering committee Netherlands Brain Initiative (Nationaal Plan Hoofdzaken)
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering |ย University of Stuttgart, ISW |ย Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
Riemer Vegter @riemervegter.bsky.social Assistant Professor at University Medical Center Groningen, University of Groningen, Young Academy Groningen and Sport Science & Innovation Groningen.
https://www.rug.nl/staff/r.j.k.vegter/
Luรญs Caires @lmcaires.bsky.social I live in Lisbon. I work at Tรฉcnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
GIC.nl @gicnl.bsky.social Dagelijks overzicht van alleen die Groningse nieuwsfeiten die er werkelijk toe doen. Website: www.gic.nl ; Luncheditie (gratis), 12.500 leden: www.gic.nl/#luncheditie (Meld je ook aan, svp!)
Geography facts @geographyfacts.bsky.social Exploring the world through flags and maps๐ Your daily dose of geography, one post at a time!
Saurabh Singh Rajput @sauftwarebug.bsky.social I like my Tea and AI, Green๐ฑ,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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
Odio el fรบtbol moderno @antifutbolmoderno.bsky.social Odio eterno AL FรTBOL MODERNO
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.
@mahboobehad.bsky.social @mahboobehad.bsky.social
Peter Timmerman @petertimmerman.bsky.social
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Ayushi Rastogi @ayushirastogi.bsky.social Software engineering research | Assistant Professor at University of Groningen
Marcel Bรถhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Daniel Feitosa @danielfeitosa.bsky.social Assistant Professor in Software Engineering @ University of Groningen
Grow Digitally @growdigitally.bsky.social Digital Marketing Strategist
Specializing in:
Brand Building: Crafting compelling brand narratives
SEO & PPC: Optimizing online visibility
Social Media Marketing: Engaging and converting audiences
Let's collaborate to take your business to new height
Alcides Fonseca @handle.invalid Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
cybai @cybai.dev Taiwanese, never Chinese!
ฮป. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
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 ๐ณ๐ฑ๐ฉ๐ช๐ช๐บ
Klaus v. Gleissenthall @gleissen.bsky.social PL and Security research at VU Amsterdam https://gleissen.github.io
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Fabio Mogavero, Ph.D. ๐๐ช๐บ๐ฎ๐น @fabiomog.bsky.social A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Universitร degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
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
Marcello Seri @mseri.me Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Vasilios Andrikopoulos @vandriko.bsky.social Books reader. Parent and husband. Alcoholic beverages appreciator. Really annoying music round participant in pub quizzes, apparently. Incidentally teaching and researching cloud, sustainability, and software architecture (professional account on mastodon)
Michael Biehl @michaelbiehl.bsky.social Physicist by training and by heart, now machine learner in Groningen / NL.
Visit www.cs.rug.nl/~biehl for more information, publications, etc.
The Shallow and the Deep (open access lecture notes):
https://books.ugp.rug.nl/index.php/ugp/catalog/book/130
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
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
๐ง๐ช๐ฎ๐ฑ๐ณ๏ธโ๐ ๐ He/him