Photo of Michal Konečný

Michal Konečný

Dr

    • School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

    20062020

    Research output per year

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

    Personal profile

    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

    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.

    Network

    Recent external collaboration on country level. Dive into details by clicking on the dots.
    • 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/Report/Conference proceedingConference publication

      Open Access
      File
    • Representations and evaluation strategies for feasibly approximable functions

      Konečný, M. & Neumann, E., 15 Jul 2020, In : Computability. p. 1-27 27 p.

      Research output: Contribution to journalArticle

      Open Access
      File
    • Acumen : an open-source testbed for cyber-physical systems research

      Taha, W., Duracz, A., Zeng, Y., Atkinson, K., Bartha, F. A., Brauner, P., Duracz, J., Xu, F., Cartwright, R., Konečný, M., Moggi, E., Masood, J., Andreasson, P., Inoue, J., Sant’Anna, A., Philippsen, R., Chapoutot, A., O’Malley, M., Ames, A., Gaspes, V. & 4 others, Hvatum, L., Mehta, S., Eriksson, H. & Grante, C., 18 Nov 2016, Internet of Things: IoT Infrastructures: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers. Mandler, B., Marquez-Barja, J. & et al (eds.). Chem (CH): Springer, p. 118-130 13 p. (Lecture Notes of the Institute for Computer Sciences; vol. 169).

      Research output: Chapter in Book/Report/Conference proceedingConference publication

      Open Access
      File
    • Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

      Konečný, M., Taha, W., Bartha, F. A., Duracz, J., Duracz, A. & Ames, A. D., May 2016, In : Nonlinear Analysis : Hybrid Systems. 20, p. 1-20 20 p.

      Research output: Contribution to journalArticle

      Open Access
      File
    • Regrouping metric-space search index for search engine size adaptation

      Al Ruqeishi, K. & Konečný, M., 17 Oct 2015, Similarity search and applications: 8th international conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, proceedings. Amato, G., Connor, R., Falchi, F. & Gennaro, C. (eds.). Chem (CH): Springer, p. 271-282 12 p. (Lecture notes in computer science; vol. 9371).

      Research output: Chapter in Book/Report/Conference proceedingConference publication

      Open Access
      File
    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.