Michal Konečný

I am a lecturer in the Computer Science Subject Group in Aston University in Birmingham, UK.

Research

• Computability and Complexity in Analysis [more]
• Program analysis [more]
• Type systems for safe aliasing
• Functional programming with bounded resources
• Semantics of programming languages

I am also interested in further areas of theoretical computer science, mathematical logic, discrete mathematics and algebra.

Computability and Complexity in Analysis

Theory

• PhD student Eike Neumann, 2014-2018, PhD Thesis ``Universal Envelopes of Discontinuous Functions''

Arbitrary precision computation

• AERN2 GitHub (under construction)

Static Analysis

• High Integrity Floating Point Computation

  • CASE PhD project taken by Jan Duracz 2005-2010, PhD thesis
  • funded jointly by Altran Praxis and EPSRC

Contact Information

Aston office:	Private:
Computer Science School of Engineering and Applied Science Aston University Birmingham B4 7ET United Kingdom Tel +44 (0)121 204 3462 Email m.konecnyastonacuk public PGP key WWW http://duck.aston.ac.uk/konecnym/	Email mikkonecnygmailcom public PGP key