Currently, I am more and more interested in the automation of complex
analysis. This leads to interesting theoretical questions about
computability, zero-testing, singularities, etc. Another important
aspect is the development and implementation of fast, certified and
numerically stable algorithms for multi-precision computations. Many
special functions fall in, or are related to the class of holonomic
functions. I contributed to the development of some particularly
efficient algorithms for such functions.