Where academic tradition
meets the exciting future

Dr. Inna Pereverzeva

Date of doctoral defense: 2.10.2015

TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies

Admitted to TUCS GP on 15.9.2011

Thesis:

Inna Pereverzeva, Formal Development of Resilient Distributed Systems. TUCS Dissertations 203. Åbo Akademi University, 2015.

Former supervisors:

Kaisa Sere (Åbo Akademi University, Department of Information Technologies)

Elena Troubitsyna (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. Science of Computer Programming , 1–22, 2017.

Update your graduate project title and abstract.