Research
My main research interest is the design and implementation of symbolic algorithms in linear algebra and systems of linear functional equations. The main result of my PhD dissertation, a generalization of the classical Splitting Lemma — one of the central tools in the formal reduction of systems of linear ODEs — led to efficient methods for computing local formal solutions and opened–up the field for the development of a range of new algorithms for the symbolic resolution of systems of linear ODEs. I have developed the software packages DESIR 2 and ISOLDE in the Computer Algebra System Maple which have been used successfully in various applications and is actively used by the research community. Some of my code has been added to Maple.
A more recent strand of my research is the area of Speech User Interfaces. Together with the CLASP Research Group we are developing TalkMaths, an application for creating and maintaining mathematical content by voice and converting it into various typesetting languages such as LaTeX and MathML.
