Dr Michal Konecny

Lecturer

Phone number: 0121 204 3462

Email: m.konecny@aston.ac.uk

Room number: Main Building 214J

Profile

I joined Aston University's 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.

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)

2003 – date: Lecturer in Computer Science, Aston University, Birmingham
2001 – 2003: Research Fellow in Laboratory for Foundations of Computer Science, University of Edinburgh

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.

2006-2009: Computing with Arbitrary Precision Curves, EPSRC Grant EP/C01037X/1
2005-2009: High Integrity Floating Point Computation, EPSRC CASE with Praxis High Integrity Ltd
2014-2017: KTP with Phoebus Ltd
2015-2018: KTP with IGI Ltd

2005-2009 Jan Duracz
2011-2015 Khalil Al-Ruqeishi
2014- Eike Neumann

I am looking for new PhD students in areas close to my research interests.

Taha, W, Duracz, A, Zeng, Y, Atkinson, K, Bartha, FA, Brauner, P, Duracz, J, Xu, F, Cartwright, R, Konecný, M, Moggi, E, Masood, J, Andreasson, P, Inoue, J, Sant’Anna, A, Philippsen, R, Chapoutot, A, O’Malley, M, Ames, A, Gaspes, V, Hvatum, L, Mehta, S, Eriksson, H & Grante, C 2016,Acumen : an open-source testbed for cyber-physical systems research. in B Mandler, J Marquez-Barja & et al (eds),Internet of Things: IoT Infrastructures: second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers.Lecture Notes of the Institute for Computer Sciences, vol. 169, Springer, Chem (CH), pp. 118-130, 2nd International Summit on Internet of Things, Rome, Italy, 27-29 October. DOI:10.1007/978-3-319-47063-4_11
Konecný, M, Taha, W, Bartha, FA, Duracz, J, Duracz, A & Ames, AD 2016, 'Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point' Nonlinear Analysis : Hybrid Systems, vol. 20, pp. 1-20. DOI:10.1016/j.nahs.2015.10.004
Al Ruqeishi, K & Konecný, M 2015,Regrouping metric-space search index for search engine size adaptation. in G Amato, R Connor, F Falchi & C Gennaro (eds),Similarity search and applications: 8th international conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, proceedings.Lecture notes in computer science, vol. 9371, Springer, Chem (CH), pp. 271-282 , 8th international conference on Similarity Search and Applications, Glasgow, United Kingdom, 12-14 October. DOI:10.1007/978-3-319-25087-8_26
Duracz, J & Konecný, M 2014, 'Polynomial function intervals for floating-point software verification' Annals of Mathematics And artificial Intelligence, vol. 70, no. 4, pp. 351-398. DOI:10.1007/s10472-014-9409-7
Duracz, J, Farjudian, A, Konecný, M & Taha, W 2014,Function interval arithmetic. in H Hong & C Yap (eds),Mathematical software – ICMS 2014: 4th international congress, Seoul, South Korea, August 5-9, 2014, proceedings.Lecture Notes in Computer Science, vol. 8592, Springer, Berlin (DE), pp. 677-684, 4th International Congress on Mathematical Software, Seoul, Korea, Democratic People' s Republic of, 5-9 August. DOI:10.1007/978-3-662-44199-2_101
Konecný, M, Taha, W, Duracz, J, Duracz, A & Ames, A 2013,Enclosing the behavior of a hybrid system up to and beyond a Zeno point. in2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA).IEEE, pp. 120-125, 1st international conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, Province of China, 19-20 August. DOI:10.1109/CPSNA.2013.6614258
Konecný, M & Farjudian, A 2010, 'Semantics of query-driven communication of exact values' Journal of Universal Computer Science, vol. 16, no. 18, pp. 2597-2628. DOI:10.3217/jucs-016-18-2597
Michal Konecny, M & Farjudian, A 2010, 'Compositional semantics of dataflow networks with query-driven communication of exact values' Journal of Universal Computer Science, vol. 16, no. 18, pp. 2629-2656. DOI:10.3217/jucs-016-18-2629
Farjudian, MA & Konecny, M 2008 'Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Extended Abstract)' .
Aspinall, D, Hofmann, M & Konecný, M 2008, 'A type system with usage aspects' Journal of Functional Programming, vol. 18, no. 2, pp. 141-178. DOI:10.1017/S0956796807006399
Farjudian, A & Konecný, M 2008,Time complexity and convergence analysis of domain theoretic Picard method. in W Hodges & R de Queiroz (eds),Logic, language, information and computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings.Lecture notes in computer science, vol. 5110, Springer, Berlin (DE), pp. 149-163. DOI:10.1007/978-3-540-69937-8_14
Reeves, T, Cornford, D , Konecny, M & Ellis, J 2006,Modeling geometric rules in object based models: an XML / GML approach. inProgress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling.vol. 3, Springer, pp. 133-148, 12th International Symposium on Spatial Data Handling, SDH 2006, Vienna, United Kingdom, 12-14 July. DOI:10.1007/3-540-35589-8_9

Dr Michal Konecny

Lecturer

Phone number: 0121 204 3462

Email: m.konecny@aston.ac.uk

Room number: Main Building 214J

Profile

Qualifications & Education

Employment

Research interests

Recent research funding

PhD Supervision

Publications