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

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

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