jdemuijnck.bsky.social
@jdemuijnck.bsky.social
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.
Today was a nice reminder over the social culture at work. When right, it is a nice supportive environment where everyone can have a healthy laugh.

Some days it ain’t, but tonight was good
September 19, 2025 at 7:31 PM
The other day I went to a wondrous book shop! Glorious it was. Barter books.
July 12, 2025 at 9:16 PM
‘God Only Knows’ seams to be hitting harder recently than when I last listened to it.
June 14, 2025 at 9:01 PM
“I’ve listened to Parklife [blur], it was on Horrible Histories”

The youth of today…
June 6, 2025 at 3:14 PM
Reposted
For people finding out that the Dutch government coalition just fell, we have a thing called demissionary government where things just continue in a caretaker fashion. Since the current government was not actually achieving anything, we might not even notice.
June 3, 2025 at 7:55 AM
Reposted
Dr Yashar Moshfeghi reflects on our Research Away Day 🙌 Read our latest blog ⬇️

sicsa.ac.uk/blog/reflect...
Reflecting on the SICSA Research Away Day - SICSA
By Dr Yashar Moshfeghi On Monday, 19 May 2025, SICSA hosted a vibrant and forward-looking Research Away Day at the Stirling Court Hotel. Surrounded by the scenic beauty of central Scotland, the venue ...
sicsa.ac.uk
May 23, 2025 at 12:40 PM
Reposted
🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring!
If you’re interested, feel free to reach out.
May 22, 2025 at 12:54 PM
Reposted
Once again, @berthub.eu hits the nail on the head! It’s a must-read for everybody talking about “European alternatives”.
Our societies and governments now largely run on American proprietary big-tech platforms. Many of us want to decrease this dependency, or even end it altogether. Here I wrote up a bunch of things we are doing wrong, and what the open world could do better: berthub.eu/articles/pos...
What we in the open world are messing up in trying to compete with big tech - Bert Hubert
Our societies and governments now largely run on American proprietary big-tech platforms. Many of us want to decrease this dependency, or even end it altogether. Everyone in the open tech scene is ful...
berthub.eu
May 18, 2025 at 5:20 PM
Reposted
ICYMI: Multiple chronic illnesses linked to higher risk of depression #MRC #AcademicSky
Multiple chronic illnesses linked to higher risk of depression
A study shows that people with multiple long-term physical health conditions are at a significantly greater risk of developing depression.
www.ukri.org
May 14, 2025 at 9:24 AM