Abstract. We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove global convergence of our method in the sense that for an arbitrary starting point, every accumulation point of the sequence of iterates is critical. The method is tested on several problems in feedback control synthesis. Here our interest is in nonconvex eigenvalue programs, which arise frequently in automatic control applications and especially in controller synthesis. In particular, solving bilinear matrix inequalities (BMIs) is a prominent application, which may be addressed via nonconvex eigenvalue optimization. In [45,46] we have shown how to adapt the approach of [41,48] to handle nonconvex situations. Applications and extensions of these ideas are presented in [4,1,57,10,5,6].