# Gheorghe Stefanescu

From FSL

## Research areas

- algebraic theory of networks
- models of concurency: process algebra, Petri nets, dataflow networks
- distributed, parallel and hybrid systems
- programming languages, theory of programming, semantics
- object oriented programming, UML-modelling, software engineering
- algebraic and categorical logic
- applications of category theory and logic to computing