Henning Arnór Úlfarsson, Assistant professor

School:School of Technology / Department of Computer Science 
Location:Nautholsvik 2.3.10 on the third floor 
Office hours:By arrangement through email 

Curriculum Vitae


  • Brown University, Providence, Rhode Island, USA (2004-2009)
    • Ph.D. in Mathematics, June 2009.
      Title of thesis: Extending Grothendieck topologies to diagram categories and Serre functors on diagram schemes.
    • M.Sc. in Mathematics, May 2006.
  • University of Iceland, Reykjavík, Iceland (2001-2004)
    • B.Sc. in Mathematics, June 2004.
  • Commerical College of Iceland, Reykjavík, Iceland (1997-2001)

RU teaching record

2019-3T-317-CASTCalculus and Statistics
2019-3E-402-STFOMathematical Programming
2019-2F STR3A04Discrete Mathematics
2019-2F STÆ2A05Mathematics
2019-2F STÆ2A05Mathematics
2019-2F STÆ2A05Mathematics
2019-1T-701-REM4Research Methodology
2018-3T-513-CRNUCryptography and Number theory
2018-3T-404-LOKAFinal Project
2018-3T-991-TPDEThesis Project Defense
2018-3T-891-MSTDMSc Thesis Defense
2018-3T-879-MSRSMSc Research
2018-3T-899-MSTHMS Thesis
2018-3T-317-CASTCalculus and Statistics
2018-3E-402-STFOMathematical Programming
2018-1T-218-ALCOAlgebra and Combinatorics
2018-1T-851-IBCHIntroduction to Blockchain Technology
2018-1T-991-TPDEThesis Project Defense
2018-1T-891-MSTDMSc Thesis Defense
2018-1T-899-MSTHMS Thesis
2017-3T-513-CRNUCryptography and Number theory
2017-3T-404-LOKAFinal Project
2017-3T-317-CASTCalculus and Statistics
2017-3E-402-STFOMathematical Programming
2017-1E-409-LEIKGame Theory
2017-1T-404-LOKAFinal Project
2017-1T-899-MSTHMS Thesis


My group at Reykjavik University studies algorithms that generate proofs for statements about combinatorial objects. For more information visit