Michael Färber

About me

Guten Tag, my name is Michael Färber. I am a PhD student in the Computational Logic group at Universität Innsbruck, working on learning-assisted automated reasoning with Cezary Kaliszyk. My research interests include:

My private homepage is here.


See DBLP for a list of my publications.