Dr Michal Konecny


Phone number: 0121 204 3462

Email: [email protected] 

Room number: Main Building 214J



I joined Aston University's 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 Mathematics, Masaryk University , Brno Czech Republic, 1996
  • Magister of Computer Science, Masaryk University , Brno Czech Republic, 1996

  • PhD in Computer Science, Birmingham University, 2000

  • Associate Certificate in Teaching & Learning (Aston University)
  • 2003 – date: Lecturer in Computer Science, Aston University, Birmingham
  • 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.

  • 2006-2009: Computing with Arbitrary Precision Curves, EPSRC Grant EP/C01037X/1
  • 2005-2009: High Integrity Floating Point Computation, EPSRC CASE with Praxis High Integrity Ltd

  • 2014-2017: KTP with Phoebus Ltd
  • 2015-2018: KTP with IGI Ltd
  • 2005-2009 Jan Duracz
  • 2011-2015 Khalil Al-Ruqeishi 
  • 2014- Eike Neumann


I am looking for new PhD students in areas close to my research interests.