# Research in applied algebra

I am in my final year of my doctoral study in Mathematics, where my research topic is $p$-groups, specifically classification of $p$-groups by coclass. My work involves a great deal of computation in GAP. I really like programming and have knowledge in C, MatLab and Mathematica.

So far all my research is in pure math but for my post-doctoral research I would like to research some applications of algebra/group theory. I don't have sufficient knowledge in this regard though I have heard that genomics and crystallography both rely on applied algebra.

I would appreciate learning of some areas/fields where I can apply computational applied algebra as well as institutions/centers and/or scholars whom I could contact. Regarding location, I am open to any place but in specific I am looking for some positions in USA & Canada, Europe & UK or in Australia & New Zealand.

• I am not very sure if this is on topic here.. Sep 9, 2018 at 5:41
• @PraphullaKoushik Sorry for the post. But if you think some part of the question can be edited to make it on-topic, please feel free to advise. Sep 9, 2018 at 5:43
• I view such listing of institutions as opinion-based and therefore problematic on this site.
– YCor
Sep 9, 2018 at 14:27
• @YCor I had the impression the OP is asking for information on what people do in various institutions, not about any ranking of the people or the groups at those institutions. Hence I don't see that this is really "opinion-based" Sep 9, 2018 at 18:50
• @StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia. Sep 10, 2018 at 0:53

In the UK, there is the Applied Algebra and Geometry Research Network. You could browse the list of former speakers and abstracts for ideas.

The University of St Andrews has a strong group in Combinatorics and Algebra, with some members (such as Rosemary Bailey) working on computations and applications.

In Ireland, Graham Ellis's group at NUI Galway is very active in the field of computational algebra.

In Leipzig, Germany there is the Max Planck Institute for Mathematics in the Sciences, where in particular Bernd Sturmfels' group works on applications of algebra to non-linear models

A lot of "algebra" is happening in programming language theory and practice nowadays, with knowledge of category theory and type theory really beneficial. Practical applications involve creating certified for correctness programs, and certifying existing programs for correctness. You might have heard about computer-certified proofs of theorems, such as Odd Order Theorem - this essentially falls into the same domain. (Here is the announcement).

For something completely different: symmetries are used in optimisation and machine learning, to reduce dimension etc. And, certainly, there is a lot of algebra in computational (algebraic and "usual") geometry.

Yet another applied topic with a lot of algebra is cryptography and coding theory; among the topics mentioned, it is probably the closest to finite group theory.

• Thank you so much. I have heard about computer-proofs. That is really interesting. Unfortunately I have no exposure to type theory or category theory. However symmetries are more close to my research topic probably. Though I am open to learn new things. Do you have any suggestion regarding any specific institution or person? Thanks again. Sep 9, 2018 at 9:25