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

end

parent 3d006270
No related branches found
No related tags found
No related merge requests found
......@@ -7,6 +7,7 @@ pic: public/images/kbercic.jpg
role: postdoc
start_date: 2018-11
end_date: 2020-10
publink: auto
......@@ -35,4 +36,4 @@ Math research data has interested me for several years, but I only got a chance
to work on it full-time at KWARC.
I started a [database](https://mathdb.mathhub.info/) of (a subset of) datasets
in mathematics and am implementing MathDataHub with Tom Wiesing.
\ No newline at end of file
in mathematics and am implementing MathDataHub with Tom Wiesing.
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