About mdmisch

My passion is logical approaches to AI: automated theorem provers, knowledge databases, all that stuff. Not that I am an expert in it, but I am self-stydying in that direction.

I am currently self-studying category theory because I really want to understand a particular paper on hypergraph databases.

PhD degree in System Analysis.

I have collected skills & experience in a wide range of disconnected fields, e. g. developed a LaTeX document class for a local journal.

Lists

Timeline

{username} has no activity yet