Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Tags
Service
18 May 2026
Knowledge Graphs
2 November 2025
REMARO
2 November 2025
Testing
2 November 2025
DART
9 October 2025
Digital Twins
9 October 2025
Talks
9 October 2025
BedreFlyt
30 August 2025
ABS
29 August 2025
Semantic Reflection
1 July 2025
SMOL
1 July 2025
Robotics
16 June 2025
Self-Adaptive Systems
16 June 2025
Denotational Semantics
15 June 2025
Semantics
15 June 2025
Symbolic Execution
15 June 2025
Reinforcement Learning
1 May 2025
Actors
9 April 2025
Threads
9 April 2025
Operational Semantics
17 November 2024
Games
23 October 2024
User Journeys
23 October 2024
Correctness
17 September 2024
SOS
17 September 2024
Oslofjorden
27 May 2024
Minneord
6 May 2024
Cloud
1 September 2023
Keynotes
20 June 2022
Academic
13 December 2020
开源
13 December 2020
»
Cite
×