Graduate student of computer sciences and mathematical logic.