Termin | SWT Webinar Series on "How to Engineer Quality into Complex Digital Systems?" (Uni)

Online-Seminar freier Eintritt
Six eminent researchers discuss this question live with Prof. Gerald Lüttgen and the audience on Zoom, and offer their perspectives from the fields of model-driven software engineering, socio-technical systems engineering, and formal analysis and verification.

Joost-Pieter Katoen, Professor of Computer Science, RWTH Aachen University

His research is in the fields of formal methods and computer-aided verification, in particular probabilistic model checking, concurrency theory, and semantics of probabilistic programming languages. Joost-Pieter heads the Software Modeling and Verification Group at RWTH, is a Member of the Academia Europaea and was awarded an ERC Advanced Grant in 2018. He co-wrote the textbook Principles of Model Checking and is on the Editorial Boards of the journals PeerJ Computer Science and Springer’s Software Tools for Technology Transfer.

Voraussichtliches Ende: 17:00 Uhr

Veranstalter: Lehrstuhl Softwaretechnik und Programmiersprachen

Raum: Zoom
Comment