Miklos Szeredi     <mszeredi@inf.bme.hu>