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

Research Interests

  • Automation
  • Linear Algebra
  • Theoretical Computer Science

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.