Stefan Kiefer awarded Royal Society University Research Fellowship

Dr. Stefan Kiefer has been awarded a prestigious Royal Society University Research Fellowship.

Stefan joined the Department of Computer Science as a postdoctoral research assistant in November 2009 and specialises in verification, probabilistic models, infinite-state systems, stochastic models and quantitative analysis. From May 2010 to April 2012 he held a fellowship of the German Academic Exchange Service (DAAD).

Stefan’s Royal Society Fellowship project, Quantitative Analysis of Infinite-State Systems, centres on computer-aided formal verification to ensure that dynamic, infinite state systems behave as they are intended. Improved computer-aided verification could, in future, ensure that incidents such as the 2003 power blackout in the Northeast of the United States no longer occur.