I will give some examples of the use of valuations in order to study certain expansions of groups coming from commutative algebra or o-minimal geometry, as well as group theory. I will mainly focus on the problem of solving equations over groups, and give a Newton-type method for so-called regular equations in the case of groups of parabolic formal series and more abstract groups.
