Partner event: Huawei Coffee House Tech Talk Series – June
About this event:
When: Tuesday 7 June 2022 at 11am (UK time).
Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT), First Come First Serve
Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0149030622/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody is welcome! You can access it from your own browser or Zoom app, without installing anything.
Speaker: Prof. Maribel Fernández (King's College London)
Title: Hierarchical Higher-order Port-graph Rewriting as a Modelling Tool
Abstract: Graph rewriting systems can be used to specify computation and more generally to specify and analyse the dynamics of complex systems. They provide visual, intuitive models that are directly executable. In this talk, we will describe the use of strategic port graph rewriting as a visual modelling tool and its implementation in PORGY. In the first part of the talk we will present hierarchical higher-order port graphs (HOPs, an extension of port graphs with graph variables and nesting), and a notion of HOP rewriting following the SPO (Single PushOut) approach. In the second part of the talk, we will describe PORGY (a port-graph rewriting tool) and give examples of application of HoP rewriting: the specification of a lambda-calculus evaluator and a simple model of rational negligence in financial markets. This is joint work with Ian Mackie and members of the PORGY team.
Brief speaker bio: Maribel Fernández is a Professor of Computer Science in the Department of Informatics at King’s College London. Her research interests include computation models, programming languages, and the development of tools for the analysis and verification of software systems. She uses rewriting-based techniques to analyse the dynamic behaviour, security and reliability of systems in various domains (e.g., Internet-of-Things, finance, bio-chemistry), and has developed modelling and simulation tools based on graph rewriting in collaboration with researchers in France and the UK. She has also written textbooks on programming languages and computation models to introduce these research areas to undergraduate and MSc students. She is a member of the board of EACSL (European Association for Computer Science Logic), General Secretary of EAPLS (European Association for Programming Languages and Systems) and member of research evaluation panels in France (ANR) and UK (REF 2021).
The Tech Talk lecture series is a part of the Huawei Coffee House offering
