User:Meloman

About me
Born in 1975. Got a PhD at the Moscow State University in 2002, thhesis on "Modal logic of contingency".

In 2004–2007 I have been working at the University of Manchester in the "Dynamo" project, developing Description Logics for Semantic Web Services.

Interests

 * Mathematical logic, in particular modal and description logics
 * Theory of computation
 * Web programming, in particular in JavaScript
 * Music theory, including mathematical music theory