Michal Konečný

View Scopus Profile

Michal Konečný

Dr

 https://orcid.org/0000-0003-2374-9017
    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
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further
    • 13 Conference publication
    • 9 Article
    • 1 Unpublished Conference Paper
    • 1 Technical report

    • Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers

      Rasheed, J. & Konečný, M., 1 Oct 2022, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings. Schlingloff, B-H. & Chai, M. (eds.). p. 20-36 (Lecture Notes in Computer Science; vol. 13550).

      Research output: Chapter in Book/Published conference output › Conference publication

    • 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 output › Conference 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 output › Conference publication

      Open Access
      File

    • 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 journal › Article › peer-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 output › Conference publication

      Open Access
      File
    View all 24 research outputs
    • 1 Participation in conference