Dr Alla Detinko
Mathematics in Hull: history and legacy.
News: Hanna Neumann Day, 12 June 2020, University of Hull,
About
I joint University of Hull in January 2019. Previously I worked at the University of St Andrews after being awarded a Marie Skłodowska-Curie Individual Fellowship under the EU Horizon 2020 programme. Information about my work at National University of Ireland, Galway available 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.
Selected 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, A. Hulpke Experimenting with symplectic hypergeometric monodromy groups, Experimental Mathematics, accepted for publication, 2020; see also here.
A. Detinko, D. Flannery Linear groups and computation, Expositiones Mathematicae, 37 (2019), Issue 4, 454-484; see also here.
A. Detinko, W. de Graaf 2-Generation of simple Lie algebras and free dense subgroups of algebraic groups, Journal of Algebra, 545 (2020) 159-173; see also here.
A. Detinko, D. Flannery, A. Hulpke Algorithms for experimenting with Zariski dense subgroups, Experimental Mathematics, 29 (2020), no. 3, 296–305; see also here.
A. S. Detinko, D. L. Flannery, and A. Hulpke The strong approximation theorem and algorithms for computing with dense subgroups, Journal of Algebra, 529 (2019), 536-549; see also here.
A. Detinko, D. Flannery Practical computation with linear groups over infinite domains, LMS Lecture Note Series, volume 455, pp.261-270, 2019, Cambridge: Cambridge University Press; see also here.
A. Detinko, A., Flannery, D., Hulpke, Algebra, Matrices and Computers, Snapshots of Modern Mathematics, 5, 2019 (SNAP-2019-005-EN).
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, 102 (2017), Issue 1, 55-62; see also here.
A. Detinko, D. Flannery Recent advances in computing with infinite linear groups, Oberwolfach Reports, 13 (2016), Issue 3, 2136-2139.
A. Detinko, D. Flannery, A. Hulpke Algorithms for arithmetic groups with the congruence subgroup property, Journal of Algebra, 421 (2015) 234–259; see also here.
A. Detinko, D. Flannery, W. de Graaf Integrality and arithmeticity of solvable linear groups, Journal of Symbolic Computation, 68 (2015) 138–145; see also here.
A. Detinko, D. Flannery, E. O’Brien Algorithms for linear groups of finite ranks, Journal of Algebra, 393 (2013) 187–196; see also here.
A. Detinko, D. Flannery, E. O’Brien Recognition of finite matrix groups over infinite fields, Journal of Symbolic Computation, 50 (2013), 100–109; see also here.
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; see also here.
A. Detinko, D. Flannery, B. Eick Computing with matrix groups over infinite fields, London Mathematical Society Lecture Note Series, 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; see also here.
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; see also here.
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 (2002), no.6, 942-950.
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 )
Selected conferences presentations
Slides of my some of my talks available here.
Computational Group Theory, 2021 (Oberwolfach, Germany); (video).
Discrete Subgroups of Lie groups, 2019 (Banff International Research Station, Canada); (video).
Logic and Algorithms in Group Theory, 2018 (Hausdorff Center for Mathematics, Bonn); (video).
Groups St Andrews 2017 in Birmingham, (University of Birmingham, UK).
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).
Events
Some of conferences which I co-organized.
Computational Aspects of Discrete Subgroups of Lie Groups (ICERM, 2021) here.
Third de Brún Workshop on Computational Algebra here.
International Conference on Design Theory and Applications here.
The 5th de Brún Workshop here.
Further information about my previous research activities including conferences which I co-organized could be found here.
Funding
I have been awarded research grants by various bodies ( EU Commission, Science Foundation Ireland, Enterprise Ireland, DAAD etc).
This includes Marie Skłodowska-Curie Individual Fellowship grant under Horizon 2020 (EU Framework Programme for Research and Innovation); H2020-MSCA-IF-2015.
I also participated as a co-Principal Investigator or Collaborator in many international funded research projects; more details..
Miscellaneous
Member of the American Mathematical Society.
Member of the London Mathematical Society.
Reviewer for Mathematical Review (see my reviews here).