MySchool - School Solutions

Henning Arnór Úlfarsson, Department Chair

School:	School of Technology / Department of Computer Science
Location:	Nautholsvik 2.3.10 on the third floor
Office hours:	By arrangement through email
Phone:	5996318
Email:	henninguru.is

Website:	https://www.ru.is/haskolinn/starfsfolk/henningu http://staff.ru.is/henningu/

Curriculum Vitae

http://web.mac.com/hemsa/Ulfarsson/CV_etc.html

Education

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

2023-2	F STR3A04	Discrete Mathematics
2023-1	T-201-LINC	Linear Algebra through Computer Science Applications
2022-3	T-999-PHDT	PhD Thesis in Computer Science
2022-3	T-317-CAST	Calculus and Statistics
2022-2	F STR3A04	Discrete Mathematics
2022-1	T-999-PHDT	PhD Thesis in Computer Science
2022-1	T-201-LINC	Linear Algebra through Computer Science Applications
2021-3	T-317-CAST	Calculus and Statistics
2021-2	C-FAG-INST
2021-2	F STR3A04	Discrete Mathematics
2021-1	T-201-LINC	Linear Algebra through Computer Science Applications
2021-1	T-991-TPDE	Thesis Project Defense
2020-3	T-513-CRNU	Cryptography and Number theory
2020-3	T-317-CAST	Calculus and Statistics
2020-3	E-402-STFO	Mathematical Programming
2020-2	C-FAG-INST
2020-2	F STR3A04	Discrete Mathematics
2020-1	T-404-LOKA	Final Project
2019-3	T-317-CAST	Calculus and Statistics
2019-3	E-402-STFO	Mathematical Programming
2019-2	F STR3A04	Discrete Mathematics
2019-2	F STÆ2A05	Mathematics
2019-2	F STÆ2A05	Mathematics
2019-2	F STÆ2A05	Mathematics
2019-2	C-FAG-UNST
2019-1	T-701-REM4	Research Methodology
2018-3	T-513-CRNU	Cryptography and Number theory
2018-3	T-404-LOKA	Final Project
2018-3	T-991-TPDE	Thesis Project Defense
2018-3	T-891-MSTD	MSc Thesis Defense
2018-3	T-879-MSRS	MSc Research
2018-3	T-899-MSTH	MS Thesis
2018-3	T-317-CAST	Calculus and Statistics
2018-3	E-402-STFO	Mathematical Programming
2018-2	C-FAG-USTA
2018-1	T-218-ALCO	Algebra and Combinatorics
2018-1	T-851-IBCH	Introduction to Blockchain Technology
2018-1	T-991-TPDE	Thesis Project Defense
2018-1	T-891-MSTD	MSc Thesis Defense
2018-1	T-899-MSTH	MS Thesis
2017-3	T-513-CRNU	Cryptography and Number theory
2017-3	T-404-LOKA	Final Project
2017-3	T-317-CAST	Calculus and Statistics
2017-3	E-402-STFO	Mathematical Programming
2017-1	E-409-LEIK	Game Theory
2017-1	T-404-LOKA	Final Project
2017-1	T-899-MSTH	MS Thesis
2016-3	T-513-CRNU	Cryptography and Number theory
2016-3	T-317-CAST	Calculus and Statistics
2016-3	E-402-STFO	Mathematical Programming
2016-1	T-218-ALCO	Algebra and Combinatorics
2015-3	T-513-CRNU	Cryptography and Number theory
2015-3	T-899-MSTH	MS Thesis
2015-3	E-402-STFO	Mathematical Programming
2015-1	T-749-INDS	Independent Study 1
2014-3	T-999-PHDT	PhD Thesis in Computer Science
2014-3	T-713-CRNU	Cryptography and Numbertheory
2014-3	T-513-CRNU	Cryptography and Number theory
2014-3	T-891-MSTD	MSc Thesis Defense
2014-3	T-117-STR1	Discrete Mathematics I
2014-3	E-402-STFO	Mathematical Programming
2014-1	T-218-ALCO	Algebra and Combinatorics
2014-1	T-612-GRAN	Topology
2014-1	E-409-LEIK	Game Theory
2014-1	T-709-LEIK	Game Theory
2014-1	T-899-MSTH	MS Thesis
2014-1	T-741-MSII	MSc thesis 2
2014-1	T-622-UROP	Undergraduate Research Opportunity
2014-1	T-110-VERK	Problem Solving
2013-3	T-100-AFVV	Project Work Methods
2013-3	T-513-CRNU	Cryptography and Number theory
2013-3	T-117-STR1	Discrete Mathematics I
2013-3	E-402-STFO	Mathematical Programming
2013-2	AT STÆ2003	Mathematics II
2013-2	T-201-STA2	Calculus II
2013-1	T-218-ALCO	Algebra and Combinatorics
2013-1	T-891-MSTD	MSc Thesis Defense
2013-1	T-899-MSTH	MS Thesis
2013-1	T-622-UROP	Undergraduate Research Opportunity
2013-1	T-749-INDS	Independent Study 1
2012-3	T-100-AFVV	Project Work Methods
2012-3	T-728-GATH	Game Theory
2012-3	T-622-UROP	Undergraduate Research Opportunity
2012-3	E-402-STFO	Mathematical Programming
2012-2	T-209-FUPR	Functional Programming
2012-2	AT STÆ2003	Mathematics II
2012-2	T-201-STA2	Calculus II
2012-1	E-409-LEIK	Game Theory
2012-1	T-899-MSTH	MS Thesis
2012-1	T-749-INDS	Independent Study 1
2011-3	T-635-TOAP	Topology and applications to computer science
2011-3	T-619-LOKA	Research Oriented Final Project
2011-2	T-201-STA2	Calculus II
2011-2	AT STÆ2003	Mathematics II
2011-1	T-708-HGRE	Design and Analysis of Algorithms
2011-1	T-604-HGRE	Design and Analysis of algorithms
2011-1	T-413-LOKV	Final Project for Math Students
2011-1	T-619-LOKA	Research Oriented Final Project
2011-1	E-402-STFO	Mathematical Programming
2010-3	E-409-LEIK	Game Theory
2010-2	T-201-STA2	Calculus II
2010-2	AT STÆ2003	Mathematics II
2010-1	T-217-STAT	Statistics
2009-3	T-310-COAN	Complex Analysis
2009-2	AT STÆ2003	Mathematics II
2009-2	T-201-STA2	Calculus II
2009-1	E-312-IALR	Introduction to Algebraic Geometry
2008-3	E-514-FRID	Metric Spaces
2008-3	T-612-GRAN	Topology
2008-3	E-208-CALC	Calculus II

Research

My group at Reykjavik University studies algorithms that generate proofs for statements about combinatorial objects. For more information visit https://ulfarsson.github.io/research.html.