Einar Broch Johnsen

Lars Willas Dreyer, Andrea Pferscher, Riccardo Sieve, Jean Rabault, Atle Jensen, Einar Broch Johnsen, Gaute Hope: OLB: An Open Lora Buoy for Coastal Water Measurements https://arxiv.org/abs/2601.05615 https://arxiv.org/pdf/2601.05615 https://arxiv.org/html/2601.05615

12.01.2026 06:46 — 👍 1    🔁 1    💬 0    📌 0

Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa: BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins https://arxiv.org/abs/2505.06287 https://arxiv.org/pdf/2505.06287 https://arxiv.org/html/2505.06287

13.05.2025 05:53 — 👍 1    🔁 3    💬 1    📌 1

Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
Semantically Reflected Programs
https://arxiv.org/abs/2509.03318

04.09.2025 04:45 — 👍 0    🔁 1    💬 0    📌 0

FM 2026 - Tutorials - FM 2026 FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

#FM2026 will feature a Tutorial track, for work that is broadly accessibly and can spread useful ideas in #FormalMethods more widely. Papers may be driven by academic interests or needs from specific domains.

Papers can be upto 25 pages long (LNCS)
Details: conf.researchr.org/track/fm-202...

15.09.2025 13:37 — 👍 2    🔁 1    💬 0    📌 0

Student vs supervisor, drinking vs thinking

Happy to contribute to the PhD defence of Tabea Bordis in Karlsruhe yesterday! Congrats also to supervisor Ina Schaefer.

18.07.2025 14:16 — 👍 4    🔁 0    💬 0    📌 0

Finally, science unveils the inner workings of the Roman Empire !

08.07.2025 14:43 — 👍 1    🔁 0    💬 0    📌 0

Counterfactual strategies for MDPs. Lots of fun working on this with Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Abraham and Lizeth Tapia. To be presented at IJCAI over summer

06.07.2025 09:29 — 👍 1    🔁 0    💬 1    📌 0

We have started combining formal methods with data streams for twinning hospital wards. #bedreflyt

06.07.2025 09:24 — 👍 2    🔁 0    💬 0    📌 0

Then I can recommend The Raisin King, about Gustav Eisen

06.05.2025 21:59 — 👍 1    🔁 0    💬 0    📌 0

There is a very nice book by the author Fredrik Sjöberg called The Raisin King, about an amazing Swedish scientist who, among an unbelievable amount of activities, also corresponded with Darwin on the topic of earthworms.

06.05.2025 21:46 — 👍 1    🔁 0    💬 1    📌 0

Testing self-made sensors for the Oslofjord digital twin today, in an underwater sugar kelp garden!

28.04.2025 11:45 — 👍 4    🔁 0    💬 0    📌 0

FM 2026 - FM 2026 FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association…

The 27th Symposium on Formal Methods 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:

08.04.2025 13:37 — 👍 3    🔁 4    💬 0    📌 0

Lots of fun in Västerås today, celebrating Marjan Sirjani

09.04.2025 07:28 — 👍 2    🔁 0    💬 0    📌 0

Oskar Morgenstern's account of Kurt Gödel's naturalization No description available

It is time to revisit Morgenstern’s account of Gödel’s naturalization process for US citizen albert.ias.edu/entities/arc...

26.03.2025 10:40 — 👍 1    🔁 0    💬 0    📌 0

Alexandra: if you ever start doubting your own awesomeness, I can reconfirm it for you at any time!

24.03.2025 12:45 — 👍 2    🔁 0    💬 0    📌 0

A letter to Columbia's interim president expressing disgust and sorrow at their cowardly decision to appease our lawless government.

I just sent this letter to Columbia's interim president. I suspect she'll never see it, but you will.

21.03.2025 23:47 — 👍 971    🔁 191    💬 55    📌 11