Student, Magdalen College
+44 (0) 1865 610774
Wolfson Building, Parks Road, Oxford OX1 3QD
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.
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.
Host selection through collective decision
Fabrice Saffre and Aistis Simaitis
In ACM Trans. Auton. Adapt. Syst.. Vol. 7. No. 1. Pages 4:1–4:16. May, 2012.
Playing Stochastic Games Precisely
Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
In CONCUR. Pages 348−363. 2012.
Automatic Verification of Competitive Stochastic Systems
Taolue Chen‚ Vojtech Forejt‚ Marta Z. Kwiatkowska‚ David Parker and Aistis Simaitis
In TACAS. Pages 315−330. 2012.