Computational algebra: where?
The first piece of advice I would give you is not to prematurely limit yourself to a narrow area, unless your M.Sc only takes a year. If it takes at least two years, then you will still learn plenty of exciting mathematics before you have to make a reasonably definitive choice. If you are thinking of doing a PhD in the states, then even the PhD itself is so long, that being at a generally strong department might be more beneficial than to have an isolated area of expertise around you.
Having said that, if you are interested in computation mathematics of an algebraic nature (computational group theory, number theory, geometry, more general algebra), then a natural choice would be some place where one of the big computer algebra packages is being developed. The sites I list below also provide a good list of contributors, which will help you in choosing a shortlist of possible advisors. Some examples include
- MAGMA in Sydney
- GAP in various places; this one is particularly focused on group theory
- PARI/GP in Bordeaux
- SAGE in Washington, whose site also provides a nice map of where the developers are based. Thanks to Suvrit for fixing this unforgivable omission.
If I can think of more, I will add them here, but these should give you a good place to start. You can also browse through some of the dedicated journals, like the Journal of symbolic computation or the LMS Journal of computation and see who the prolific contributors are. Reading some of those articles might also help you decide whether this is what you want to do.
As for your question whether this is a "hot topic", that's harder to answer. It certainly is in the places mentioned above and in various others, where there are strong computational algebra groups, but I know of some places where this area of mathematics is frowned upon by the more theoretical community. But I suppose that that's probably true of almost any area of mathematics and you shouldn't let that deter you.
For computational algebra, I think there are some more places. You may want to look at
Symbolic Computation Group in Waterloo University (Canada).
Research Institute for Symbolic Computations in Linz (Austria)
Computer Algebra in Kaiserslautern (Germany), where Singular is
Centre for Interdisciplinary Research in Computational Algebra (University of St Andrews, UK).
CoCoA Sytem : Computations in Commutative Algebra.(Italy)
Macaulay2 : Computations in Algebraic Geometry and Commutative Algebra. (USA)
Moreover, I think in US, there are also some other places, like UIUC, North Carolina State Univ. . .
I hope those information may be useful.
Good luck.
Best,
John
Some other suggestions:
The University of Auckland (Eamonn O'Brien and Marston Conder)
The University of Warwick (Derek Holt)
I did my MSc with Eamonn O'Brien and my PhD with Derek Holt, and can recommend them both as supervisors. You are welcome to contact me by email (which you can find on my website) if you have any specific questions about either university.