Hvað hefur vísindamaðurinn Henning Úlfarsson rannsakað?

Nafn þitt

Netfang þitt

Netfang móttakanda

Ruslpóstvörn =

Svar

Hvað hefur vísindamaðurinn Henning Úlfarsson rannsakað?
Henning Arnór Úlfarsson er lektor við tölvunarfræðideild Háskólans í Reykjavík. Rannsóknir hans eru á sviði fléttufræði, sem er undirgrein strjállar stærðfræði, og reiknirita.

Fléttufræði snýst í grunninn um að telja hluti sem uppfylla ákveðna eiginleika. Einfalt dæmi væri hversu mörg orð af ákveðinni lengd með bókstöfunum 'a' og 'b' er hægt að búa til. Ef lengdin er 3 getum við búið til orðin 'aaa', 'aab', 'aba', 'abb', 'baa', 'bab', 'bba', 'bbb', eða samtals 8. Eftir smá umhugsun sjáum við að fyrir hvern bókstaf í orðinu höfum við tvo möguleika, og því er fjöldi orðanna 2^n, þar sem n er lengd orðsins. Fléttufræði er nýtt á öðrum sviðum stærðfræðinnar, sem og á sviðum eins og erfðafræði og tölvunarfræði.

Nýverið hafa rannsóknir Hennings snúist um reiknirit og forrit sem geta gert uppgötvanir í fléttufræði, og skrifað sannanir fyrir þeim. Niðurstöðurnar má finna á vefsíðunni combopal.ru.is. Sérstök áhersla hefur verið lögð á að sjálfvirknivæða sannanir á sviði umraðanamynstra. Úttakið úr forritinu er myndræn sönnun á uppbyggingu umraðana sem forðast ákveðin mynstur. Þessa myndrænu lýsingu má síðan nota til að skilja uppbygginguna, sem og að telja hversu margar umraðanirnar eru. Forritið hefur enduruppgötvað margar sannanir sem áður voru skrifaðar heilar greinar um, sem og að búa til niðurstöður sem voru áður óþekktar.

Henning er fæddur árið 1981 og lauk stúdentsprófi frá Verzlunarskóla Íslands árið 2001. Hann lauk BS-námi í stærðfræði við Háskóla Íslands árið 2004, MS-námi í stærðfræði við Brown-háskóla árið 2006 og PhD-námi í stærðfræði við sama skóla árið 2009. Eftir doktorsnámið starfaði hann sem nýdoktor við Háskólann í Reykjavík og síðar sem lektor.

Myndir:

• Úr safni HAÚ.

...