Bertram Felgenhauer

About me

I'm a research assistant and postdoc at the Computational Logic Group of the University of Innsbruck.

Research Interests

Activities

Former Activities