Date: December 14

Venue: University of Minho, Gualtar campus (Braga) | Informatics Department, Building 07 | Room 0.07, ground floor

Time: 4pm

Presenter: Einar Broch Johnsen, University of Oslo, Norway

Title: Resource-Aware Models in ABS

More info HERE

Abstract: ABS is an actor-based modeling language with explicit notions of resources and time. In this talk we discuss modeling abstractions for resource-aware models and analysis techniques exploiting the formal semantics of ABS, using examples from cloud computing. The talk will not be overly technical, but rather focus on possibilities opened by resource-aware actor-based models in terms of research challenges and application domains. ABS and its simulation back-end are open source, available from http://abs-models.org.

Short bio: 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 concurrent languages, manycore computing, and cloud computing. He is one of the main developers of the ABS modeling language. Einar Broch Johnsen is the deputy director of the Sirius Centre, a center of excellence 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. 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 board member of Formal Methods Europe and steering committee member of the conference series on Integrated Formal Methods (iFM) and on Formal Techniques for Networked and Distributed Systems (FORTE).