Posted: 20th November 2012

Doctoral student Aistis Simaitis has been selected to attend the Science Innovation Plus scheme.

The purpose of the programme is to enable participants to develop the necessary skills to understand how to approach the commercialization of their research and to assess its economic and societal impact, providing access to management and marketing expertise to develop innovations.

As part of his application Aistis had to provide a proposal for commercialisation of his research. He is working in the area of strategy synthesis, that is automatic creation of software and algorithms which are correct by construction, for systems that can incorporate probabilistic and competitive behaviour. Example applications include creating automatic negotiation protocols for electronic market places, or synthesising efficient trading strategies for financial instruments.

Aistis Simaitis is doctoral student in Quantitative Analysis and Verification research group supervised by Marta Kwiatkowska.