Hardware

Our chair 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 doing research work at our chair. If you are interested in working with us, see available opportunities to get started with research.

We primarily support the following architectures.


Our chair 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 at the chair.