# Henning Ulfarsson

## Assistant Professor, Reykjavik University

Henning is an assistant Professor in the School of Computer Science at Reykjavik University in Iceland. His CV can be accessed here.

## Projects

- Schubert varieties and permutation patterns
- Coincidence and Wilf-classification
- Heuristic algorithms for pattern and statistics discovery
- Sorting
- Automatic discovery of conjectured covers of combinatorial classes
- Searching for combinatorial specifications

## Papers

- A unification of permutation patterns related to Schubert varieties
- Word-representability of line graphs
- Describing West-3-stack-sortable permutations with permutation patterns
- Refined inversion statistics on permutations
- Which Schubert varieties are local complete intersections?
- Restricted non-separable planar maps and some pattern avoiding permutations
- Wilf-classification of mesh patterns of short length
- Coincidence among families of mesh patterns
- Sorting and preimages of pattern classes
- Enumerations of Permutations Simultaneously Avoiding a Vincular and a Covincular Pattern of Length 3
- Equivalence classes of mesh patterns with a dominating pattern
- Automatic discovery of structural rules of permutation classes
- Occurrence graphs of patterns in permutations
- Pattern avoiding permutations and independent sets in graphs
- BiSC: An algorithm for discovering generalized permutation patterns
- Collatz meets Fibonacci
- The poset of mesh patterns
- Combinatorial Exploration: An Algorithmic Framework for Enumeration
- Algorithmic coincidence classification of mesh patterns
- Enumeration of permutation classes by inflation of independent set of graphs
- Automated Enumeration of Combinatorial Classes with Proof-Number Search

## Programs

- Algorithms computing the preimages of sorting operators
- Combinatorial specification searcher
- Permuta
- Tilings

## Posts

- Notable successes for TileScope (aka PermScope) as of June 2019
- Macros for drawing permutation patterns
- PhD fellowships in Algorithms for Permutation Structures