We present a framework for the automated design of optimal Medium Access Control (MAC) protocols for wireless networks. We present a framework for the automated design of optimal Medium Access Control (MAC) protocols for wireless networks. First, we describe a methodology that incorporates the impact of control information transfer into MAC protocol optimization. Second, we generate optimal MAC protocols based on a more general MAC model that incorporates multiple MAC neighborhoods as well as acknowledgments.Third, we formulate the automated optimal MAC protocol generation problem for dynamic topologies, as encountered in wireless ad hoc networks, under multiple neighborhoods and in the presence of acknowledgments. Fourth, we formulate the automated optimal MAC protocol generation problem under dynamic traffic conditions for multiple neighborhoods and in the presence of acknowledgments. This thesis opens the way for the design of an automated design flow chain for network protocols that are based only on local information, of which MAC protocols constitute an example. In the future, our framework can be integrated as a back end to Software Defined Networks (SDNs) which are envisioned to run on optimizable protocols as the ones described in this thesis.