Yes, Gurobi is the best optimiser by a mile for constrained problems, especially for MILP. The academic license should cover most of the functionality for free. Please note as well that, depending on your use case, a powerful optimiser is not always enough. You need also a good pre-solver for the modelling language you use. The best one I believe is AMPL (again from personal experience). However, this is again commercial software (but probably accessible for academics).