Ph.D. student; primarily working on knowledge management across systems, libraries and foundations. Interested in foundations of mathematics and formal languages.
B.Sc. and M.Sc. in mathematics with focus on model theory and axiomatic set theory from University Freiburg.