Tehokkaiden päättelyjärjestelmien ansiosta vaikeita laskennallisia ongelmia voidaan ratkaista eksaktisti. Palkitussa väitöskirjassa kehitetään automatisoidun päättelyn menetelmiä laskennallisen argumentaation viitekehyksessä.

Tilastotieteen menetelmäkehitys mahdollistaa yhä monimutkaisempien aineistojen analyysin. Palkitussa väitöskirjassa esitetään uusia tilastollisia tekniikoita moniulotteisille aineistoille, ja menetelmillä voidaan esimerkiksi tehdä uusia lääketieteellisiä löytöjä.