Skip to content
Research Fellows Directory

Vojtech Forejt

Dr Vojtech Forejt

Research Fellow


University of Oxford

Research summary

I pursue research in formal verification of stochastic systems. In this area of computer science, we develop techniques for proving properties of systems, which in turn allow system designers to make sure that the system satisfies all critical requirements. The society can benefit from these results for example by improving safety of complex systems such as power plants, air traffic control.

Grants awarded

Verification of nondeterminsitic and stochastic systems with time

Scheme: Newton International Fellowships

Dates: Jan 2011 - Dec 2012

Value: £104,000