About me edit

Christian is a PhD student in Computer Science at the University of Leicester, and a software development engineer for the Search Technology Center of Bing.

Before, he has obtained a Master of Logic in Mathematical Logic at the Institute for Logic, Language and Computation at the University of Amsterdam, NL and a BSc in Computer Science at the Dresden University of Technologies, D.

For more information see [1].

Editing edit

Articles recently edited

  1. Isbell conjugacy created
  2. Polyad created
  3. Lawvere theory edited
  4. Morita Duality edited