Robert Hoehndorf Associate Professor, Computer Science artificial intelligence bioinformatics biomedical data knowledge representation Neuro-Symbolic AI neuro-symbolic methods