Research in applied algebra

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
7
down vote

favorite
1












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.










share|cite|improve this question



















  • 1




    I am not very sure if this is on topic here..
    – Praphulla Koushik
    Sep 9 at 5:41






  • 1




    @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.
    – usermath
    Sep 9 at 5:43






  • 3




    I view such listing of institutions as opinion-based and therefore problematic on this site.
    – YCor
    Sep 9 at 14:27






  • 2




    @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"
    – Yemon Choi
    Sep 9 at 18:50






  • 1




    @StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia.
    – usermath
    Sep 10 at 0:53














up vote
7
down vote

favorite
1












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.










share|cite|improve this question



















  • 1




    I am not very sure if this is on topic here..
    – Praphulla Koushik
    Sep 9 at 5:41






  • 1




    @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.
    – usermath
    Sep 9 at 5:43






  • 3




    I view such listing of institutions as opinion-based and therefore problematic on this site.
    – YCor
    Sep 9 at 14:27






  • 2




    @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"
    – Yemon Choi
    Sep 9 at 18:50






  • 1




    @StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia.
    – usermath
    Sep 10 at 0:53












up vote
7
down vote

favorite
1









up vote
7
down vote

favorite
1






1





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.










share|cite|improve this question















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.







gr.group-theory soft-question computational-group-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 10 at 0:50

























asked Sep 9 at 5:37









usermath

1445




1445







  • 1




    I am not very sure if this is on topic here..
    – Praphulla Koushik
    Sep 9 at 5:41






  • 1




    @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.
    – usermath
    Sep 9 at 5:43






  • 3




    I view such listing of institutions as opinion-based and therefore problematic on this site.
    – YCor
    Sep 9 at 14:27






  • 2




    @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"
    – Yemon Choi
    Sep 9 at 18:50






  • 1




    @StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia.
    – usermath
    Sep 10 at 0:53












  • 1




    I am not very sure if this is on topic here..
    – Praphulla Koushik
    Sep 9 at 5:41






  • 1




    @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.
    – usermath
    Sep 9 at 5:43






  • 3




    I view such listing of institutions as opinion-based and therefore problematic on this site.
    – YCor
    Sep 9 at 14:27






  • 2




    @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"
    – Yemon Choi
    Sep 9 at 18:50






  • 1




    @StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia.
    – usermath
    Sep 10 at 0:53







1




1




I am not very sure if this is on topic here..
– Praphulla Koushik
Sep 9 at 5:41




I am not very sure if this is on topic here..
– Praphulla Koushik
Sep 9 at 5:41




1




1




@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.
– usermath
Sep 9 at 5:43




@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.
– usermath
Sep 9 at 5:43




3




3




I view such listing of institutions as opinion-based and therefore problematic on this site.
– YCor
Sep 9 at 14:27




I view such listing of institutions as opinion-based and therefore problematic on this site.
– YCor
Sep 9 at 14:27




2




2




@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"
– Yemon Choi
Sep 9 at 18:50




@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"
– Yemon Choi
Sep 9 at 18:50




1




1




@StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia.
– usermath
Sep 10 at 0:53




@StefanKohl very close :) I also work with Prof. Eick but she is not my advisor, her student is my advisor in Australia.
– usermath
Sep 10 at 0:53










2 Answers
2






active

oldest

votes

















up vote
9
down vote



accepted










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






share|cite|improve this answer




















  • Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
    – usermath
    Sep 9 at 9:42

















up vote
5
down vote













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.






share|cite|improve this answer






















  • 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.
    – usermath
    Sep 9 at 9:25










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f310178%2fresearch-in-applied-algebra%23new-answer', 'question_page');

);

Post as a guest






























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
9
down vote



accepted










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






share|cite|improve this answer




















  • Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
    – usermath
    Sep 9 at 9:42














up vote
9
down vote



accepted










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






share|cite|improve this answer




















  • Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
    – usermath
    Sep 9 at 9:42












up vote
9
down vote



accepted







up vote
9
down vote



accepted






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






share|cite|improve this answer












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







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 9 at 9:37









Mark Grant

20.8k654126




20.8k654126











  • Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
    – usermath
    Sep 9 at 9:42
















  • Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
    – usermath
    Sep 9 at 9:42















Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
– usermath
Sep 9 at 9:42




Thank you so much. This is really helpful. I will browse through the links you provided. Thanks again.
– usermath
Sep 9 at 9:42










up vote
5
down vote













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.






share|cite|improve this answer






















  • 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.
    – usermath
    Sep 9 at 9:25














up vote
5
down vote













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.






share|cite|improve this answer






















  • 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.
    – usermath
    Sep 9 at 9:25












up vote
5
down vote










up vote
5
down vote









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.






share|cite|improve this answer














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.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Sep 9 at 9:26

























answered Sep 9 at 9:21









Dima Pasechnik

8,76911750




8,76911750











  • 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.
    – usermath
    Sep 9 at 9:25
















  • 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.
    – usermath
    Sep 9 at 9:25















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.
– usermath
Sep 9 at 9:25




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.
– usermath
Sep 9 at 9:25

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f310178%2fresearch-in-applied-algebra%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide