BrainMap

Mr. Andrei Alexandru

Senior Scientific Researcher

Senior Scientific Researcher - ACADEMIA ROMÂNĂ - FILIALA IAŞI

Researcher

Curriculum Vitae (22/04/2022)

Expertise & keywords

Membrane Computing and Biologically Inspired Calculi: Computability, Complexity, Causality. Call name: Exploratory Research Projects - PCE-2011 call
PN-II-ID-PCE-2011-3-0919 2011 - 2016

Role in this project:

Coordinating institution: Academia Romana - Filiala Iasi

Project partners: Academia Romana - Filiala Iasi (RO)

Affiliation: Academia Romana - Filiala Iasi (RO)

Project website: http://iit.iit.tuiasi.ro/~fml/pagini/projects/idei919.html

Abstract:

The main concepts of the project are computability, complexity and causality in the context of membrane systems, process calculi, Petri nets and other related formalisms. Computability and complexity are cornerstones of theoretical computer science, while causality is an issue without a generally accepted formal characterization. We intend to study the computability power of concurrent systems in order to find a minimal set of ingredients (number of compartments and involved resources) for which the formalisms are Turing complete. Focusing on computational efficiency, we want to show that concurrent systems (in particular biologically inspired calculi) can solve hard problems (e.g. SAT and QBF) in polynomial time. We intend to obtain the causal links between the components of the system without the introduction of external ingredients.

FILE DESCRIPTION	DOCUMENT
List of research grants as project coordinator or partner team leader
Significant R&D projects for enterprises, as project manager
R&D activities in enterprises
Peer-review activity for international programs/projects