Aistis Simaitis

Doctoral Student

Student, Magdalen College

aistis.simaitis@cs.ox.ac.uk

+44 (0) 1865 610774

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My research interests are focused around combining model-checking and game-theoretic techniques to the analysis and verification of stochastic multi-agent systems, more specifically, automated negotiation, decision making, and cooperation algorithms. The work is closely related to the ERC project VERIWARE focus of which is verification of software for ubiquitous computing systems.

Biography

I am a doctoral student in Quantitative Analysis and Verification research group supervised by Professor Marta Kwiatkowska. I received my undergraduate degree in Computing from the University of Leeds in 2010. As part of my studies I spent 12 months in the BT Laboratories at Adastral Park, where I was working on the design and analysis of self-organising algorithms for the FP6 project CASCADAS. Before moving to Leeds I spent two years studying Software Engineering in the Mathematics and Informatics Faculty in Vilnius University.