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

• DIStributed Computation over Exact Real Numbers (DISCERN)
  • project supported from November 2006 until May 2009 by EPSRC grant EP/C01037X/1

Static Analysis

• High Integrity Floating Point Computation

  • joint project with Praxis High Integrity Systems Ltd

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://www.aston.ac.uk/~konecnym/	Email mikkonecnygooglemailcom public PGP key