From 95e81e834c8704d0e2e361c2d5969decfca89e19 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 12 Feb 2019 09:28:19 +0100 Subject: [PATCH] more --- people/mkohlhase.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/people/mkohlhase.md b/people/mkohlhase.md index 05bde34..b4b834e 100644 --- a/people/mkohlhase.md +++ b/people/mkohlhase.md @@ -30,7 +30,7 @@ focusing on the aspects of modular foundations (usually logical methods) and lar structures in document corpora. The research is conducted in the context of the [KWARC group](http://kwarc.info) (Knowledge Adaptation and Reasoning for Content) and in extended visits to Carnegie Mellon University, SRI International, and the Universities of -Amsterdam, Edinburgh, and Auckland. +Amsterdam, Edinburgh, and Auckland. Details in my [CV](/public/cv-kohlhase.pdf) or on [Wikipedia](https://en.wikipedia.org/wiki/Michael_Kohlhase) ### Contact -- GitLab