Room:	HD 04 23
	Address:	Favoritenstrasse 9, 1040 Wien
	Tel:	+43 (1) 58801-18544
	Mail:	steindl et logic at
	Function:	Postdoctoral Researcher

Since January 2017 I am a postdoctoral researcher at the Technical University Vienna. Currently I work in the FWF project "Oligomorphic clones: tackling CSPs via the infinite".

Publications and preprints

• The subpower membership problem for semigroups (with A. Bulatov, M. Kozik, and P. Mayr). International Journal of Algebra and Computation, 26(07):1435–1451, 2016.
• On finitely related nilpotent monoids. In preparation.
• Computational complexity of the subpower membership problem for semigroups. PhD thesis, JKU Linz, Austria.
• The subpower membership problem for bands. Accepted.
• On semigroups with PSPACE-complete subpower membership problem. Submitted.
• Free groups and presentations of groups. Bachelor’s thesis, JKU Linz, Austria, 2013.
• Experimental methods for SiGe quantum dot photocurrent spectroscopy. Master’s thesis, JKU Linz, Austria, 2011.

Talks

• The subpower membership problem for semigroups. AMS Sectional Meeting. Denver, CO. October 08–09, 2016.
• The subpower membership problem for semigroups. Front Range Logic Saturdays (FLRS): Fall 2016. Golden, CO. September 10, 2016.
• Deciding subpower membership for semigroups. 90th Workshop on General Algebra (AAA90). Novi Sad, Serbia. June 05–07, 2015.
• Testing membership in direct powers of idempotent semigroups. 89th Workshop on General Algebra (AAA89). Dresden, Germany. February 26–March 01, 2015.
• Subpower membership for semigroups. Linz Algebra Research Day (LARD 2014). Linz, Austria. October 23, 2014.
• On the subpower membership problem for semigroups. Algebras and Clones fest (ALC fest). Prague, Czech Republic. June 30–July 03, 2014.
• Closure of subpowers. 87th Workshop on General Algebra (AAA87). Linz, Austria. February 07–09, 2014.
• Ideals in near-rings of invariants. International Conference on Rings, Nearrings and Radicals. Bloemfontein, South Africa. July 07–13, 2013.