My
**official page**
is in
Aston University.
This page refers to early 2005.

Until August 2003, I was a research fellow in the LFCS, School of Informatics, University of Edinburgh.

Here are my publications. You can also download some slides from my talks.

My **research** is mainly
in the areas of

- (arbitrary precision) computable analysis
- static analysis
- functional programming
- semantics of programming languages

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

Michal Konečný Last modified: Fri Jun 3 10:35:37 BST 2005