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.
![](https://dse.in.tum.de/wp-content/uploads/2023/01/Hardware-arch.png)
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.
![](https://dse.in.tum.de/wp-content/uploads/2023/01/nixos-1-1024x298.png)