Snorri Agnarsson

Almennar upplřsingar

GSM
+354 861 3270
SkrifstofusÝmi
+354 525 4728
HeimasÝmi
+354 551 8571
T÷lvupˇstfang
snorri@rhi.hi.is
Starfssvi­
Prˇfessor
A­setur
TŠknigar­ur 2. hŠ­, herbergi 231
Menntun
B.S. Ý stŠr­frŠ­i frß Hßskˇla ═slands 1978, M.S. Ý t÷lvunarfrŠ­i frß Rensselaer Polytechnic Institute (RPI) 1983, Ph.D. Ý t÷lvunarfrŠ­i frß sama skˇla 1985.

Rannsˇknarsvi­

A­ mestu leyti tengjast ÷ll ■essi rannsˇknarsvi­ einingarforritun og a­fer­um til a­ skipta stˇrum verkum Ý smŠrri verk, helst ß traustan og gˇ­an hßtt ■annig a­ tryggt sÚ a­ allir hlutar heildarkerfisins vinni rÚtt saman.

┴ svi­i forritunarmßla hef Úg mestan ßhuga ß listavinnslumßlum, svo sem Scheme (LISP), CAML (ML), Fj÷lni, Morpho og mßlum, sem bjˇ­a ÷fluga einingarforritun, svo sem Ídu, C++, Java, C#, Fj÷lni og Morpho.

Ůessi sameiginlegi ßhugi ß listavinnslu og einingarforritun helgast fyrst og fremst af ■vÝ a­ Úg tel listavinnslu (e­a rÚttara sagt sjßlfvirka ruslas÷fnun minnis) nau­synlega til a­ einingarforritun geti or­i­ verulega ÷flug. R÷kin fyrir ■essari sko­un minni eru ■au a­ sÚ stundu­ eininarforritun ßn ruslas÷fnunar ■ß fari meginhluti vinnunnar Ý a­ skilgreina minnisnotkun og Ý a­ tryggja ß einn e­a annan hßtt a­ minnisme­h÷ndlun sÚ rÚtt.

═ samrŠmi vi­ ■essa sko­un mÝna hef Úg, Ý samvinnu vi­ řmsa nemendur Ý t÷lvunarfrŠ­i, skrifa­ ■ř­endur fyrir tv÷ nř forritunarmßl, Fj÷lni og Morpho. Fj÷lnir bř­ur bŠ­i sjßlfvirka ruslas÷fnun minnis og ÷fluga einingarforritun. En Fj÷lnir er a­eins til sem ■ř­andi fyrir MS-DOS og er ■vÝ ˙reltur. Hitt forritunarmßli­, Morpho, bř­ur upp ß allt sem Fj÷lnir hefur og meira til. Morpho byggir ß Java og keyrir ■vÝ ß flestum střrikerfum.

Nßmskei­

Oftast hef Úg kennt eftirfarandi nßmskei­, e­a samsvarandi nßmsefni Ý eldri ˙tgßfum af nßmskei­unum:

Einnig hef Úg stundum kennt stundum ■essi nßmskei­, e­a hluta af ■eim:


snorri@rhi.hi.is