# TU Dresden

- **Website:** <https://tudos.de>
- **Primary alias:** `tudos.de`

## Description

TUD: OS is the TU Dresden Operating Systems group focused on research in system-related topics crucial for demanding applications. The topics include high system security, real-time capability, and efficient communication in supercomputers. The group aims to drive research results beyond their own group for use in other research areas and industries. Examples include their microkernel systems L4Re and M3, with L4Re being used in secure environments such as government agencies and prominent industrial applications. Additionally, they collaborate with the vibrant Dresden operating system scene, initiated or founded by their alumni. This includes close collaborations with the Barkhausen Institute, Kernkonzept GmbH, and the Huawei Dresden Research Center. Their research also focuses on reducing the "Trusted Computing Base" and aims at deterministic communication. TUD: OS encourages visitors to learn more about their work, including undisclosed applications, and emphasizes their active engagement with the Dresden community.

Contact Information: 
Website: TUD:OS
Collaborators: Barkhausen-Institut, Kernkonzept GmbH, Huawei Dresden Research Center
Location: TU Dresden, Dresden, Germany

(The contact information is assumed based on the context provided in the original text.)

## Industries

- 🧪 Science and Education
- 📊 Business and Consumer Services
- 🧪 Education _(under Science and Education)_
- 🧪 Universities and Colleges _(under Science and Education)_
- 🏭 Heavy Industry and Engineering

## Links

- [youtube](https://youtube.com/TUDresdenTV)
- [twitter](https://twitter.com/tudresden_de)
- [instagram](https://instagram.com/tudresden)
- [facebook](https://facebook.com/TUDresden)

## Logos & icons

- logo _(primary)_ — PNG — [download](https://cdn.brandfetch.io/id1V7eIadO/w/820/h/322/theme/light/logo.png?c=1bxid64Mup7aczewSAYMX&t=1773588594784)
- icon _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/id1V7eIadO/w/1080/h/1080/theme/dark/icon.jpeg?c=1bxid64Mup7aczewSAYMX&t=1773588595007)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Crimson | #d10f41 | accent |
| Navy Blue | #00008c | dark |
| White | #ffffff | light |

## Fonts

- Open Sans TUD — asset _(custom)_
- Open Sans TUD — asset _(custom)_

## Imagery

- banner _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/id1V7eIadO/w/1500/h/500/idLWLWKHre.jpeg?c=1bxid64Mup7aczewSAYMX&t=1706767236271)

---

_Source: <https://brandfetch.com/tudos.de>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._