Kutatási területek
Formális nyelvek, multi-ágens rendszerek, természet-motivált számítástudomány (molekuláris számítások, membrán számítások, biológiai indíttatású számítástudomány).