Photo of Michal Konečný
    • School of Engineering and Applied Science, Aston University

      B4 7ET Birmingham

      United Kingdom

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

    Semantics Engineering & Materials Science
    Enclosures Engineering & Materials Science
    Finite Automata Mathematics
    Finite automata Engineering & Materials Science
    Update Mathematics
    Interval Arithmetic Mathematics
    Query Mathematics
    Interval Mathematics

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output 2006 2016

    • 6 Conference contribution
    • 6 Article
    • 1 Technical report

    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 contribution

    Open Access
    File
    Testbeds
    Computer simulation languages
    Cyber Physical System

    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
    Hybrid Automata
    Enclosures
    Enclosure
    Simulators
    Trajectories

    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 contribution

    Open Access
    File
    Search engines
    Engines
    Experiments
    Virtual machine

    Function interval arithmetic

    Duracz, J., Farjudian, A., Konečný, M. & Taha, W., 31 Dec 2014, Mathematical software – ICMS 2014: 4th international congress, Seoul, South Korea, August 5-9, 2014, proceedings. Hong, H. & Yap, C. (eds.). Berlin (DE): Springer, p. 677-684 8 p. (Lecture Notes in Computer Science; vol. 8592).

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

    Interval Arithmetic
    Hybrid Modeling
    Theorem proving
    Interval
    Theorem Proving

    Polynomial function intervals for floating-point software verification

    Duracz, J. & Konečný, M., 24 Apr 2014, In : Annals of Mathematics And artificial Intelligence. 70, 4, p. 351-398 48 p.

    Research output: Contribution to journalArticle

    Open Access
    File
    Software Verification
    Floating point
    Polynomial function
    Polynomials
    Specification

    Thesis

    Self-adapting parallel metric-space search engine for variable query loads

    Author: Al Ruqeishi, K., 8 May 2016

    Supervisor: Konecny, M. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy

    File

    Universal envelopes of discontinuous functions

    Author: Neumann, E., 5 Mar 2019

    Supervisor: Konecny, M. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy

    File

    Verification of floating point programs

    Author: Duracz, J., 2010

    Supervisor: Konecny, M. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy

    File

    Activities 2009 2009

    • 1 Participation in conference

    Sixth International Conference on Computability and Complexity in Analysis

    Michal Konečný (Speaker)
    22 Aug 2009

    Activity: Participating in or organising an event typesParticipation in conference