Research

In the field of Computational Science, I have the following research interests:

• Large-scale numerical linear algebra
• Eigenvalue methods, both iterative (Lanczos, Arnoldi, Jacobi-Davidson) and full-space (QR, QZ)
• Numerical methods with applications in electric circuit simulation (pole-zero analysis, DC/AC/Transient analysis)
• Model Order Reduction methods (moment matching, modal approximation, balanced truncation)
• Linear iterative methods and preconditioning
• Eigenvalue methods and preconditioning

Research interests in Computer Science:

• Parsers
• Compiler technology
• Types and programming languages
• Functional programming languages (Haskell)
• Specification and verification