Department of Mathematics

Indian Institute Of Technology Madras , Chennai

Developments in Membrane Computing – Kernel P systems case study

Speaker : Prof. Marian Gheorghe, 50th Anniversary Chair, Faculty of Engineering and Informatics, University of Bradford, UK

24-08-2023

Abstract :

Membrane computing, a nature inspired computational paradigm introduced 25 years ago, has been systematically investigated on theoretical aspects regarding computational power and complexity, and used in a broad spectrum of applications. This talk will present the key features of kernel P systems, one of the membrane computing models. Kernel P systems unify features of various P systems, aiming at increasing the expressivity of these models and provide ways of analysing the models created through formal verification methods, such as model checking, and testing techniques.

Key Speaker Prof. Marian Gheorghe, 50th Anniversary Chair, Faculty of Engineering and Informatics, University of Bradford, UK
Place KCB 522
Start Time 3:00 PM
Finish Time 4:00 PM
External Link None