Monia reaalimaailman ongelmia mallinnetaan laskennallisina ongelmina, usein käyttäen epätäydellistä dataa. Tämän takia ratkaisuja saatetaan sallia suuri määrä, joista oikean ratkaisun valitseminen ei ole mahdollista. Tätä haastetta käsitellään toisinaan luettelemalla kaikki ratkaisut, joka ei ole mahdollista useille käytännön ongelmille. Tämän hankkeen tavoitteena on muodostaa yleinen menetelmä kaikkien turvallisten osaratkaisujen löytämiseksi, joiden voimme luottaa olevan osana oikeaa ratkaisua. Päämotivaatiomme on peräisin bioinformatiikasta, jossa yksi tärkeimmistä ongelmista on koota DNA-sekvensointidata takaisin alkuperäiseen DNA-sekvenssiin. Jotta sekvensointi-pohjaiset tekniikat etenisivät tutkimuslaboratorioista sairaaloihin, täytyy kokoamamme sekvenssien ennen kaikkea olla tarkkoja. Tavoitteenamme on matemaattinen harppaus ymmärtämään mitä voidaan turvallisesti raportoida ja muuttaa näkökulmaa, josta käsittelemme reaalimaailman ongelmia.

2019

2024