Laboratory of Theoretical Programming

Head of the laboratory – Nepomniaschy Valery

The main research line of the Laboratory is to develop methods and tools for verification and analysis of distributed systems. The emphasis is on the investigation of fundamental verification methods based on net and logic models such as Petri nets, event structures, temporal and program logics.

Two experimental systems are under development: the system SPECTRUM for problem-oriented program verification and the ESPV system for verification of Estelle (SDL)- specified communication protocols modeled by modified colored Petri nets.

Technical personnel

- Leading programmer
- First grade engineer
- Second grade programmer
- Second grade programmer
- First grade programmer
- Leading programmer
- Second grade programmer
- First grade programmer
- Technician

Research personnel

- Senior researcher
- Junior researcher
- Researcher
- Senior researcher
- Junior researcher
- Junior researcher
- Senior researcher
- Researcher
- Junior researcher
- Head of laboratory
- Chief researcher
- Senior researcher