Christoph Lange-Bever

(Former)

Christoph Lange-Bever

Research interests

Christoph Lange is a research fellow at the University of Birmingham, UK, working on mathematical formalisation of problems from theoretical economics such as auctions. In 2011 he received a Ph.D. from Jacobs University Bremen, Germany, for “enabling collaboration on semiformal mathematical knowledge by semantic web integration” (thesis title). His research is generally concerned with enabling a formal but scalable representation of complex domains, to make them amenable to machine support with verification, retrieval, publishing, collaborative authoring, etc. Christoph was the organiser of a number of workshops on intelligent computer mathematics and semantic web topics, and a programme committee member of several conferences in these fields.