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