Bertram Felgenhauer

About me

Until March 2019, I've been a research assistant and postdoc at the Computational Logic Group of the University of Innsbruck.

Research Interests

Former Activities