Simulation technology for nonlinear interface phenomena enabling high, managed accuracy with low cost is an urgent need in many fields of science and technology. This project seeks to develop new numerical methods that address these needs. The methods under consideration belong to the family of integral equation methods, which attain asymptotically optimal cost in the solution of certain ("linear homogeneous exterior elliptic boundary value") problems. The project seeks to extend them to challenging nonlinear settings, while improving their efficiency when modeling boundary layers, and developing new methods for the case where volume contributions are needed. Examples of technical fields in which such methods are needed include the project's motivating applications, which will be used to demonstrate our methods' efficacy: (1) Wetting problems, relevant across chemical engineering and biology. (2) Nonlinear plasmonics, a promising avenue for the construction of optical networks. Accurate computer simulation can help confirm or refute scientific theories by comparison with experiment, can replace experiments, and can be used in engineering design processes. The PhD students trained under the project will add to the nation's scarce expert labor supply, and the methods and open-source software released under the project will enable science and industry users around the world to deploy the newly-developed methods for the advancement of science.<br/><br/>Since they are based on the superposition principle, integral equation methods (IEMs) are not often used to solve partial differential equation (PDE) problems with nonlinearities. This project removes important obstacles to the adoption of IEMs in such a setting, and it validates the case for them through two ambitious motivating nonlinear model applications involving interfaces. The efficient solution of elliptic (i.e. globally coupled) computational problems remains a major challenge, and IEMs have crucial strengths in this area. While one major strength of IEMs is the use of boundary (i.e. lower-dimensional) unknowns to represent volume solutions, the presence of nonlinearities invariably necessitates the use of volume unknowns. We demonstrate that this use can often be kept localized, particularly in problems modeling interfaces, while maintaining IEM's suitability for problems on unbounded domains. We propose a new method for the evaluation of the resulting volume potentials that retains high-order accuracy in the presence of complex geometry. The project builds on recent advances made by the PI on high-order accurate fast algorithms for the evaluation of layer potentials, the building blocks of IEMs, in the presence of complex geometry in two and three dimensions. We further propose research leading to major efficiency gains in the underlying singular quadrature method and, motivated by empirical observations, a theoretical investigation of the influence of geometry on the accuracy of that method. A final line of proposed research concerns the reduction of resolution demands posed by boundary layers, embodied in IEMs by rapidly-decaying Green's functions, which often result in increases of computational cost that threaten to make certain simulations infeasible.<br/><br/>This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.