Algorithmic and Geometric Topics Around Free Groups and Automorphisms