Proffesor at the Deparment of Computation. Matematicians (PhD). Works in Graph and Ramsey theory and Fussy logic.