Our group maintains state-of-the-art hardware resources for doing cutting-edge research and supporting our teaching.

All servers/hardware resources are publicly listed and self-managed by our team members. Hardware resources

These hardware resources are available to all BSc/MSc students working at our research group. If you are interested in working with us, see available opportunities to get started with research.

We primarily support the following architectures.

Our research group uses and supports NixOS. Our infrastructure configuration is available here. We also have a short presentation to help you start with NixOS for systems research.