Doctor of Philosophy / Department of Mathematics / Virginia Naibo / Leibniz-type rules associated to bilinear pseudodifferential operators have received considerable attention due to their applications in obtaining fractional Leibniz rules and the study of various partial differential equations. Generally speaking, fractional Leibniz rules provide a way of estimating the size and smoothness of a product of functions in terms of the size and smoothness of the individual functions themselves. Such rules are helpful in determining well-posedness results for solutions of PDEs modeling a variety of real world phenomena, ranging from Euler and Navier-Stokes equations (which model incompressible fluid flow, such as airflow over a wing) to Korteweg-de Vries equations (which model waves on shallow water surfaces). Bilinear pseudodifferential operators act to combine two functions using their Fourier transforms and a symbol, which is a function that assigns different weights to the functions’ frequency components as they are combined. Thus, Leibniz-type rules associated to bilinear pseudodifferential operators serve as a generalization of fractional Leibniz rules by providing estimates on the size and smoothness of some combination of two functions, for which pointwise multiplication is recoverable by choosing a symbol identically equal to one. A variety of function spaces may be used to measure the size and smoothness of functions involved, including Lebesgue spaces, Sobolev spaces, and Besov and Triebel-Lizorkin spaces. Further, bilinear pseudodifferential operators may be considered in association with different classes of symbols, which is to say that the symbol itself (and possibly its derivatives) will possess certain decay properties. New Leibniz-type rules in two different settings will be presented in this manuscript. In the first setting, Leibniz-type rules associated to bilinear pseudodifferential operators with homogeneous symbols in a certain class are proved, where the sizes of the functions involved are measured using a combination of Lebesgue space norms and norms corresponding to function spaces admitting appropriate molecular decompositions, specifically focusing on the case of homogeneous Besov-type and Triebel-Lizorkin-type spaces. In the second setting, Leibniz-type rules and biparameter counterparts are proved in weighted Lebesgue and Sobolev spaces associated to Coifman-Meyer multiplier operators. All of the new Leibniz-type rules proved in the manuscript yield corresponding new fractional Leibniz rules, which are highlighted as appropriate. Various techniques from Fourier analysis serve as important tools in the proofs of these new results, such as obtaining paraproduct decompositions for bilinear pseudodifferential operators and utilizing Littlewood-Paley theory and square function-type estimates.