We are a research group based in Innsbruck, in the middle of the Austrian Alps. We work on universality & undecidability and on mathematical physics topics. We also have a Youtube channel where we try to explain what we do. We have strong connections with the Algebra group, sharing many fun group activities.

Our logo is mixture of an impossible triangle (like the liar paradox) and a mountain. If you come visit us we can give you a sticker and a mug with the logo :)