Research output per year
Research output per year
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.
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.
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
2003 – date: Lecturer in Computer Science, Aston University, Birmingham
2001 – 2003: Research Fellow in Laboratory for Foundations of Computer Science, University of Edinburgh
Phone number: 0121 204 3462
Email: m.konecny@aston.ac.uk
Room number: Main Building 214J
Research output: Chapter in Book/Published conference output › Conference publication
Research output: Chapter in Book/Published conference output › Conference publication
Research output: Chapter in Book/Published conference output › Conference publication
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Published conference output › Conference publication
Michal Konečný (Speaker)
Activity: Participating in or organising an event types › Participation in conference