Michal Konečný

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

Research

• arbitrary precision computation [more]
• static 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.

Arbitrary precision computation

• Approximating Exact Real Numbers (AERN) framework in Haskell
  • providing arbitrary precision interval arithmetic with support for generalised intervals and multi-variate polynomial intervals
  • released libraries
  • re-designed AERN framework (under construction)
• DIStributed Computation over Exact Real Numbers (DISCERN)
  • a long-term project, from November 2006 until May 2009 supported by EPSRC grant EP/C01037X/1

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:
Room MB212D Computer Science School of Engineering and Applied Science Aston University Birmingham B4 7ET United Kingdom Tel +44 (0)121 204 3462 Fax +44 (0)121 333 6215 Email m.konecnyastonacuk public PGP key WWW http://duck.aston.ac.uk/konecnym/	Email mikkonecnygmailcom public PGP key