• School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Biography

    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

    Contact Details

    Phone number: 0121 204 3462

    Email: m.konecny@aston.ac.uk 

    Room number: Main Building 214J

    Keywords

    • QA76 Computer software
    • QA75 Electronic computers. Computer science

    Fingerprint

    Dive into the research topics where Michal Konečný is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles

    Network

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    • Certified Computation of Nondeterministic Limits

      Konečný, M., Park, S. & Thies, H., 20 May 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 771-789 19 p. (Lecture Notes in Computer Science; vol. 13260).

      Research output: Chapter in Book/Published conference outputConference publication

    • Axiomatic Reals and Certified Efficient Exact Real Computation

      Konečný, M., Park, S. & Thies, H., 17 Nov 2021, Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Proceedings: 27th International Workshop, WoLLIC 2021. Silva, A., Wassermann, R. & de Queiroz, R. (eds.). Berlin / Heidelberg: Springer, Vol. 13038. p. 252-268 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13038 LNCS).

      Research output: Chapter in Book/Published conference outputConference publication

    • Representations and evaluation strategies for feasibly approximable functions

      Konečný, M. & Neumann, E., 20 Jan 2021, In: Computability. 10, 1, p. 63-89 27 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
      File
    • Computable analysis for verified exact real computation

      Konečný, M., Steinberg, F. & Thies, H., Dec 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020. Saxena, N. & Simon, S. (eds.). 50. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 182).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File
    • Continuous and monotone machines

      Konečný, M., Steinberg, F. & Thies, H., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). MFCS-2020-56. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

      Research output: Chapter in Book/Published conference outputConference publication

      Open Access
      File