Jülich Summer Academy Closing Lecture

The highlight of this event is a lecture by Prof. Dr. Ir. Dr. h.c. Joost-Pieter Katoen looking at the challenges on the way towards implementing a quantum computer that can actually be used.

Prof. Katoen is Head of the Software Modeling and Verification group at RWTH Aachen University.

In his lecture entitled “Efficient and Reliable Hard- and Software: Dream or Reality?”, he will look at how mathematical theories and methods can be applied to model and verify aspects of software trustworthiness, such as correctness, security, reliability, performance, and resilience.

Registration deadline
Please register online by 04. September 2023 at: Registration JSA 2023