Stephen Kell
|
Stephen Kell
Research Assistant
firstname.lastname@cs.ox.ac.uk
01865 283566
Room 450, Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
This page contains only a brief summary. Please visit my web pages proper for more details.
I'm a postdoctoral research assistant here at the Department of Computer Science, where I started in January 2011. Currently I'm working on applying rigorous techniques for program specification, synthesis and verification to complex real-world applications. At the moment, my focus is on sensing applications, primarily those written for smartphone platforms. I'm a James Martin Fellow, and this work is taking place within the research programme of the Oxford Martin School's Institute for the Future of Computing. I am based within the Verification theme, working with Marta Kwiatkowska and others, and also participate in the Software Engineering theme, working with Niki Trigoni and others.
More generally, I am a practical computer scientist with wide interests. Please see my web pages proper to find out more.
Links
Info
|
Themes |
|
|
Activities |
Quantitative Analysis and Verification | Software Model Checking | Sensor Networks |
|
Projects |
