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.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
As I can't find this on the internet anywhere, let me put up a picture of the logo of the Mathematics of Program Construction conference, "Let the symbols do the work" (Dijkstra). This physical version commissioned by Jose Nuno Oliveira for the 2000 edition at Ponte de Lima.
November 24, 2025 at 7:58 PM
As I can't find this on the internet anywhere, let me put up a picture of the logo of the Mathematics of Program Construction conference, "Let the symbols do the work" (Dijkstra). This physical version commissioned by Jose Nuno Oliveira for the 2000 edition at Ponte de Lima.
Wow. This is what £925,000 gets you in Camden, London.
November 24, 2025 at 4:45 PM
Wow. This is what £925,000 gets you in Camden, London.
Small glimmers of light - Heaven 17 @marcheenware.bsky.social are halfway down a UK tour, now apologetically reporting that the merch stand is out of "We don't need this fascist groove thing" T-shirts again.
November 18, 2025 at 11:22 AM
Small glimmers of light - Heaven 17 @marcheenware.bsky.social are halfway down a UK tour, now apologetically reporting that the merch stand is out of "We don't need this fascist groove thing" T-shirts again.
Changed office but no name on door yet, rather than a business card I stuck this old newspaper cutting up for now.
November 12, 2025 at 3:22 PM
Changed office but no name on door yet, rather than a business card I stuck this old newspaper cutting up for now.
Rightly pointing out that "we deleted all copies of the data" is an unverifiable unreliable statement. www.bbc.co.uk/news/article...
October 2, 2025 at 11:49 AM
Rightly pointing out that "we deleted all copies of the data" is an unverifiable unreliable statement. www.bbc.co.uk/news/article...
I resemble this cartoon. There was a nice profile piece on my university's website for years called "From cyber to cider" (now removed for too much self-doxxing). Over 100 liters of cider in my cellar right now ...
October 2, 2025 at 11:07 AM
I resemble this cartoon. There was a nice profile piece on my university's website for years called "From cyber to cider" (now removed for too much self-doxxing). Over 100 liters of cider in my cellar right now ...
The single best way to improve my Samsung Android experience would be to get rid of this screen (last time I cleaned up open apps, 5 instances of it), to get it detached from what I used to naively think of as the "Power" button, or to get Gemini completely removed (already disabled on purpose).
September 18, 2025 at 9:49 AM
The single best way to improve my Samsung Android experience would be to get rid of this screen (last time I cleaned up open apps, 5 instances of it), to get it detached from what I used to naively think of as the "Power" button, or to get Gemini completely removed (already disabled on purpose).
AI revolutionises power sector (1/n)
The complexity of modern power stations and the increased demand for electricity from data centres have meant that the limits of human oversight on optimal control of such essential infrastructure have now been reached [1]. A collective effort of Silicon Valley
The complexity of modern power stations and the increased demand for electricity from data centres have meant that the limits of human oversight on optimal control of such essential infrastructure have now been reached [1]. A collective effort of Silicon Valley
August 6, 2025 at 8:18 PM
AI revolutionises power sector (1/n)
The complexity of modern power stations and the increased demand for electricity from data centres have meant that the limits of human oversight on optimal control of such essential infrastructure have now been reached [1]. A collective effort of Silicon Valley
The complexity of modern power stations and the increased demand for electricity from data centres have meant that the limits of human oversight on optimal control of such essential infrastructure have now been reached [1]. A collective effort of Silicon Valley
And to make with picture up for the omission above: also Stirling. The networks team at Twente (Vissers, Brinksma, ...) worked closely with Ken Turner and others there on OSI model. Picture from Stirling Castle looking towards Wallace memorial, university is almost underneath that.
July 25, 2025 at 12:25 PM
And to make with picture up for the omission above: also Stirling. The networks team at Twente (Vissers, Brinksma, ...) worked closely with Ken Turner and others there on OSI model. Picture from Stirling Castle looking towards Wallace memorial, university is almost underneath that.
Sorry @ananeemas.bsky.social this is just too funny.
July 24, 2025 at 11:58 AM
Sorry @ananeemas.bsky.social this is just too funny.
WTF Android/Samsung, you've hijacked the On/Off button of my phone to lead to this dialogue instead?! Where's the "Not now, not ever" button? Why does the "Not now" button still not allow me to switch phone off?
June 25, 2025 at 1:23 PM
WTF Android/Samsung, you've hijacked the On/Off button of my phone to lead to this dialogue instead?! Where's the "Not now, not ever" button? Why does the "Not now" button still not allow me to switch phone off?
Here again, on at about 11:15 - talking about M&S announcing no full recovery from cyber attack until July.
May 21, 2025 at 10:01 AM
Here again, on at about 11:15 - talking about M&S announcing no full recovery from cyber attack until July.
Promising a proper party of mostly people my age - Holy Holy at Birmingham.
May 17, 2025 at 6:30 PM
Promising a proper party of mostly people my age - Holy Holy at Birmingham.
Yup ... maybe I'll explore later what has happened to my oldest Microsoft account that was a Skype account before MS bought it ...
May 8, 2025 at 3:13 PM
Yup ... maybe I'll explore later what has happened to my oldest Microsoft account that was a Skype account before MS bought it ...
A more specific question 4 weeks later, and still it provides only incorrect answers.
April 24, 2025 at 6:41 PM
A more specific question 4 weeks later, and still it provides only incorrect answers.
The cow parsley in the orchard has shot up massively over the last few days, about to burst out ... the apple trees are all blossoming, some still pink, others already white.
April 20, 2025 at 10:04 PM
The cow parsley in the orchard has shot up massively over the last few days, about to burst out ... the apple trees are all blossoming, some still pink, others already white.
One more. (www.flickr.com/photos/15676... CC-BY-SA 4.0
April 16, 2025 at 6:33 PM
One more. (www.flickr.com/photos/15676... CC-BY-SA 4.0
Bit of timeline cleansing: the Inspiring Computer Scientist poster series by Isabel Wagner (was DMU, now at Basel). Warning, includes diversity!
Posters are CC-BY-SA 4.0 except for three which are under CC-BY-NC-SA 4.0. Sample below.
www.isabel-wagner.net/posters.shtml
Posters are CC-BY-SA 4.0 except for three which are under CC-BY-NC-SA 4.0. Sample below.
www.isabel-wagner.net/posters.shtml
April 16, 2025 at 6:25 PM
Bit of timeline cleansing: the Inspiring Computer Scientist poster series by Isabel Wagner (was DMU, now at Basel). Warning, includes diversity!
Posters are CC-BY-SA 4.0 except for three which are under CC-BY-NC-SA 4.0. Sample below.
www.isabel-wagner.net/posters.shtml
Posters are CC-BY-SA 4.0 except for three which are under CC-BY-NC-SA 4.0. Sample below.
www.isabel-wagner.net/posters.shtml
At the NEC for National Cyber Security show. Come see us at 5/N18.
The sector clearly has a sense of irony. Or not :)
The sector clearly has a sense of irony. Or not :)
April 8, 2025 at 9:44 AM
At the NEC for National Cyber Security show. Come see us at 5/N18.
The sector clearly has a sense of irony. Or not :)
The sector clearly has a sense of irony. Or not :)
Just asking Google for some financial advice ...
April 4, 2025 at 7:48 PM
Just asking Google for some financial advice ...
My first chat with the Meta AI on WhatsApp. Anyone surprised that neither option works? (Android WhatsApp app, likely the most common way of all.)
March 29, 2025 at 10:33 AM
My first chat with the Meta AI on WhatsApp. Anyone surprised that neither option works? (Android WhatsApp app, likely the most common way of all.)
What perfect albums came out when you were 16 ...
March 19, 2025 at 1:04 PM
What perfect albums came out when you were 16 ...
Post a photo you took with no context to bring some zen to the timeline.
March 10, 2025 at 12:08 AM
Post a photo you took with no context to bring some zen to the timeline.