** **

**Postal address:**** **

School of Computer Science

North Haugh

St Andrews

Fife

United Kingdom

**E-mail: **ad271@st-andrews.ac.uk

I am a Marie Curie Fellow in the School of Computer Science,
University of St Andrews. This position is funded by a Marie Skłodowska-Curie
Individual Fellowship grant under Horizon 2020 (EU Framework Programme for
Research and Innovation); see details here.

__Research__

My work deals with
algebra at the interface with computer science. My main results are in
computational group theory (design, analysis, and implementation of algorithms for
computing with groups and related algebraic structures), linear groups, and
subgroups of algebraic groups.

Currently my focus is
development of a frontier domain of computational algebra: computing with
groups given by a finite set of matrices over an infinite field. The algorithms
which I have designed with my coauthors are implemented in the main computer
algebra systems, providing the first-ever practical software for computing in
this class of groups, and enabling completely new opportunities for mathematical
experiments.

Information about my previous research activities including conferences which I co-organized could be found here.

__Some
recent publications__

**Book: ***Probabilistic Group Theory,
Combinatorics, and Computing, Lectures from the Fifth de Brún
Workshop,** *Lecture Notes in Mathematics, Vol. 2070, Springer, 2013, 114 pp. (eds:
with D. Flannery, E. O'Brien)

** **

- A. Detinko, D.
Flannery
*Linear groups and computation*, Expositiones Mathematicae, to appear; see also here. - A.
Detinko, D. Flannery, A. Hulpke
*Algorithms for experimenting with Zariski dense subgroups*, Experimental Mathematics, to appear; see also here. - A. Detinko, D. Flannery
*Practical computation with linear groups over infinite domains*, LMS Lecture Note Series, to appear, 2018, 10 pp; see also here. - A. Detinko, D. Flannery, A. Hulpke
*Zariski density and computing in arithmetic groups,*Mathematics of Computation,**87**(2018), 967-986; see also here. - A.
Detinko, D. Flannery, A. Hulpke
*Experimenting with Zariski dense subgroups*, Oberwolfach Preprints, OWP 2017-31. - A. Detinko, D. Flannery, A. Hulpke
*GAP functionality for Zariski dense groups*, Oberwolfach Preprints, OWP 2017-22. - A. Detinko, D. Flannery
*L.G. Kovács and linear groups*, Journal of the Australian Mathematical Society, Volume 102, Issue 1, 2017, 55-62. - A. Detinko, D. Flannery
*Recent**advances in computing with infinite linear groups*, Oberwolfach Reports, Volume 13, Issue 3, 2016, 2136-2139; see also here. - A. Detinko, D. Flannery, A. Hulpke
*Algorithms for arithmetic groups with the congruence subgroup property*, Journal of Algebra, 421 (2015) 234–259. - A. Detinko, D. Flannery, W. de Graaf
*Integrality and arithmeticity of solvable linear groups*, Journal of Symbolic Computation, 68(2015)138–145. - A. Detinko, D. Flannery, E. O’Brien
*Algorithms for linear groups of finite ranks*, Journal of Algebra, 393 (2013), 187–196. - A. Detinko, D. Flannery, E. O’Brien
*Recognition of finite matrix groups over infinite fields*, Journal of Symbolic Computation, 50 (2013), 100–109. - A. Detinko, D. Flannery,
*Computing with matrix groups over infinite fields*, Oberwolfach Reports, Volume 8, Issue 3, 2011, 2118 – 2121. - A. Detinko, D. Flannery, E. O’Brien
*Algorithms for the Tits alternative and related problems*, Journal of Algebra, 344 (2011) 397–406. - A. Detinko, D. Flannery, B. Eick
*Computing with matrix groups over infinite fields*, London Mathematical Society*,*LMS Lecture Note Series, 387 (2011) 256-270. - A. Detinko, D. Flannery, E. O’Brien
*Deciding finiteness of matrix groups in positive characteristic*, Journal of Algebra, 322 (2009), no. 11, 4151-4160. - A. Detinko, D. Flannery
*On**deciding finiteness of matrix groups*, Journal of Symbolic Computation, 44 (2009), no.1, 1037-1043. - A. Detinko, D. Flannery
*Periodic subgroups of projective linear groups in positive characteristic*, Central European Journal of Mathematics, 6 (2008), no. 3, 384-392. - A. Detinko, D. Flannery
*Algorithms for computing with nilpotent matrix groups over infinite domains*, Journal of Symbolic Computation, 43 (2008), no. 1, 8-26. - A. Detinko, D. Flannery
*Computing in nilpotent matrix groups*, LMS Journal of Computation and Mathematics, 9 (2006), 104-134. - A. Detinko, D. Flannery
*Locally nilpotent linear groups*, Irish Mathematical Society Bulletin, 56 (2005), 37–51. - A. Detinko, D. Flannery
*Nilpotent primitive linear groups over finite fields*,*Comm. Algebra*33 (2005), 497-505. - A. Detinko, D. Flannery
*Classification of nilpotent primitive linear groups over finite fields*, Glasgow Mathematical Journal 46 (2004), 3, 585-594. - A. Detinko
*A new GAP group library for irreducible maximal solvable subgroups of prime degree classical groups*, J. Math.Sci. (New York), 108 - A. Detinko
*On deciding finiteness for matrix groups over fields of positive characteristic*, LMS Journal of Computation and Mathematics, 4 (2001), 64-72.

(see other publications here )

__Some software____ __

- Matrix groups over infinite fields, Magma package, 2009
(with D. Flannery, E.O’Brien) More details..
- GAP 4 package Nilmat (with B.
Eick, D. Flannery) here.
- Computer group library for solvable matrix groups here.

__Selected conference presentations__

- Groups St Andrews 2017
in Birmingham, (University of Birmingham, UK); (slides).

- Computational Group Theory, 2016 (Oberwolfach, Germany).

- Algorithms for Linear Groups, 2014 (Banff International Research Station, Canada); (video).

- Groups, Computation and Geometries, 2014 (Colorado State University, USA).

- Groups St Andrews 2013 (University of St Andrews, Scotland); (more…).

- Questions, Algorithms, and Computations in Abstract Group Theory, 2013 (TU Braunschweig, Germany).

- Computational Group Theory, 2011 (Oberwolfach, Germany).

- Combinatorics, Groups, Algorithms, and Complexity, 2010 (The Ohio State University, USA), (more...).

- Groups St Andrews 2009, (University of Bath, UK).

- The 11th Rhine Workshop on Computer Algebra, 2008 (Levico Terme, Italy).

- Nikolaus Conference 2006, (RWTH, Aachen, Germany).

__Some
slides of my talks__

- Linear groups and computation, RWTH, Aachen, 25 May, 2016 here.

- Computing with infinite linear groups: recent advances and open problems, MFO, Oberwolfach, Germany, 2 August 2016 here.

__Selected events__

•
Third de Brún Workshop on Computational Algebra here__.__

•
International Conference on Design Theory and
Applications here__.__

•
The 5th de Brún
Workshop here__.__

__Miscellaneous__

- I
have been awarded research grants by various bodies (apart from Horizon
2020, these include Science Foundation Ireland, Enterprise Ireland, DAAD
etc). I also participated as a co-Principal Investigator or Collaborator
in many international funded research projects (some of these projects
joint with my collaborator Dane Flannery ). More
details..
- I am a regular reviewer for Mathematical
Review (see my reviews here). Also I am a member of the American Mathematical Society.