Welcome to Troupe Discussions!

[aslanix]

Welcome!

We’re using Discussions as a place to connect with other members of our community. We hope that you:

• Ask questions you’re wondering about.
• Share ideas.
• Engage with other community members.
• Welcome others and are open-minded.

To get started, comment below with an introduction of yourself and tell us about what you do with this community.

[ssoelvsten]

Hello everyone! 👋 I graduated recently as a PhD student at Aarhus University working on algorithmic engineering for an external memory BDD implementation. Now, I have switched gears and encountering lots of new interesting challenges as a Postdoc with Aslan. I hope to extend Troupe with more language features and maybe also some polish.