diff --git a/people/mkohlhase.md b/people/mkohlhase.md index d950cc7736d7ef67b99d38cc509d73c25dd0609c..150d8c9ada5bd677f55146a38680f139d3b22de6 100644 --- a/people/mkohlhase.md +++ b/people/mkohlhase.md @@ -1,7 +1,7 @@ --- layout: person -title: Michael Kohlhase +title: Prof. Dr. Michael Kohlhase fullname: Prof. Dr. Michael Kohlhase role: faculty