Home People Publications Talks Teaching Contact Github

Henrik Barthels, M.Sc.


Henrik Barthels
Aachen Institute for Advanced Study
in Computational Engineering Science
Rogowski Building
Schinkelstr. 2
52062 Aachen

Office: Schinkelstr. 2, room 430
Phone: +49 241 80 99 142
Fax: +49 241 80 628498


I am currently working on Linnea, an experimental tool for the automatic generation of optimized code for linear algebra problems. The code is available on GitHub. An online demo of Linnea can be found here.

My research interests include:

  • Automation
  • Program Synthesis
  • Pattern Matching
  • Linear Algebra

Publications & Talks

Supervised Theses

Non-linear Associative-Commutative Many-to-One Pattern Matching with Sequence Variables
Manuel Krebber, Master's Thesis.
The thesis is available on arXiv. As part of this thesis, the Python package MatchPy was developed, which can be found on GitHub and PyPI.