Teen laskennalliseen logiikkaan ja rajoitelaskentaan liittyvää tutkimusta Matti Järvisalon ryhmässä.