I joined Aston Computer Science group as a lecturer in September 2003, after a two-year research fellowship in the Laboratory for Foundations of Computer Science in Edinburgh University.
Magister of Computer Science, Masaryk University , Brno Czech Republic, 1996
PhD in Computer Science, Birmingham University, 2000
2001 – 2003: Research Fellow in Laboratory for Foundations of Computer Science, University of Edinburgh
My research focuses on the theory and implementation of reliable arbitrary-precision numerical computation and on programming theory, mainly support for static analysis and verification.
2005-2009: High Integrity Floating Point Computation, EPSRC CASE with Praxis High Integrity Ltd
I am looking for new PhD students in areas close to my research interests.