Tilman Hinnerichs

PhD student at the Algorithmics Group of the Faculty of Engineering, Mathematics and Computer Science (EEMCS/EWI), Delft University of Technology.


My goal is to build machines that are able to perceive and reason automatically. I thus try to understand better the interplay of knowledge representation and logic programming, and sub-symbolic machine learning approaches in order to reason over both simultaneously. 
Further, I am concerned with teaching programs how to write
(probabilistic) programs, also denoted by program synthesis, under application of this neural-symbolic inference. Third, I investigate how to apply these methods to the realm of bio-science for biomedical knowledge discovery. Please see tilman.hinnerichs.com for more information and current projects.

Research interests: Knowledge representation, automated reasoning, ontologies, program synthesis, NeSy AI, bioinformatics, semantic web

T. Hinnerichs, MSc