I will report on joint work with Pillay and Terry on arithmetic regularity (a group theoretic analogue of Szemeredi regularity for graphs) for sets of bounded VC-dimension in finite groups, which is proved using a local version generic compact domination for NIP formulas in pseudofinite groups. I will then present more recent work on nonabelian versions of certain "inverse theorems" from additive combinatorics, which are proved using pseudofinite model theory, and can be used to give alternate proofs of NIP arithmetic regularity for certain classes of finite groups.