Henning Ulfarsson
Associate Professor, Department of Computer Science, Reykjavik University
Menntavegi 1 102 Reykjavik Iceland henningu@ru.is | ulfarsson.github.io | Google Scholar
Personal
Born November 21, 1981 in Reykjavik, Iceland. Citizen of Iceland. Married with three daughters.
Research interests
My main research area is in the intersection of combinatorics and the theory of algorithms. I focus on permutation patterns and algorithms to prove and conjecture results about them. I have also worked in algebraic geometry, mostly on Schubert varieties, and dabbled in ad-hoc wireless networks, especially on the SINR-model.
Academic positions
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
- Ph.D. in Mathematics, June 2009. Thesis: Extending Grothendieck topologies to diagram categories and Serre functors on diagram schemes
- M.Sc. in Mathematics, May 2006
2001-2004
University of Iceland, Reykjavik, Iceland
- B.Sc in Mathematics, June 2004
1997-2001
Commercial College of Iceland, Reykjavik, Iceland
Publications
In preparation
2023
Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding
C. Bean, É. Nadeau, J. Pantone and H. Ulfarsson
2023
Multivariate Combinatorial Exploration
C. Bean, É. Nadeau, J. Pantone and H. Ulfarsson
Submitted
2026
A Permutation Avoidance Game with Reverse Replies and Monotone Traps
H. Ulfarsson
Submitted to Advances in Applied Mathematics
arXiv
2023
Turning cycle restrictions into mesh patterns via Foata’s fundamental transformation
A. Claesson and H. Ulfarsson
arXiv
2019
Combinatorial Exploration: An Algorithmic Framework for Enumeration
M. Albert, C. Bean, A. Claesson, É. Nadeau, J. Pantone and H. Ulfarsson
arXiv | Christian’s PhD thesis: Finding structure in permutation sets
Journals
2023
Algorithmic coincidence classification of mesh patterns
C. Bean, B. Gudmundsson, T. Shimomura-Magnusson and H. Ulfarsson
To appear in Information and Computation, 2023
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
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
2019
Enumeration of Permutation Classes and Weighted Labelled Independent Sets
C. Bean, É. Nadeau and H. Ulfarsson
Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019.
Published | arXiv
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
Published | 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
Christian Bean, fall 2014–spring 2018
M.Sc. students
Jón Steinn Elíasson, spring 2020–fall 2022
Bjarni Jens Kristinsson, fall 2018–fall 2019
Arnar Bjarni Arnarson, fall 2017–spring 2019
Unnar Freyr Erlendsson, fall 2017–spring 2019
Ragnar Páll Árdal, fall 2016–fall 2021
Tomas Ken Shimomura-Magnusson, fall 2015–fall 2018
Bjarki Gudmundsson, fall 2015–spring 2017
Murray Tannock, spring 2015–spring 2016
Sigríður Lína Viðarsdóttir, fall 2012–fall 2015
Hjalti Magnusson, spring 2012–spring 2013
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
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)
April 2019
Combinatorial Exploration: guided by humans, proven by computer
Joint ICE-TCS/GSSI Seminar, Reykjavik University
May 2019
Combinatorial Exploration
ICE-TCS Theory Day, Reykjavik University, Iceland
Slides
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 withMichael Albert,Arnar Bjarni Arnarson,Ragnar Páll Árdal,Christian Bean,Anders Claesson,Unnar Freyr Erlendsson,Tomas Ken Shimomura-Magnusson,Émile Nadeau andJay Pantone.
April 2018
Understanding complicated things by dividing them into easier pieces
Reykjavik University Lecture Marathon, Iceland
June 2018
Combinatorial exploration of permutation classes
Permutation Patterns, Dartmouth University, USA
Joint work withMichael Albert,Anders Claesson,Christian Bean andJay Pantone. Presented by Christian Bean.
June 2018
Automatic enumeration of grid classes
Permutation Patterns, Dartmouth University, USA
Joint work withArnar Bjarni Arnarson andUnnar Freyr Erlendsson. Presented by Unnar Freyr Erlendsson.
June 2017
Automatic enumeration of restricted permutations
Permutation Patterns, Reykjavik University, Iceland
Joint work withMichael Albert,Ragnar Páll Árdal,Christian Bean,Anders Claesson andJay Pantone. Presented by Christian Bean.
Abstract
June 2017
Permuta
Permutation Patterns, Reykjavik University, Iceland (software)
Joint work withChristian Bean,Bjarki Gudmundsson,Cheyne Homberger,Hjalti Magnusson,Tomas Ken Shimomura-Magnusson,Jay Pantone andMurray 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 andUnnar 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 withBjarki Gudmundsson. Presented by Tomas Ken Shimomura-Magnusson.
Abstract
June 2017
The poset of mesh patterns
Permutation Patterns, Reykjavik University, Iceland (poster)
Joint work withJason Smith andAnders Claesson. Presented by Jason Smith.
Abstract
November 2016
Enumeration of permutation classes by conjectured structures
Dartmouth Combinatorics Seminar, Hanover, NH
Joint work withMichael Albert,Christian Bean,Anders Claesson andBjarki Gudmundsson.
June 2016
Struct: Finding structure in permutation sets
Permutation Patterns, Washington DC, USA
Joint work withMichael Albert,Christian Bean,Anders Claesson andBjarki Gudmundsson. Presented by Christian Bean.
June 2016
Algorithmic coincidence classification of mesh patterns
Permutation Patterns, Washington DC, USA
Joint work withBjarki Gudmundsson andTomas 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 withMurray Tannock. Presented by Murray Tannock.
October 2015
Pattern avoiding permutations and non-crossing subgraphs of polygons
MIT Combinatorics Seminar, Boston, MA
Joint work withChristian Bean andMurray Tannock.
June 2015
Struct: automatic discovery of structure in permutation sets
Permutation Patterns, London, UK (software)
Joint work withMichael Albert,Christian Bean,Anders Claesson andBjarki Gudmundsson.
June 2015
Avoiding a pair of vincular and covincular patterns
Permutation Patterns, London, UK
Joint work withChristian Bean andAnders Claesson. Presented by Christian Bean.
June 2015
Pattern avoidance and non-crossing subgraphs of polygons
Permutation Patterns, London, UK
Joint work withChristian Bean andMurray 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 withChristian Bean andMurray 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 withChristian Bean andMurray Tannock.
March 2015
Experimenting with permutations: The tale of two algorithms
Rutgers Experimental Mathematics Seminar, Rutgers University, New Brunswick, USA
Joint work withMichael Albert,Christian Bean,Anders Claesson andBjarki 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 withMichael Albert,Christian Bean,Anders Claesson andBjarki Gudmundsson.
November 2014
Struct: An algorithm for guessing the structure and enumeration of permutation sets
ICE-TCS Seminar, Reykjavik University, Iceland
Joint work withMichael Albert,Christian Bean,Anders Claesson andBjarki Gudmundsson.
June 2014
Guessing and proving theorems for permutation patterns
New York Combinatorics Seminar, City University New York, USA
Joint work withAnders Claesson andHjalti Magnusson.
July 2014
Collatz meets Fibonacci
Permutation Patterns, East Tennessee State University, USA (poster)
Joint work withMichael Albert andBjarki 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)
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 withAnders Claesson.
July 2013
Bijective maps based on mesh patterns
Permutation Patterns, University Paris Diderot, Paris, France
Joint work withSigríð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 withHjalti 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 withSergey Kitaev,Pavel Salimov andChristopher Severs.
January 2013
GRIM: An algorithm for the discovery of generalized permutation patterns
2013 Joint Mathematics Meetings, San Diego, CA
Joint work withAnders Claesson.
August 2012
Sorting and preimages of pattern classes
The 24th International Conference on Formal Power Series & Algebraic Combinatorics, Nagoya, Japan
Joint work withAnders 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 withAlexander Woo.
June 2012
Automated discovery of permutation patterns
Permutation Patterns, University of Strathclyde, Glasgow, UK
Joint work withAnders 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 withAnders Claesson.
January 2012
Restricted rooted non-separable planar maps. Preliminary Report
2012 Joint Mathematics Meetings, Boston, MA
Joint work withSergey Kitaev,Pavel Salimov andChristopher Severs.
January 2012
Refined inversion statistics on permutations
2012 Joint Mathematics Meetings, Boston, MA
Joint work withJoshua Sack. Presented by Joshua Sack.
November 2011
Maps, trees and patterns
Mathematics in Iceland 2011, Conference of the Icelandic Mathematical Society, Reykholt
Joint work withSergey Kitaev,Pavel Salimov andChristopher 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 withAlexander 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 withAlexander Woo. Presented by Alexander Woo.
December 2010
Counting special inversions in permutations
Mathematics Colloquium, California State University, Long Beach, California
Joint work withJoshua Sack. Presented by Joshua Sack.
November 2010
Counting special inversions in permutations
Mathematics Colloquium, University of Iceland, Reykjavik, Iceland
Joint work withJoshua 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 withJó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
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.
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, Professor University of Strathclyde, Department of Computer and Information Sciences Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH Phone: +44 141 548-4680, E-mail: einar.steingrimsson@cis.strath.ac.uk
Michael Albert, Associate Professor University of Otago, Department of Computer Science Owheo Building, Room 2.52, 133 Union Street East, Dunedin 9016, New Zealand Phone: +64 3 479-8586, E-mail: malbert@cs.otago.ac.nz
Sergey Kitaev, Reader University of Strathclyde, Department of Computer and Information Sciences Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH Phone: +44 141 548-3473, E-mail: sergey.kitaev@cis.strath.ac.uk
Anders Claesson, Senior Lecturer University of Strathclyde, Department of Computer and Information Sciences Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH Phone: +44 141 548-3617, E-mail: anders.claesson@cis.strath.ac.uk
Research during Ph.D.
Dan Abramovich, Professor Brown University, Department of Mathematics Box 1917, Providence, RI 02912, USA Phone: +1 401-863-7968, E-mail: abrmovic@math.brown.edu
Angelo Vistoli, Professor Scuola Normale Superiore, Classe di Scienze Piazza dei Cavalieri 7, 56126 Pisa, Italy Phone: +39 050-509310, E-mail: angelo.vistoli@sns.it
Teaching
Jeffrey Hoffstein, Professor Brown University, Department of Mathematics Box 1917, Providence, RI 02912, USA Phone: +1 401-863-1127, E-mail: jhoff@math.brown.edu
Björn Þór Jónsson, Associate Professor Reykjavik University, School of Computer Science Menntavegi 1, 101 Reykjavik, Iceland Phone: +354 599-6240, E-mail: bjorn@ru.is
Ása Björk Stefánsdóttir, Teaching Coach Reykjavik University, Support Services/Academic Affairs Menntavegi 1, 101 Reykjavik, Iceland Phone: +354 599-6288, E-mail: asabjork@ru.is