Als eine von 90 herausragenden Forscherinnen und Forschern ist Ursula Keller, Professorin am Institut für Quantum Elektronik, ...

Professor Peter Müller und sein Co-Autor wurden für ihre Arbeit „A Basis for Verifying Multi-threaded Programs“ mit dem ...