Dr Michal Konečný

Michal Konečný

View graph of relations

General

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.

Research interests

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.

Qualifications

  • 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)

Employment

  • 2003 – date: Lecturer in Computer Science, Aston University, Birmingham

  • 2001 – 2003: Research Fellow in Laboratory for Foundations of Computer Science, University of Edinburgh

Make PhD enquiry

Make PhD enquiry

Engineering & Applied Science

Organisational unit: School

Top downloads

Employable Graduates; Exploitable Research

Copy the text from this field...