diff --git a/README.md b/README.md index af75267d..fd90a0d1 100644 --- a/README.md +++ b/README.md @@ -74,7 +74,7 @@ PRISM was created and is still actively maintained by: Development of the tool is currently led from Birmingham by Dave Parker. Other current key developers are: - * Joachim Klein (Technische Universität Dresden) + * Joachim Klein (formerly Technische Universität Dresden) We gratefully acknowledge contributions to the PRISM code-base from various sources, including (in approximately reverse chronological order):