András Simonyi is Research Fellow at the Applied Logic Laboratory, Budapest. His main areas of research interest are semantics, formal ontologies and philosophy of mathematics.