EPSRC logo
Researcher Details
 
Name: Dr S Kiefer
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/M003795/1 EPSRC-Royal Society fellowship engagement (2013): Probabilistic Termination(P)
Previous EPSRC Support
EP/M023656/1 Towards comprehensive verification of stochastic systems(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator