Henning Arnór Skeggi Úlfarsson

Associate Professor and Chair, Department of Computer Science, Reykjavik University

Menntavegi 1 102 Reykjavik Iceland henningu@ru.is | ulfarsson.github.io | Google Scholar | PDF

Personal

Born November 21, 1981 in Reykjavik, Iceland. Citizen of Iceland. Married with three daughters. Earlier work published as Henning Ulfarsson.

Research interests

My research is in combinatorics, mainly permutation patterns, and in algorithms that discover and prove results about them. With coauthors in the Permutation Triangle research group, which I co-lead, I developed Combinatorial Exploration, a framework that finds combinatorial specifications automatically, and TileScope, which applies it to permutation classes. Earlier I worked in algebraic geometry, mostly on Schubert varieties, and on interference models for wireless networks.

Academic positions

Reykjavik University, Reykjavik, Iceland

2023-present Chair, Department of Computer Science

Reykjavik University, Reykjavik, Iceland

2023-present Associate professor, Department of Computer Science

Reykjavik University, Reykjavik, Iceland

2016-2019 Director of Graduate Program, School of Computer Science

Reykjavik University, Reykjavik, Iceland

2013-2023 Assistant professor, School of Computer Science

Reykjavik University, Reykjavik, Iceland

2010-2013 Part-time assistant professor, School of Computer Science

Reykjavik University, Reykjavik, Iceland

2009-2013 Postdoctoral researcher, School of Computer Science

Education

2004-2009 Brown University, Providence, Rhode Island, USA

2001-2004 University of Iceland, Reykjavik, Iceland

1997-2001 Commercial College of Iceland, Reykjavik, Iceland

Publications

In preparation

2026 Inversion monotonicity in subclasses of the 1324-avoiders A. Claesson, S. Linusson, H. Ulfarsson and E. Verkama arXiv

2026 A permutation avoidance game with reverse replies and monotone traps H. Ulfarsson arXiv

2023 Multivariate Combinatorial Exploration C. Bean, É. Nadeau, J. Pantone and H. Ulfarsson

Submitted

2026 Protected tails and polynomial-time enumeration of permutations avoiding a direct sum of an increasing pattern and 231 H. A. S. Úlfarsson arXiv

Journals

2026 Combinatorial Exploration: An algorithmic framework for enumeration M. Albert, C. Bean, A. Claesson, É. Nadeau, J. Pantone and H. Ulfarsson Memoirs of the American Mathematical Society, Volume 317, Number 1611, 2026 Memoirs of the AMS | arXiv | Christian’s PhD thesis: Finding structure in permutation sets

2024 Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding C. Bean, É. Nadeau, J. Pantone and H. Ulfarsson Electronic Journal of Combinatorics, Volume 31, Issue 3, 2024 Electronic Journal of Combinatorics | arXiv

2024 Turning cycle restrictions into mesh patterns via Foata’s fundamental transformation A. Claesson and H. Ulfarsson Discrete Mathematics, Volume 347, Issue 3, 113826, 2024 Discrete Mathematics | arXiv

2023 Algorithmic coincidence classification of mesh patterns C. Bean, B. Gudmundsson, T. Shimomura-Magnusson and H. Ulfarsson Information and Computation, Volume 292, 105014, 2023 Information and Computation | arXiv

2022 Collatz meets Fibonacci M. Albert, B. Gudmundsson and H. Ulfarsson The MAA Mathematics Magazine, Volume 95, 2022 - Issue 2, p. 130-136 Published | arXiv

2022 Using large random permutations to partition permutation classes C. Bean, É. Nadeau, J. Pantone and H. Ulfarsson Pure Mathematics and Applications, Volume 30 (2022), Issue 1, Pages 31–36 Published

2021 Enumeration of permutation classes and weighted labelled independent sets C. Bean, É. Nadeau and H. Ulfarsson Discrete Mathematics & Theoretical Computer Science, March 29, 2021, Vol. 22 no. 2, Permutation Patterns 2019 Published | arXiv | Émile’s PhD thesis: Multivariate combinatorial exploration with regular strategies

2020 Pattern avoiding permutations and independent sets in graphs C. Bean, M. Tannock and H. Ulfarsson Journal of Combinatorics, Volume 11 (2020), Number 4 Published | arXiv

2020 The poset of mesh patterns J. Smith and H. Ulfarsson Discrete Mathematics, Volume 343, Issue 6, June 2020 Published | arXiv

2019 Automatic discovery of structural rules of permutation classes C. Bean, B. Gudmundsson and H. Ulfarsson Mathematics of Computation, Volume 88, Number 318, July 2019, Pages 1967–1990 Published | arXiv | Christian’s PhD thesis

2019 Occurrence graphs of patterns in permutations B. Kristinsson and H. Ulfarsson Involve, Volume 12 (2019), Number 6, 901-918 Published | arXiv | Bjarni’s BSc thesis

2018 Equivalence classes of mesh patterns with a dominating pattern M. Tannock and H. Ulfarsson Discrete Mathematics & Theoretical Computer Science, February 9, 2018, Vol. 19 no. 2, Permutation Patterns 2016 Published | arXiv

2017 Enumerations of permutations simultaneously avoiding a vincular and a covincular pattern of length 3 C. Bean, A. Claesson and H. Ulfarsson Journal of Integer Sequences, Volume 20 (2017), Article 17.7.6 Published | arXiv

2015 Wilf-classification of mesh patterns of short length I. Hilmarsson, I. Jonsdottir, S. Sigurdardottir, H. Ulfarsson and L. Viðarsdóttir Electronic Journal of Combinatorics, Volume 22 (2015) Published | arXiv | BSc thesis of the students | Wilf-flokkun möskvamynstra

2015 Coincidence among families of mesh patterns A. Claesson, H. Ulfarsson and B. Tenner The Australasian Journal of Combinatorics 2015, Volume 63 Part 1 (2015) Published | arXiv

2013 Which Schubert varieties are local complete intersections? H. Ulfarsson and A. Woo Proceedings of the London Mathematical Society, Volume 107, Issue 5 (2013), Pages 1004–1052 Published | arXiv | FPSAC 2012 Extended abstract

2013 Restricted non-separable planar maps and some pattern avoiding permutations S. Kitaev, P. Salimov, C. Severs and H. Ulfarsson Discrete Applied Mathematics, Volume 161, Issues 16–17, (2013), Pages 2514-2526 Published | arXiv

2012 Describing West-3-stack-sortable permutations with permutation patterns H. Ulfarsson Séminaire Lotharingien de Combinatoire, Volume 67 (2012), Article B67d Published | arXiv | Mesh patterns for checking Theorem 4.6

2012 Refined inversion statistics on permutations J. Sack and H. Ulfarsson Electronic Journal of Combinatorics, Volume 19 (2012) Published | arXiv

2011 A unification of permutation patterns related to Schubert varieties H. Ulfarsson Pure Mathematics and Applications, Volume 22 (2011), Issue No. 2 arXiv | FPSAC 2010 Extended abstract

2011 Word-representability of line graphs S. Kitaev, P. Salimov, C. Severs and H. Ulfarsson Open Journal of Discrete Mathematics, Volume 1, Number 2 (2011) Published | arXiv | DLT 2011 article

2010 Very twisted stable maps Q. Chen, S. Marcus and H. Ulfarsson Communications in Analysis and Geometry, Volume 18, Number 4. (2010) Published | arXiv

Preprints

2019 BiSC: An algorithm for discovering generalized permutation patterns H. Ulfarsson Preprint arXiv

2019 Automated enumeration of combinatorial classes with proof-number search R. Árdal, H. Ulfarsson and Y. Bjornsson Preprint 2019

2015 Sorting and preimages of pattern classes A. Claesson and H. Ulfarsson Preprint arXiv | FPSAC 2012 Extended abstract

2014 Measurement based interference models for wireless scheduling algorithms E. Asgeirsson, J. Foley, H. Gudmundsdottir, M. Halldorsson, G. Järvelä, H. Ulfarsson and Y. Vigfusson Preprint 2014 arXiv

2010 Pattern avoiding equivalence classes H. Ulfarsson Preprint 2010 arXiv

Students and postdocs

Postdoctoral researchers

Christian Bean, spring 2018–fall 2019, fall 2020–fall 2022

Ph.D. students

Reed Acton, spring 2024–present

Émile Nadeau, spring 2019–fall 2022. Multivariate combinatorial exploration with regular strategies

Christian Bean, fall 2014–spring 2018. Finding structure in permutation sets

M.Sc. students

Jón Steinn Elíasson, spring 2020–fall 2022. Automated bijections with combinatorial exploration

Bjarni Jens Kristinsson, fall 2018–fall 2019. Searching for combinatorial covers using integer linear programming

Arnar Bjarni Arnarson, fall 2017–spring 2019. Substitution decomposition for permutation classes with infinitely many simple permutations

Unnar Freyr Erlendsson, fall 2017–spring 2019. Effective enumeration of permutation classes and their juxtapositions

Ragnar Páll Árdal, fall 2016–fall 2021. Proof-number search in automated enumeration of combinatorial classes

Tomas Ken Shimomura-Magnusson, fall 2015–fall 2018. Forced permutation patterns and applications to coincidence classification of mesh patterns and enumeration of permutation classes

Bjarki Gudmundsson, fall 2015–spring 2017. Formalizing the translation method in Agda

Murray Tannock, spring 2015–spring 2016. Equivalence classes of mesh patterns with a dominating pattern

Sigríður Lína Viðarsdóttir, fall 2012–fall 2015. Isomorphisms between consecutive pattern classes

Hjalti Magnusson, spring 2012–spring 2013. Sorting operators and their preimages

B.Sc. final projects

Automatic discovery of descriptions of permutation statistics

spring 2019Martha Guðrún Bjarnadóttir Link to thesis

Implementation of a planarity testing method using PQ-Trees

fall 2017Alex William Cregten and Hannes Kristján Hannesson, mathematics Link to thesis

PermPAL — Permutation Pattern Avoidance Library

spring 2017Arnar Bjarni Arnarson, Álfur Birkir Bjarnarson, Sigurjón Freyr Viktorsson and Unnar Freyr Erlendsson Link to thesis

Generalized star polygons and star polygrams

spring 2016Eiður Sveinn Gunnarsson and Karl Þorláksson, mathematics Link to thesis

Occurrence graphs of patterns in permutations

spring 2015Bjarni Jens Kristinsson (University of Iceland), mathematics Link to thesis

A responsive web site for the smart market for study-room allocation at Reykjavik University

fall 2012Guðrún Sif Hilmarsdóttir and Patrekur Patreksson, co-supervised

A smart market for study-room allocation at Reykjavik University

fall 2011Anna Sigga Lúðvíksdóttir and Sævar Jónasson, co-supervised Link to thesis

Wilf-classification of mesh patterns and marked mesh patterns

spring 2011Ingibjorg Jonsdottir, Isak Hilmarsson, Sigríður Lína Viðarsdóttir and Steinunn Sigurdardottir. Accepted for a talk at the conference Permutation Patterns 2011. Project report

Smaller projects

UROP: A Haskell implementation of BiSC

fall 2012Helgi Kristvin Sigurbjarnarson (B.Sc., Reykjavik University). Porting of the BiSC pattern mining algorithm to Haskell.

Game theory and pattern avoidance

fall 2010Hjalti Magnusson (M.Sc., Reykjavik University). Small project related to the course Game Theory, RU fall 2010. Link to project

Talks, presentations and posters

March 2026 The inversion monotonicity conjecture for non-principal permutation classes Special Session on Permutation Patterns at the 2026 AMS Spring Eastern Sectional Meeting, Boston College, Boston, MA Joint work with Anders Claesson, Svante Linusson and Emil Verkama.

March 2026 Mapped Tilings: A New Approach for Automatic Enumeration Special Session on Permutation Patterns at the 2026 AMS Spring Eastern Sectional Meeting, Boston College, Boston, MA Joint work with Reed Acton, Christian Bean and Abigail Ollson. Presented by Reed Acton.

2023 Exploring Permutation Classes with TileScope Dagstuhl Seminar on Pattern Avoidance, Statistical Mechanics and Computational Complexity

2022 A case study — how Reykjavik University embraced Gradescope AEMEA Gradescope summit

2022 The Combinatorial Exploration Framework and its Consequences Applications of Computer Algebra: Special Session on Algorithmic & Experimental Combinatorics

2022 Using large random permutations to partition permutation classes GASCom: Conference on random generation of combinatorial structures

2020 Algorithmic solutions to problems in permutation patterns Permutation Patterns (plenary)

October 2019 Pattern avoidance in various domains University of Iceland Mathematics Colloquium

October 2019 A historical walk through combinatorics 100th anniversary of the mathematics department at Reykjavik Junior College

September 2019 Combinatorial Exploration: Guided by humans, proven by computer Brown University Mathematics Colloquium, Providence, RI Joint work with Michael Albert, Arnar Bjarni Arnarson, Ragnar Páll Árdal, Christian Bean, Anders Claesson, Unnar Freyr Erlendsson, Tomas Ken Shimomura-Magnusson, Émile Nadeau and Jay Pantone.

May 2019 Combinatorial Exploration ICE-TCS Theory Day, Reykjavik University, Iceland Slides

April 2019 Combinatorial Exploration: guided by humans, proven by computer Joint ICE-TCS/GSSI Seminar, Reykjavik University

June 2018 Combinatorial exploration of permutation classes Permutation Patterns, Dartmouth University, USA Joint work with Michael Albert, Anders Claesson, Christian Bean and Jay Pantone. Presented by Christian Bean.

June 2018 Automatic enumeration of grid classes Permutation Patterns, Dartmouth University, USA Joint work with Arnar Bjarni Arnarson and Unnar Freyr Erlendsson. Presented by Unnar Freyr Erlendsson.

April 2018 Understanding complicated things by dividing them into easier pieces Reykjavik University Lecture Marathon, Iceland

June 2017 Automatic enumeration of restricted permutations Permutation Patterns, Reykjavik University, Iceland Joint work with Michael Albert, Ragnar Páll Árdal, Christian Bean, Anders Claesson and Jay Pantone. Presented by Christian Bean. Abstract

June 2017 Permuta Permutation Patterns, Reykjavik University, Iceland (software) Joint work with Christian Bean, Bjarki Gudmundsson, Cheyne Homberger, Hjalti Magnusson, Tomas Ken Shimomura-Magnusson, Jay Pantone and Murray Tannock. Presented by Ragnar Páll Árdal. Abstract

June 2017 PermPAL Permutation Patterns, Reykjavik University, Iceland (software) Joint work with Álfur Birkir Bjarnason, Sigurjón Freyr Viktorsson and Unnar Freyr Erlendsson. Presented by Arnar Bjarni Arnarson. Abstract

June 2017 Coincidence classification of length 3 mesh patterns Permutation Patterns, Reykjavik University, Iceland (poster) Joint work with Bjarki Gudmundsson. Presented by Tomas Ken Shimomura-Magnusson. Abstract

June 2017 The poset of mesh patterns Permutation Patterns, Reykjavik University, Iceland (poster) Joint work with Jason Smith and Anders Claesson. Presented by Jason Smith. Abstract

November 2016 Enumeration of permutation classes by conjectured structures Dartmouth Combinatorics Seminar, Hanover, NH Joint work with Michael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.

June 2016 Struct: Finding structure in permutation sets Permutation Patterns, Washington DC, USA Joint work with Michael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson. Presented by Christian Bean.

June 2016 Algorithmic coincidence classification of mesh patterns Permutation Patterns, Washington DC, USA Joint work with Bjarki Gudmundsson and Tomas Ken Shimomura-Magnusson. Presented by Bjarki Gudmundsson.

June 2016 Equivalence classes of mesh patterns with a dominating pattern Permutation Patterns, Washington DC, USA Joint work with Murray Tannock. Presented by Murray Tannock.

October 2015 Pattern avoiding permutations and non-crossing subgraphs of polygons MIT Combinatorics Seminar, Boston, MA Joint work with Christian Bean and Murray Tannock.

June 2015 Struct: automatic discovery of structure in permutation sets Permutation Patterns, London, UK (software) Joint work with Michael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.

June 2015 Avoiding a pair of vincular and covincular patterns Permutation Patterns, London, UK Joint work with Christian Bean and Anders Claesson. Presented by Christian Bean.

June 2015 Pattern avoidance and non-crossing subgraphs of polygons Permutation Patterns, London, UK Joint work with Christian Bean and Murray Tannock. Presented by Murray Tannock.

April 2015 Pattern avoiding permutations and non-crossing subgraphs of polygons Department of Mathematics Colloquium, University of Hawaii at Manoa, Hawaii, USA Joint work with Christian Bean and Murray Tannock.

March 2015 Pattern avoiding permutations A three day seminar series, Brown University, RI, USA

March 2015 Pattern avoiding permutations and non-crossing subgraphs of polygons New York Combinatorics Seminar, City University New York, USA Joint work with Christian Bean and Murray Tannock.

March 2015 Experimenting with permutations: The tale of two algorithms Rutgers Experimental Mathematics Seminar, Rutgers University, New Brunswick, USA Joint work with Michael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson. Video (part 1) | Video (part 2)

January 2015 Struct: An algorithm for guessing the structure and enumeration of permutation sets (Preliminary Report) Special Session on Enumerative Combinatorics at the 2015 Joint Mathematics Meetings, San Antonio, TX Joint work with Michael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.

November 2014 Struct: An algorithm for guessing the structure and enumeration of permutation sets ICE-TCS Seminar, Reykjavik University, Iceland Joint work with Michael Albert, Christian Bean, Anders Claesson and Bjarki Gudmundsson.

July 2014 Collatz meets Fibonacci Permutation Patterns, East Tennessee State University, USA (poster) Joint work with Michael Albert and Bjarki Gudmundsson. Presented by Michael Albert.

July 2014 Algorithms for discovering and proving theorems involving permutation patterns The 26th International Conference on Formal Power Series & Algebraic Combinatorics, Chicago, USA (software)

June 2014 Guessing and proving theorems for permutation patterns New York Combinatorics Seminar, City University New York, USA Joint work with Anders Claesson and Hjalti Magnusson.

October 2013 Permutations arising from the Collatz-conjecture and automatic discovery of patterns MIT Combinatorics Seminar, Boston, MA

July 2013 BiSC: A learning algorithm for mesh patterns The 25th International Conference on Formal Power Series & Algebraic Combinatorics, Paris, France (software)

July 2013 The interaction between equivalence relations on the symmetric group and pattern avoidance Permutation Patterns, University Paris Diderot, Paris, France Joint work with Anders Claesson.

July 2013 Bijective maps based on mesh patterns Permutation Patterns, University Paris Diderot, Paris, France Joint work with Sigríður Lína Viðarsdóttir. Presented by Sigríður Lína Viðarsdóttir.

July 2013 Preimages of single-pass sorting operators Permutation Patterns, University Paris Diderot, Paris, France Joint work with Hjalti Magnusson. Presented by Hjalti Magnusson.

May 2013 Donald Knuth: The great inventor The Pearls of Computer Science Colloquium, Reykjavik University, Iceland

March 2013 Crazy bijections between planar maps, beta-trees and permutations ICE-TCS Seminar, Reykjavik University, Iceland Joint work with Sergey Kitaev, Pavel Salimov and Christopher Severs.

January 2013 GRIM: An algorithm for the discovery of generalized permutation patterns 2013 Joint Mathematics Meetings, San Diego, CA Joint work with Anders Claesson.

August 2012 Sorting and preimages of pattern classes The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan Joint work with Anders Claesson.

August 2012 Which Schubert varieties are local complete intersections? The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan (poster) Joint work with Alexander Woo.

June 2012 Automated discovery of permutation patterns Permutation Patterns, University of Strathclyde, Glasgow, UK Joint work with Anders Claesson.

March 2012 Proof by Computer Reykjavik University Lecture Marathon, Iceland

March 2012 What is DIMACS (Discrete Math and Computer Science)? The 3f RU Conference, Reykjavik University, Iceland

February 2012 Automatic discovery of permutation patterns ICE-TCS Seminar, Reykjavik University, Iceland Joint work with Anders Claesson.

January 2012 Restricted rooted non-separable planar maps. Preliminary Report 2012 Joint Mathematics Meetings, Boston, MA Joint work with Sergey Kitaev, Pavel Salimov and Christopher Severs.

January 2012 Refined inversion statistics on permutations 2012 Joint Mathematics Meetings, Boston, MA Joint work with Joshua Sack. Presented by Joshua Sack.

November 2011 Maps, trees and patterns Mathematics in Iceland 2011, Conference of the Icelandic Mathematical Society, Reykholt Joint work with Sergey Kitaev, Pavel Salimov and Christopher Severs.

October 2011 Sorting algorithms and permutation patterns Computer and Information Sciences Seminar, University of Strathclyde, Glasgow, UK

October 2011 Patterns prohibiting sorting ICE-TCS Seminar, Reykjavik University, Iceland

June 2011 Generalized permutation patterns and their applications University of Washington Combinatorics Seminar, WA

June 2011 Marked mesh patterns and local complete intersection Schubert varieties Permutation Patterns, California Polytechnic State University, CA Joint work with Alexander Woo.

May 2011 Marked mesh patterns and connections with geometry ICE-TCS Theory Day, Reykjavik University, Iceland

January 2011 Local complete intersection Schubert varieties. Preliminary Report Joint Mathematics Meetings, New Orleans, Louisiana Joint work with Alexander Woo. Presented by Alexander Woo.

December 2010 Counting special inversions in permutations Mathematics Colloquium, California State University, Long Beach, California Joint work with Joshua Sack. Presented by Joshua Sack.

November 2010 Counting special inversions in permutations Mathematics Colloquium, University of Iceland, Reykjavik, Iceland Joint work with Joshua Sack.

August 2010 Detecting singularities of Schubert varieties with permutation patterns Permutation Patterns, Dartmouth College, NH

August 2010 A unification of permutation patterns related to Schubert varieties Formal Power Series & Algebraic Combinatorics, San Francisco State University, CA (poster)

June 2010 Equivalence relations on permutations and pattern avoidance Summer Meeting of the Canadian Mathematical Society, University of New Brunswick, Fredericton, Canada

May 2010 Toric permutations and pattern avoidance 10th Nordic Combinatorial Conference, Reykjavik University, Iceland

April 2010 Equivalence relations on permutations and pattern avoidance ICE-TCS Seminar, Reykjavik University, Iceland

March 2010 The Icesave dispute from the viewpoint of game theory Reykjavik University Lecture Marathon, Iceland Joint work with Jón Þór Sturluson.

March 2010 Patterns in algebraic geometry Mathematics Colloquium, University of Iceland, Reykjavik, Iceland

November 2009 The umbral calculus Reykjavik University Mathematics Undergraduate Seminar, Iceland

September 2009 Young tableaux and patterns in permutations Conference of the Icelandic Mathematical Society, Leirubakki

March 2009 Teaching mathematics with Sage Mathematics Colloquium, University of Iceland, Reykjavik, Iceland

March 2009 Teaching mathematics with Sage Talk, Reykjavik University, Iceland

November 2008 Configuration schemes and their Serre functors Graduate Conference in Algebra and Topology, SUNY Binghamton University, Binghamton, NY A subset of this work is joint with J. Wise.

July 2008 Configuration schemes and their Serre functors Graduate Student Presentation, PCMI Graduate Summer School on Analytic and Algebraic Geometry: Common Problems—Different Methods, Park City Mathematics Institute, Park City, UT A subset of this work is joint with J. Wise.

January 2008 Sheaves on configuration schemes Mathematics Colloquium, University of Iceland, Reykjavik, Iceland

November 2007 Sheaves on Configuration Schemes Graduate Student Seminar, Brown University, Providence, RI

March 2006 Transcendence of $e$ and $\pi$ Graduate Student Seminar, Brown University, Providence, RI

April 2003 Introduction to Metric Spaces Lecture, Commercial College of Iceland, Reykjavik, Iceland

Conferences, workshops and mini-courses attended

January 13-16, 2010 Joint Mathematics Meetings 2010 San Francisco, CA

March 23-27, 2009 Combinatorial, Enumerative and Toric Geometry Mathematical Sciences Research Institute, Berkeley, CA

March 10-12, 2009 SAGE Days: Algebraic Geometry Mathematical Sciences Research Institute, Berkeley, CA

January 26-30, 2009 Classical Algebraic Geometry Today Mathematical Sciences Research Institute, Berkeley, CA

November 8, 2008 Graduate Conference in Algebra and Topology Binghamton University, Binghamton, NY

October 11-12, 2008 AMS Sectional Meetings Wesleyan University, Middletown, CN

July 6-26, 2008 PCMI Graduate Summer School on Analytic and Algebraic Geometry: Common Problems—Different Methods Park City Mathematics Institute, Park City, UT

June 15-28, 2008 School and Workshop on Aspects of Moduli Pisa, Italy. Attended week 1.

June 4-16, 2007 VIGRE Mini-Course on Derived Categories University of Utah, Salt Lake City, UT

August 15-18, 2007 International Conference on Integral Geometry, Harmonic Analysis and Representation Theory University of Iceland, Reykjavik, Iceland

January 6-9, 2005 24th Nordic / 1st Franco–Nordic Congress of Mathematicians University of Iceland, Reykjavik, Iceland

January 4-5, 2005 Complex Days of the North University of Iceland, Reykjavik, Iceland

October 13-14, 2001 Conference of the Icelandic Mathematical Society Reykholt, Iceland

Teaching experience

Reykjavik University, Iceland

Spring 2021 Organized a 12 week course, Linear Algebra through Computer Science Applications (T-201-LINC), for B.Sc. students in computer science.

Spring 2019 Organized a 12 week course, Research Methodology (T-701-REM4), for M.Sc. students in computer science.

Spring 2018 Organized a 12 week course, Introduction to Blockchain Technology (T-851-IBCH), for M.Sc. students in computer science.

Fall 2016 Organized a 12 week course, Calculus and Statistics (T-317-CAST), for B.Sc. students in computer science.

Spring 2016 Organized a 12 week course, Algebra and Combinatorics (T-218-ALCO), for B.Sc. students in discrete mathematics and computer science.

Fall 2015 Organized a 3 week course, Mathematical Programming (E-402-STFO), for B.Sc. students in discrete mathematics and computer science.

Fall 2015 Organized a 12 week course, Cryptography and Number Theory (T-513-CRNU), for B.Sc. students in discrete mathematics and computer science.

Fall 2014 Organized a 3 week course, Mathematical Programming (E-402-STFO), for B.Sc. students in discrete mathematics and computer science.

Fall 2014 Organized a 12 week course, Cryptography and Number Theory (T-513-CRNU), for B.Sc. students in discrete mathematics and computer science.

Spring 2014 Graded homework for a 3 week course, Problem Solving (T-110-VERK), for B.Sc. students in computer science.

Spring 2014 Organized a 12 week course, Game Theory (E-409-LEIK), for B.Sc. and M.Sc. students in computer science and mathematics.

Spring 2014 Organized a 12 week course, Topology (T-612-GRAND), for B.Sc. and M.Sc. students in discrete mathematics and computer science.

Spring 2014 Organized a 12 week course, Algebra and Combinatorics (T-218-ALCO), for B.Sc. students in discrete mathematics and computer science.

Fall 2013 Taught two problem sessions in Discrete Mathematics I (T-201-STR1), for B.Sc. students in computer science.

Fall 2013 Organized a 15 week course, Mathematical Programming (E-402-STFO), for B.Sc. students in discrete mathematics and computer science.

Fall 2013 Organized a 15 week course, Cryptography and Number Theory (T-513-CRNU), for B.Sc. students in discrete mathematics and computer science.

Summer 2013 Co-organized a 4 week course, Calculus II (T-201-STA2), for B.Sc. students in engineering.

Spring 2013 Organized a 12 week course, Algebra and Combinatorics (T-218-ALCO), for B.Sc. students in discrete mathematics and computer science.

Fall 2012 Organized a 15 week course, Mathematical Programming (E-402-STFO), for B.Sc. students in computer science and mathematics.

Summer 2012 Organized a 6 week course, Functional Programming (T-209-FUPR), for B.Sc. students in computer science and mathematics.

Summer 2012 Co-organized a 4 week course, Calculus II (T-201-STA2), for B.Sc. students in engineering.

Spring 2012 Organized a 12 week course, Game Theory (E-409-LEIK), for B.Sc. and M.Sc. students in computer science and mathematics.

Fall 2011 Organized a 15 week course, Topology with Application to Computer Science (T-635-TOAP), for B.Sc. students in computer science and mathematics.

Fall 2011 Organized a 1 week preparatory course in discrete mathematics for students entering a B.Sc. program in computer science.

Summer 2011 Organized two 4 week courses, Mathematics II (AT STÆ2003) for B.Sc. students in civil engineering, and Calculus II (T-201-STA2) for B.Sc. students in engineering.

Spring 2011 Organized a 12 week course, Mathematical Programming (E-402-STFO), for B.Sc. students in computer science and mathematics.

Spring 2011 Assistant teacher in a 12 week course, Design and Analysis of Algorithms (T-604-HGRE), for B.Sc. students in computer science and mathematics, and M.Sc. students in computer science.

Fall 2010 Organized a 13 week course, Game Theory (E-409-LEIK), for B.Sc. and M.Sc. students in computer science and mathematics.

Fall 2010 Organized a 1 week preparatory course in discrete mathematics for students entering a B.Sc. program in computer science.

Summer 2010 Co-organized two 4 week courses, Mathematics II (AT STÆ2003) for B.Sc. students in civil engineering, and Calculus II (T-201-STA2) for B.Sc. students in engineering.

Spring 2010 Organized a 13 week course, Statistics (T-217-STAT), for B.Sc. students in computer science.

Fall 2009 Organized a 12 week course, Complex Analysis (T-310-COAN), for B.Sc. students in mathematics.

Summer 2009 Co-organized two 4 week courses, Mathematics II (AT STÆ2003) for B.Sc. students in civil engineering, and Calculus II (T-201-STA2) for B.Sc. students in engineering.

Spring 2009 Organized a 3 week course, Introduction to Algebraic Geometry (E-312-IALR), for B.Sc. students in mathematics.

Fall 2008 Organized a 6 week reading course, Metric Spaces (E-514-FRID), for B.Sc. students in mathematics.

Fall 2008 Organized a 6 week reading course, Topology (E-612-GRAN), for B.Sc. students in mathematics.

Fall 2008 Organized a 12 week course, Mathematical Analysis II (E-208-CALC), for B.Sc. students in mathematics.

Brown University, Providence, Rhode Island, USA

Fall 2007 – Spring 2008 Obtained the Sheridan Center Teaching Certificate #1. This certificate is attained after participating in the Sheridan Center teaching seminar and having one’s teaching observed and critiqued by teaching consultants from the center.

Fall 2007 As a Teaching Fellow I was responsible for lectures for Advanced Placement Calculus (Math 0190), grading of exams and holding office hours.

Summer 2007 As a Course Instructor at the Brown University Summer School I organized the summer version of Introductory Calculus II (Math 0100).

Fall 2006 As a Teaching Fellow I was responsible for lectures for Intermediate Calculus (Math 18), grading of exams and holding office hours.

Fall 2005 – Spring 2006 As a Teaching Assistant I was responsible for recitation sections for Introductory Calculus II (Math 10), grading of exams and holding office hours.

University of Iceland

Spring 2008 Responsible for lectures and problem sessions in Calculus IIC, for B.Sc. students in chemistry. Also assisted a German transfer student with Calculus IIB.

Spring 2004 Responsible for problem sessions for Calculus IIB, for B.Sc. students in engineering.

Fall 2003 Responsible for problem sessions for Calculus IB, for B.Sc. students in engineering.

Commercial College of Iceland

2001 – 2003 Prepared students for the entrance examinations for the Icelandic team at the Physics Olympiad.

Awards

2018 Principal Investigator on a Infrastructure grant from the Icelandic Research Fund

2014 Principal Investigator on a 3 year Project grant from the Icelandic Research Fund

2011 Co-proposer on a 3 year Grant of Excellence from the Icelandic Research Fund

2012 Scandinavia-Japan Sasakawa Foundation Grant to travel to Japan to attend FPSAC

2011 Erasmus grant for visiting University of Strathclyde, Glasgow, UK, fall semester

2008 George Irving Hopkins Fellowship, academic year 2008-2009

2001 Valedictorian when graduating from the Commercial College of Iceland

2001 Ranked highest of the Icelandic team at the Physics Olympiad

Professional and industry experience

July – August 2006 Specialist, Landsbanki Íslands (Bank in Iceland) Pricing of complex derivatives. Involved considerable programming in MatLab.

June – August 2005 Talnatök inc. (Educational company in Iceland) Preparation of course material for a preparatory course for students entering the Department of Engineering at the University of Iceland; served also as a substitute teacher.

June – August 2003, June – August 2004 Research Assistant, Department of Mathematics, University of Iceland Assisted Dr. Reynir Axelsson in preparing textbooks for publication, mainly by drawing figures and proofreading.

June – August 2002 Research Assistant, Department of Physics, University of Iceland Assisted Dr. Ari Ólafsson on the construction of a 70 ft. Focault pendulum and on a photoacoustic project.

June – August 2001 Programmer, deCODE genetics (Reykjavik, Iceland) Debugging of software (black-box debugging).

Memberships and administrative duties

Editorial roles

2025 – Member of the board of associate editors of Mathematica Scandinavica.

Guest editor of the special issue of Discrete Mathematics & Theoretical Computer Science for Permutation Patterns 2016 (vol. 19 no. 2).

Membership in boards

2016 – 2017 Secretary of the Icelandic Science Society.

2011 – 2013 President of the Icelandic Mathematical Society.

2010 Member of the board of the Icelandic Mathematical Society.

2010 – 2015 Member of the Undergraduate Studies Council of the School of Computer Science at Reykjavik University.

2010 – 2013 Member of the Environmental Group at Reykjavik University.

Organization

2025 Head of the organizing committee of NORCOM 2025.

2023 – Member of the committee on digital teaching at Reykjavik University.

2023 Member of the program committee of FPSAC 2023.

2020 One of the organizers of a new graduate degree, Data Science, at Reykjavik University, which opened in fall 2020.

2017 Chair of the organizing committee of the conference Permutation Patterns 2017.

2012 One of the organizers of a new undergraduate degree, Discrete Mathematics and Computer Science, at Reykjavik University, which opened in fall 2012.

2011 Member of the organizing committee of FPSAC 2011.

2011 Chair of the organizing committee of the conference Mathematics in Iceland 2011.

2010 Co-organizer of the Icelandic Postdoc and Graduate Student Seminar.

Memberships

2016 – Icelandic Academia of Science.

2014 – European Association for Theoretical Computer Science.

2011 – Mathematics Group at Reykjavik University.

2011 – 3F Society for IT and Education.

2008 – Icelandic Centre of Excellence in Theoretical Computer Science.

2008 – 2011 Reykjavik Combinatorics Group.

2008 – 2010 Mathematics Institute at Reykjavik University.

2004 – American Mathematical Society.

2004 – Icelandic Mathematical Society.

Other

Referee work for journals: Algebraic Combinatorics, Journal of Combinatorial Theory – Series A, Discrete Mathematics, Journal of Integer Sequences, Discrete Applied Mathematics, Pure Mathematics and Applications, The Australasian Journal of Combinatorics, European Journal of Combinatorics, Journal of Combinatorics, The Electronic Journal of Combinatorics, Discrete Mathematics & Theoretical Computer Science (Special Issue for Permutation Patterns 2015), Graphs and Combinatorics.

Referee work for conferences: European Symposia on Algorithms 2011, Formal Power Series and Algebraic Combinatorics 2013, International Workshop on Combinatorial Algorithms 2015.

Review work for MathSciNet.

Other referee work: grant applications to the NSA Mathematical Sciences Program, and the University of Iceland Research Fund.

spring 2011 – fall 2011 External examiner for final projects of B.Sc. students at Reykjavik University: Developing Game AI for the Real-Time Strategy Game Starcraft (spring 2011, three students); Arduino as a Random Number Generator (fall 2011, one student).

fall 2010 External reviewer for an oral exam in an M.Sc. course in algebraic topology at the University of Iceland.

2010 Member of the Combinatorics judging panel for the Baltic Way 2010.

Recommendations

Research after Ph.D.

Einar Steingrímsson, Research Professor University of Strathclyde, Department of Mathematics and Statistics Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH E-mail: einar.steingrimsson@strath.ac.uk

Michael Albert, Emeritus Professor University of Otago, School of Computing PO Box 56, Dunedin 9054, New Zealand E-mail: michael.albert@otago.ac.nz

Sergey Kitaev, Professor University of Strathclyde, Department of Mathematics and Statistics Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH E-mail: sergey.kitaev@strath.ac.uk

Anders Claesson, Professor University of Iceland, Department of Mathematics Reykjavik, Iceland E-mail: akc@hi.is

Research during Ph.D.

Dan Abramovich, L. Herbert Ballou University Professor Brown University, Department of Mathematics Box 1917, Providence, RI 02912, USA E-mail: dan_abramovich@brown.edu

Angelo Vistoli, Professor Scuola Normale Superiore, Classe di Scienze Piazza dei Cavalieri 7, 56126 Pisa, Italy E-mail: angelo.vistoli@sns.it

Teaching

Jeffrey Hoffstein, Professor Brown University, Department of Mathematics Box 1917, Providence, RI 02912, USA E-mail: jeffrey_hoffstein@brown.edu

Björn Þór Jónsson, Professor Reykjavik University, Department of Computer Science Menntavegur 1, 102 Reykjavík, Iceland E-mail: bjorn@ru.is