Deild:  


Henning Arnór Úlfarsson, lektor

Deild:Tæknisvið / Tölvunarfræðideild 
Aðsetur:Nauthólsvík 2.3.10 á 3. hæð 
Viðtalstímar:Eftir samkomulagi gegnum tölvupóst 
Sími:5996318 
Netfang:henninguru.is 
Vefur:http://www.ru.is/starfsfolk/henningu
http://staff.ru.is/henningu/

Ferilskrá

https://ulfarsson.github.io/cv/CV-selected.pdf


Menntun

  • Brown University, Providence, Rhode Island, USA (2004-2009)
    • Ph.D. í stærðfræði, júní 2009.
      Titill ritgerðar: Extending Grothendieck topologies to diagram categories and Serre functors on diagram schemes.
    • M.Sc. í stærðfræði, maí 2006.
  • Háskóli Íslands, Reykjavík, Ísland (2001-2004)
    • B.Sc. í stærðfræði, júní 2004.
  • Verzlunarskóli Íslands, Reykjavík, Ísland (1997-2001)

Kennsluferill í HR

2019-3T-317-CASTStærðfræðigreining og tölfræði
2019-3E-402-STFOStærðfræðileg forritun
2019-2F STR3A04Strjál stærðfræði
2019-2F STÆ2A05Stærðfræði
2019-2F STÆ2A05Stærðfræði
2019-2F STÆ2A05Stærðfræði
2019-2C-FAG-UNSTUndirbúningsnámskeið í stærðfræði
2019-1T-701-REM4Aðferðafræði rannsókna
2018-3T-513-CRNUDulritun og talnafræði
2018-3T-404-LOKALokaverkefni
2018-3T-991-TPDEMeistaraverkefnavörn
2018-3T-891-MSTDMeistaravörn
2018-3T-879-MSRSMS rannsókn
2018-3T-899-MSTHMS ritgerð
2018-3T-317-CASTStærðfræðigreining og tölfræði
2018-3E-402-STFOStærðfræðileg forritun
2018-2C-FAG-USTAUndirbúningsnámskeið í stærðfræði
2018-1T-218-ALCOAlgebra og fléttufræði
2018-1T-851-IBCHIntroduction to Blockchain Technology
2018-1T-991-TPDEMeistaraverkefnavörn
2018-1T-891-MSTDMeistaravörn
2018-1T-899-MSTHMS ritgerð
2017-3T-513-CRNUDulritun og talnafræði
2017-3T-404-LOKALokaverkefni
2017-3T-317-CASTStærðfræðigreining og tölfræði
2017-3E-402-STFOStærðfræðileg forritun
2017-1E-409-LEIKLeikjafræði
2017-1T-404-LOKALokaverkefni
2017-1T-899-MSTHMS ritgerð
2016-3T-513-CRNUDulritun og talnafræði
2016-3T-317-CASTStærðfræðigreining og tölfræði
2016-3E-402-STFOStærðfræðileg forritun
2016-1T-218-ALCOAlgebra og fléttufræði
2015-3T-513-CRNUDulritun og talnafræði
2015-3T-899-MSTHMS ritgerð
2015-3E-402-STFOStærðfræðileg forritun
2015-1T-749-INDSSjálfstætt verkefni 1
2014-3T-999-PHDTDoktorsritgerð í tölvunarfræði
2014-3T-713-CRNUDulritun og talnafræði
2014-3T-513-CRNUDulritun og talnafræði
2014-3T-891-MSTDMeistaravörn
2014-3T-117-STR1Strjál stærðfræði I
2014-3E-402-STFOStærðfræðileg forritun
2014-1T-218-ALCOAlgebra og fléttufræði
2014-1T-612-GRANGrannfræði
2014-1E-409-LEIKLeikjafræði
2014-1T-709-LEIKLeikjafræði
2014-1T-899-MSTHMS ritgerð
2014-1T-741-MSIIMSc ritgerð 2
2014-1T-622-UROPRannsóknarvinna grunnnáms
2014-1T-110-VERKVerkefnalausnir
2013-3T-100-AFVVAðferðafræði verkefnavinnu
2013-3T-513-CRNUDulritun og talnafræði
2013-3E-402-STFOStærðfræðileg forritun
2013-2AT STÆ2003Stærðfræði II
2013-2T-201-STA2Stærðfræði II
2013-1T-218-ALCOAlgebra og fléttufræði
2013-1T-891-MSTDMeistaravörn
2013-1T-899-MSTHMS ritgerð
2013-1T-622-UROPRannsóknarvinna grunnnáms
2013-1T-749-INDSSjálfstætt verkefni 1
2012-3T-100-AFVVAðferðafræði verkefnavinnu
2012-3T-728-GATHLeikjafræði
2012-3T-622-UROPRannsóknarvinna grunnnáms
2012-3E-402-STFOStærðfræðileg forritun
2012-2T-209-FUPRFunctional Programming
2012-2AT STÆ2003Stærðfræði II
2012-2T-201-STA2Stærðfræði II
2012-1E-409-LEIKLeikjafræði
2012-1T-899-MSTHMS ritgerð
2012-1T-749-INDSSjálfstætt verkefni 1
2011-3T-635-TOAPGrannfræði og hagnýting hennar í tölvunarfræði
2011-3T-619-LOKALokaverkefni með rannsóknaráherslu
2011-2T-201-STA2Stærðfræði II
2011-2AT STÆ2003Stærðfræði II
2011-1T-708-HGREHönnun og greining reiknirita
2011-1T-604-HGREHönnun og greining reiknirita
2011-1T-413-LOKVLokaverkefni fyrir stærðfræðinema
2011-1T-619-LOKALokaverkefni með rannsóknaráherslu
2011-1E-402-STFOStærðfræðileg forritun
2010-3E-409-LEIKLeikjafræði
2010-2T-201-STA2Stærðfræði II
2010-2AT STÆ2003Stærðfræði II
2010-1T-217-STATTölfræði
2009-3T-310-COANTvinnfallagreining
2009-2AT STÆ2003Stærðfræði II
2009-2T-201-STA2Stærðfræði II
2009-1E-312-IALRInngangur að algebrulegri rúmfræði
2008-3E-514-FRIDFirðrúm
2008-3T-612-GRANGrannfræði
2008-3E-208-CALCStærðfræðileg greining II

Rannsóknir

Hópurinn minn í HR rannsakar reiknirit sem framleiða sannanir á fullyrðingum um fléttufræðileg fyrirbrygði. Frekari upplýsingar má finna hér: https://ulfarsson.github.io/research.html.