Skip to content
Snippets Groups Projects
Commit 95e81e83 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more

parent e7da94de
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment