faculty of computer science - Fakultät Informatik - Technische ...
faculty of computer science - Fakultät Informatik - Technische ...
faculty of computer science - Fakultät Informatik - Technische ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
“In QuaOS, experts from the field <strong>of</strong> operating<br />
systems, automated theorem proving, and model<br />
checking, aim to develop innovative methods for<br />
the verification <strong>of</strong> operating systems.“<br />
Pr<strong>of</strong>. Dr. rer. nat. Christel Baier<br />
Photo: Florian Schneider | www.florian-schneider.info