About me - Eduard Kamburjan
Description: A highly-customizable Hugo academic resume theme powered by Hugo Blox Builder.
Einar Broch Johnsen is a professor at the Department of Informatics , University of Oslo . His research interests include programming models and methodology; program specification and modeling; formal methods and associated theory; lightweight analysis, type systems, testing; as well as deductive verification and formal logic. He is active in formal methods for distributed and concurrent systems, including object-oriented and actor languages, manycore computing, cloud computing and digital twins. He is one
Einar Broch Johnsen is the strategy director of Sirius , a center for research-driven innovation on scalable data access, with 8-year funding from the Research Council of Norway. He has been prominently involved in many national and European research projects; in particular, he was the coordinator of the EU FP7 project Envisage (2013-2016) on formal methods for cloud computing and the scientific coordinator of the EU H2020 project HyVar (2015-2018) on hybrid variability systems.
Einar Broch Johnsen is member of IFIP WG2.2 “Formal Description of Programming Concepts”. He was board member of Sintef ICT (2009-2015). He is currently member of the Scientific Council of the dScience centre at UiO, board member of Formal Methods Europe , editorial board member of the journals Formal Aspects of Computing and Journal of Logical and Algebraic Methods in Programming , and steering committee member of the conference series on Fundamental Approaches to Software Engineering (FASE), Integrated Fo
About me - Eduard Kamburjan