Hi there,

I am Tilman (@THinnerichs), PhD Student at STAR AI Lab and Algorithmics Group at TU Delft, Computer Scientist and 2 Meter Peter.

I am interested in program synthesis, neuro-symbolic proofs and reasoning, machine learning theory, ontologies and logics, and their application to bioinformatics.

Also check out my personal website tilman.hinnerichs.com