Henrik Barthels, M.Sc.
Contact
Henrik Barthels
Aachen Institute for Advanced Study
in Computational Engineering Science
Rogowski Building
Schinkelstr. 2
52062 Aachen
Germany
| Office: | Schinkelstr. 2, room 430 |
| Phone: | +49 241 80 99 142 |
| Fax: | +49 241 80 628498 |
| Email: |
Research
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.