Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @ebjohnsen@types.pl
Joined December 2010
- Tweets 1,677
- Following 467
- Followers 555
- Likes 3,890
190 Photos and videos
I will be lecturing on digital twins at the SETSS 2026 PhD school in Chongqing, China, next week. I am looking forward and hope for some good interaction with the students! rise-swu.cn/SETSS2026/
17
84
Einar Broch Johnsen retweeted
OLB: An Open Lora Buoy for Coastal Water Measurements
Lars Willas Dreyer, Andrea Pferscher, Riccardo Sieve, Jean Rabault, Atle Jensen, Einar Broch Johnsen, Gaute Hope
arxiv.org/abs/2601.05615 [𝚙𝚑𝚢𝚜𝚒𝚌𝚜.𝚊𝚘-𝚙𝚑]
1
107
Einar Broch Johnsen retweeted
5 Dec 2025
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
fmeurope.org/2025/11/26/book…
#FormalMethods
1
13
168
Einar Broch Johnsen retweeted
4 Dec 2025
🚨The 42nd talk will be on December 8th, 5pm with Eduard Kamburjan (IT University of Copenhagen) and entitled "Bridging Knowledge Graphs and System Models for Self-Adaptative Digital Twins".
Abstract👉 edt.community/events/event/t…
Registration👉jku.zoom.us/meeting/register…
2
3
131
Einar Broch Johnsen retweeted
3 Dec 2025
FME is inviting proposals to host the 28th International Symposium on Formal Methods in Autumn 2027 (#FM2027), preferably in Europe
Dates
* Optional 01 Dec 2025: Expression of Interest
* 15 Jan 2026: Proposals
* 15 Feb 2026: Notification
Details: fmeurope.org/2025/09/14/fm-2…
2
14
145
Einar Broch Johnsen retweeted
6 Oct 2025
Welcome our new Co-Editors-in-Chief:
✨ Einar Broch Johnsen (U. of Oslo)
✨ Maurice ter Beek (CNR-ISTI, Italy)
Leading from Jul 2025 – Jun 2028!
dl.acm.org/journal/fac
3
5
507
🌿🐟 #EDTConf2025 paper
“Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring” — applies structural self-adaptation to environmental DTs to link species observations with assumptions. Oslo Fjord camera case study.
Details: conf.researchr.org/track/edt…
2
4
86
Einar Broch Johnsen retweeted
15 May 2025
Counterfactual Strategies for Markov Decision Processes. arxiv.org/abs/2505.09412
1
1
159
Einar Broch Johnsen retweeted
29 Aug 2025
Call for Papers: FormaliSE 2026 - mailchi.mp/e480916c7293/ablg…
1
1
104
Einar Broch Johnsen retweeted
8 Apr 2025
The 27th Symposium on Formal Methods @FMsymp CfP
If your work develops or applies #FormalMethods then #FM2026 is probably interested!
Dates (AoE)
* Papers 2nd Dec 2025
* Conference 20th–22nd May 2026
Gold open access proceedings
Details:conf.researchr.org/track/fm-…
1
5
333
Einar Broch Johnsen retweeted
31 Mar 2025
Okay, maybe we've raised the bar too high in PL.
27 Mar 2025
Do you know that a system paper might be worth 3 AI papers in computer science according to some dubious metric? I launched an interactive website to measure the relative effort spent on one top-tier paper in each computer science field. cspubs.org/
3
5
52
6,451
Einar Broch Johnsen retweeted
3 Mar 2025
Did you know that we have a YouTube Channel?
The FME YouTube channel collects invited talks at FM Symosia, FomaliSE conferences, and other formal methods events.
Rewatch the talks on our YouTube channel (it's the next best thing to being there).
buff.ly/43h03i3
2
5
289
14 Jan 2025
Are you interested in a postdoc on formal methods or software engineering for digital twins? Possibilities for pure CS and/or interdisciplinary research on this cutting edge topic. Contact me for more information. jobbnorge.no/en/available-jo…
21
253
Einar Broch Johnsen retweeted
10 Jan 2025
The @FormalMtds Industry Committee announces the next InFM talk! Dr. David Delmas (Airbus) will discuss Formal Verification of #Avionics Software 🛫. Learn how #FormalMethods transform avionics!
🗓️ Jan 16, 2025
⏰ 3 PM CET
📍fme-industry.github.io/talk/
3
200
Einar Broch Johnsen retweeted
3 Dec 2024
Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wąsowski
"Towards a Proof System for Probabilistic Dynamic Logic"arxiv.org/abs/2412.00906v1
1
1
1
87
21 Nov 2024
The Role of Formal Methods in Computer Science Education. Summary of recent papers pointing out the key position of formal methods in CS ed inroads.acm.org/article.cfm?…
6
9
632
13 Nov 2024
Philippa Gardner draws big lines for compositionality and verification. Keynote at IFM 2024. @iFMconf
1
8
205
13 Nov 2024
Daniel Kröning kicks off iFM 2024 with a keynote on Proof for Industrial Systems using Neural Certificates. @iFMconf
1
19
518
31 Oct 2024
Tobias John presenting our work on mutation-testing of knowledge graphs at @ISSREConf 2024. @ItnRemaro Preprint here: ebjohnsen.org/publication/24…
6
256
10 Oct 2024
I will talk about our work on digital twins and reflection into knowledge graphs at a BCS-FACS webinar Tuesday 15 Oct. More info here: bcs.org/events-calendar/2024…
3
8
327