Engaging in High-Level Scientific Dialogue
The Barkhausen Institut is pleased to share that its scientists, Marcus Rossel and Dr. Sebastian Ertel, recently took part in two prestigious events.
Marcus Rossel was invited to the Dagstuhl Seminar on Tradeoffs in Reactive Systems Design (Feb 23 – Feb 28, 2025), while Dr. Sebastian Ertel was invited to the HACS Workshop (March 23–24).
An invitation to a Dagstuhl Seminar is a distinct honor, as these gatherings are among the most respected forums for discussions in Computer Science. This event in particular gave rise to discussions on how interactions between physical systems and software can be made safe and predictable.
Similarly, the HACS (High Assurance Crypto Software) workshop provided a valuable platform for engaging with the formal verification community on secure and reliable cryptographic protocols.
Both events offered meaningful discussion that will support BI’s ongoing research efforts and strengthen connections with the broader scientific community.