Michal Konečný

[research] [contact] [publications (on Google Scholar)] [slides]

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


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

Computability and Complexity in Analysis

Arbitrary precision computation
Approximating Exact Real Numbers (AERN) framework in Haskell

Static Analysis

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
Email mikkonecnygmailcom
public PGP key

Michal Konečný
Last modified: 2012-08-30 12:35