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